Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring

Nowadays, process management systems can be used notonly in classical business scenarios, but also in highly mobile and dynamicsituations, e.g., in supporting operators during emergency managementin order to coordinate their activities. In such challenging situations,processes should be adapted, in order to cope with anomalous situations,including connection anomalies and task faults. In this paper, we presenta general approach, based on execution monitoring, which is (i) practical,by relying on well-established planning techniques, and (ii) does notrequire the definition of the adaptation strategy in the process itself(as most of the current approaches do). We prove the correctness andcompleteness of the approach.

[1]  Erhard Rahm,et al.  AGENTWORK: a workflow system supporting rule-based workflow adaptation , 2004, Data Knowl. Eng..

[2]  Giuseppe De Giacomo,et al.  Execution Monitoring of High-Level Robot Programs , 1998, KR.

[3]  Nathaniel Palmer,et al.  Workflow Management , 2009, Encyclopedia of Database Systems.

[4]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[5]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[6]  Massimo Mecella,et al.  MOBIDIS: A Pervasive Architecture for Emergency Management , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[7]  Massimo Mecella,et al.  A Bayesian Approach for Disconnection Management in Mobile Ad Hoc Networks , 2007, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007).

[8]  Paul W. P. J. Grefen,et al.  WIDE-a distributed architecture for workflow management , 1997, Proceedings Seventh International Workshop on Research Issues in Data Engineering. High Performance Database Management for Large-Scale Applications.

[9]  Robert Meersman,et al.  On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE , 2003, Lecture Notes in Computer Science.

[10]  Reidar Conradi,et al.  Automatic Replanning of Task Networks for Process Model Evolution in EPOS , 1993, ESEC.

[11]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[12]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[13]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[14]  Peter Dadam,et al.  On the Common Support of Workflow Type and Instance Changes under Correctness Constraints , 2003, OTM.

[15]  Amit P. Sheth,et al.  Optimal Adaptation in Web Processes with Coordination Constraints , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[16]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[17]  Tiziana Catarci,et al.  WORKPAD: 2-Layered Peer-to-Peer for Emergency Management through Adaptive Processes , 2006, 2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing.

[18]  A. Schmidt,et al.  WEBFLOW : DECENTRALIZED WORKFLOW MANAGEMENT IN THE WORLD WIDE WEB , 2022 .

[19]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[20]  Massimo Mecella,et al.  Emergency Management: from User Requirements to a Flexible P2P Architecture , 2007 .

[21]  Yves Lesprance,et al.  Integrating Planning into Reactive High-Level Robot Programs , 2000 .

[22]  Jan Verelst,et al.  When are two Workflows the Same? , 2005, CATS.

[23]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[24]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[25]  Bernhard Westfechtel,et al.  DYNAMITE: DYNAMIc Task nEts for software process management , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[26]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[27]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[28]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.