On-line adaptation of sequential mobile processes running concurrently

Process Management Systems (PMSs) are nowadays 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. In this work we deal with process adaptability, i.e., the ability of the PMS to automatically cope with deviations, and we devise a sound and complete technique suitable for sequential processes running concurrently. The technique is based on a general framework which adopts the Situation Calculus, ConGolog and regression planning as basic elements. The applicability to the challenging scenario of emergency management is also shown.