On-line adaptation of sequential mobile processes running concurrently

Authors:
Massimiliano de Leoni;Giuseppe De Giacomo;Yves Lespèrance;Massimo Mecella
Affiliations:
Universita' di Roma, Rome, Italy;Universita' di Roma, Rome, Italy;York University, Toronto, Canada;Universita' di Roma, Rome, Italy
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 7
Cited 2

The logical foundations of goal-regression planning in autonomous agents

Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
Communication challenges in emergency response

Communications of the ACM - Emergency response information systems: emerging trends and technologies
Adaptive Process Management. Issues and (Some) Solutions

WETICE '08 Proceedings of the 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Highly dynamic adaptation in process management systems through execution monitoring

BPM'07 Proceedings of the 5th international conference on Business process management

Semantic services for information and management support in mass casualty incident scenarios

ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Automated runtime repair of business processes

Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.