Adaptive Process Management in Highly Dynamic and Pervasive Scenarios

TL;DR

This paper introduces SmartPM, a process management system designed for highly dynamic scenarios, capable of automatically handling unplanned exceptions using formal logical frameworks.

Contribution

It presents a novel PMS framework based on Situation Calculus and Indigolog, with techniques for automatic exception handling in dynamic environments.

Findings

SmartPM effectively manages unplanned process exceptions.

The framework is grounded in formal logical methods.

Implementation demonstrates adaptability in real-world scenarios.

Abstract

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.