A change management framework for service based business process

Change management in service based business process (SBP) is a challenging issue due to the complex dependencies between business process and involved services. A change of an activity belonging to a process may affect other activities and related services of the process. A service change may require further changes of one or multiple activities of the process. Change propagation refers to that a single change of an activity or a service causes a series of changes associated with activities and/or services. In order to deal with complicated situations of SBP changes, it is necessary to have a framework to help the change management, in particular to make the change propagation under control. In this work, a formal SBP model is defined with the Petri Net modelling language. Based on the proposed SBP model, a set of change patterns are identified as primitives for analysing complex changes. A set of data anomalies are specified based on the proposed model. A data flow anomaly detection algorithm is developed. The proposed framework for managing SBP changes can provide guidelines and an enable tool for software developers to deal with change management problems in the real world.

[1]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[2]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[3]  Frank Leymann,et al.  Web services and business process management , 2002, IBM Syst. J..

[4]  Andreas Wombacher.  Alignment of Choreography Changes in BPEL Processes , 2009, 2009 IEEE International Conference on Services Computing.

[5]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[6]  Andreas Wombacher,et al.  Evolution of Process Choreographies in DYCHOR , 2006, OTM Conferences.

[7]  Stefanie Rinderle-Ma,et al.  Dealing with change in process choreographies: Design and implementation of propagation algorithms☆ , 2015, Inf. Syst..

[8]  Serge Haddad,et al.  Application and Theory of Petri Nets , 2012, Lecture Notes in Computer Science.

[9]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[10]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[11]  Boualem Benatallah,et al.  Web Service Protocols: Compatibility and Adaptation , 2008, IEEE Data Eng. Bull..

[12]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[13]  Jianwen Su,et al.  Change impact analysis in service-based business processes , 2012, 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[14]  Athman Bouguettaya,et al.  Semantic Support for Adaptive Long Term Composed Services , 2010, 2010 IEEE International Conference on Web Services.

[15]  Olivia R. Liu Sheng,et al.  Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

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

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

[18]  Salima Benbernou,et al.  Managing the Evolution of Service Specifications , 2008, CAiSE.

[19]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[20]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[21]  Gerhard Weikum,et al.  Social Wisdom for Search and Recommendation , 2008, IEEE Data Eng. Bull..

[22]  Markus Stumptner,et al.  Conflict Resolution for On-the-fly Change Propagation in Business Processes , 2014, APCCM.