Adaptive process management in highly dynamic and pervasive scenarios

M. Leoni, de

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    73 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009, Pisa, Italy, June 17-19, 2009)
    EditorsM.H. Beek, ter
    Publication statusPublished - 2009

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    ISSN (Print)2075-2180


    Dive into the research topics of 'Adaptive process management in highly dynamic and pervasive scenarios'. Together they form a unique fingerprint.

    Cite this