Abstract
Service-oriented computing paradigm and web service technologies facilitate cross-organizational cooperation. The business processes of involved organizations are referred to as service-based business processes (SBPs). The dynamic nature makes SBPs subject to changes in the internal and external requirements. It is critical to have a method to manage changes in SBPs. In this work, we propose a Petri net-based model with the correctness verification capability for modeling. We also identify a set of SBP change patterns. An SBP change management framework is proposed with a demonstration. Even though the problem of change management has been extensively studied in BPM field and web service field, existing approaches are limited to deal with the diversity of the SBP components and the complexity of the dependencies among these components.
















Similar content being viewed by others

Notes
In the scenario of this work, the granularities of both the service operations and their related activities are on the level of “one-way” communication, i.e., either sending or receiving a message.
A symmetrical structure can only contain symmetrical blocks with well-defined start and end nodes, e.g., sequence blocks, parallel blocks, choice blocks, and loop blocks [20].
References
Adolph S, Cockburn A, Bramble P (2002) Patterns for effective use cases. Addison-Wesley Longman Publishing Co., Inc., Reading
Andrikopoulos V, Benbernou S, Papazoglou MP (2008) Managing the evolution of service specifications. In: International conference on advanced information systems engineering. Springer, Berlin, pp 359–374
Andrikopoulos V, Benbernou S, Papazoglou MP (2009) Evolving services from a contractual perspective. In: CAiSE, vol 9. Springer, Berlin, pp 290–304
Bouchaala O, Yangui M, Tata S, Jmaiel M (2014) Dat: dependency analysis tool for service based business processes. In: Advanced information networking and applications (AINA), 2014 IEEE 28th international conference on. IEEE, pp 621–628
Cong L, Zeng Q, Hua D et al (2014) Formulating the data-flow modeling and verification for workflow: a petri net based approach. Int J Sci Eng Appl 3:107–112
Dahman K, Charoy F, Godart C (2013) Alignment and change propagation between business processes and service-oriented architectures. In: Services computing (SCC), 2013 IEEE international conference on. IEEE, pp 168–175
Dolean CC, Petrusel R (2012) Data-flow modeling: a survey of issues and approaches. Inf Econ 16(4):117
Esparza J, Hoffmann P (2016) Reduction rules for colored workflow nets. In: International conference on fundamental approaches to software engineering. Springer, Berlin, pp 342–358
Fdhila W, Indiono C, Rinderle-Ma S, Reichert M (2015) Dealing with change in process choreographies: design and implementation of propagation algorithms. Inf Syst 49:1–24
Fokaefs M, Mikhaiel R, Tsantalis N, Stroulia E, Lau A (2011) An empirical study on web service evolution. In: Web services (ICWS), 2011 IEEE international conference on. IEEE, pp 49–56
Frank D, Fong L, Lam L (2010) A continuous long running batch orchestration model for workflow instance migration. In: Services computing (SCC), 2010 IEEE international conference on. IEEE, pp 226–233
Hamadi R, Benatallah B (2003) A petri net-based model for web service composition. In: Proceedings of the 14th Australasian database conference, vol 17. Australian Computer Society, Inc., pp 191–200
Jensen K, Kristensen LM, Wells L (2007) Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transf 9(3–4):213–254
Kherbouche OM, Ahmad A, Bouneffa M, Basson H (2013) Analyzing the ripple effects of change in business process models. In: Multi topic conference (INMIC), 2013 16th international. IEEE, pp 31–36
Lehman MM, Belady LA (1985) Program evolution: processes of software change. Academic Press Professional Inc, New York
Mafazi S, Mayer W, Stumptner M (2014) Conflict resolution for on-the-fly change propagation in business processes. In: Proceedings of the tenth Asia-Pacific conference on conceptual modelling, vol 154. Australian Computer Society, Inc., pp 39–48
Martens A (2005) Analyzing web service based business processes. In: International conference on fundamental approaches to software engineering. Springer, Berlin, pp 19–33
Papazoglou M (2008) The challenges of service evolution. In: Advanced information systems engineering. Springer, Berlin, pp 1–15
Papazoglou MP (2003) Service-oriented computing: concepts, characteristics and directions. In: Web information systems engineering, 2003. WISE 2003. Proceedings of the fourth international conference on. IEEE, pp 3–12
Reichert M, Dadam P (1998) Adept flexsupporting dynamic changes of workflows without losing control. J Intell Inf Syst 10(2):93–129
van Der Aalst WM, Ter Hofstede AH, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1):5–51
Van Der Aalst WM (1996) Three good reasons for using a petri-net-based workflow management system. In: Proceedings of the international working conference on information and process integration in enterprises (IPIC96). Citeseer, pp 179–201
Van Der Aalst WM, van Hee KM, ter Hofstede AH, Sidorova N, Verbeek H, Voorhoeve M, Wynn MT (2011) Soundness of workflow nets: classification, decidability, and analysis. Form Asp Comput 23(3):333–363
Wang Y, Yang J, Zhao W, Su J (2012) Change impact analysis in service-based business processes. Serv Oriented Comput Appl 6(2):131–149
Weber B, Reichert M, Rinderle-Ma S (2008) Change patterns and change support features-enhancing flexibility in process-aware information systems. Data Knowl Eng 66(3):438–466
Weidlich M, Mendling J, Weske M (2012) Propagating changes between aligned process models. J Syst Softw 85(8):1885–1898
Acknowledgements
This work is supported by the China Scholarship Council (201309210005) and the Australian Research Council Discovery Project (DP150102966).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Xiu, P., Yang, J. & Zhao, W. Change management of service-based business processes. SOCA 13, 51–66 (2019). https://doi.org/10.1007/s11761-018-0250-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11761-018-0250-4