Evolution of Process Choreographies in DYCHOR

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, i.e., the change of interactions between partner processes in a cross-organizational setting 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 present the DYCHOR (DYnamic CHOReographies) framework which 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 In particular, DYCHOR exploits the semantics of the applied changes in order to automatically determine the adaptations necessary for the partner processes Altogether our framework provides an important contribution towards the realization of adaptive, cross-organizational processes.

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

[2]  Tom Mens,et al.  A survey of software refactoring , 2004, IEEE Transactions on Software Engineering.

[3]  Mathias Weske,et al.  The P2P Approach to Interorganizational Workflows , 2001, International Conference on Advanced Information Systems Engineering.

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

[5]  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.

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

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

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

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

[10]  Erich J. Neuhold,et al.  Transforming BPEL into annotated deterministic finite state automata for service discovery , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

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

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

[13]  Andreas Wombacher,et al.  On the Controlled Evolution of Process Choreographies , 2005, 22nd International Conference on Data Engineering (ICDE'06).

[14]  Erich J. Neuhold,et al.  Transforming BPEL into annotated deterministic finite state automata for service discovery , 2004 .

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

[16]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[17]  Xiang Fu,et al.  Realizability of conversation protocols with message contents , 2004 .

[18]  David Toman,et al.  Logics for Databases and Information Systems , 1998 .

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