  Process Management Systems (PMSs) are currently more and more used as a
supporting tool for cooperative processes in pervasive and highly dynamic
situations, such as emergency situations, pervasive healthcare or domotics/home
automation. But in all such situations, designed processes can be easily
invalidated since the execution environment may change continuously due to
frequent unforeseeable events. This paper aims at illustrating the theoretical
framework and the concrete implementation of SmartPM, a PMS that features a set
of sound and complete techniques to automatically cope with unplanned
exceptions. PMS SmartPM is based on a general framework which adopts the
Situation Calculus and Indigolog.
