On the Controlled Evolution of Process Choreographies

Process-aware information systems have to be frequently adapted due to business process changes. One important challenge not adequately addressed so far concerns the evolution of process choreographies. If respective modifications are applied in an uncontrolled manner, inconsistencies or errors might occur in the sequel. In particular, modifications of private processes performed by a single party may affect the implementation of the private processes of partners as well. In this paper we sketch a framework that allows process engineers to detect how changes of private processes may affect related public views and - if so - how they can be propagated to the public and private processes of partners. Our approach exploits the semantics of the applied changes in order to automatically determine the adaptations necessary for the partner processes.

[1]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .

[2]  Peter Dadam,et al.  Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).

[3]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[4]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[5]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[6]  Erich J. Neuhold,et al.  Matchmaking for Business Processes Based on Choreographies , 2004, Int. J. Web Serv. Res..

[7]  Andreas Wombacher Decentralized decision making protocol for service composition , 2005, IEEE International Conference on Web Services (ICWS'05).

[8]  Wolfgang Reisig,et al.  Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.

[9]  Erich J. Neuhold,et al.  Matchmaking for business processes based on choreographies , 2004, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004.

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

[11]  Roger Barga,et al.  Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA , 2006, ICDE Workshops.

[12]  Xiang Fu,et al.  Realizability of conversation protocols with message contents , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[13]  Peter Fankhauser,et al.  Overview on decentralized establishment of consistent multi-lateral collaborations based on asynchronous communication , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

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

[15]  Erich J. Neuhold,et al.  IPSI-PF: a business process matchmaking engine , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[16]  M. W. Shields An Introduction to Automata Theory , 1988 .

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[18]  Amit P. Sheth,et al.  IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions , 2004, Distributed and Parallel Databases.

[19]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

[20]  Peter Dadam,et al.  Flexible Support of Team Processes by Adaptive Workflow Systems , 2004, Distributed and Parallel Databases.