Change management of service-based business processes

  • Pengbo XiuEmail author
  • Jian Yang
  • Weiliang Zhao
Original Research Paper


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.


Web service BPM Change management Petri net 



This work is supported by the China Scholarship Council (201309210005) and the Australian Research Council Discovery Project (DP150102966).


  1. 1.
    Adolph S, Cockburn A, Bramble P (2002) Patterns for effective use cases. Addison-Wesley Longman Publishing Co., Inc., ReadingGoogle Scholar
  2. 2.
    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–374Google Scholar
  3. 3.
    Andrikopoulos V, Benbernou S, Papazoglou MP (2009) Evolving services from a contractual perspective. In: CAiSE, vol 9. Springer, Berlin, pp 290–304Google Scholar
  4. 4.
    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–628Google Scholar
  5. 5.
    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–112Google Scholar
  6. 6.
    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–175Google Scholar
  7. 7.
    Dolean CC, Petrusel R (2012) Data-flow modeling: a survey of issues and approaches. Inf Econ 16(4):117Google Scholar
  8. 8.
    Esparza J, Hoffmann P (2016) Reduction rules for colored workflow nets. In: International conference on fundamental approaches to software engineering. Springer, Berlin, pp 342–358Google Scholar
  9. 9.
    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–24CrossRefGoogle Scholar
  10. 10.
    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–56Google Scholar
  11. 11.
    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–233Google Scholar
  12. 12.
    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–200Google Scholar
  13. 13.
    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–254CrossRefGoogle Scholar
  14. 14.
    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–36Google Scholar
  15. 15.
    Lehman MM, Belady LA (1985) Program evolution: processes of software change. Academic Press Professional Inc, New YorkGoogle Scholar
  16. 16.
    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–48Google Scholar
  17. 17.
    Martens A (2005) Analyzing web service based business processes. In: International conference on fundamental approaches to software engineering. Springer, Berlin, pp 19–33Google Scholar
  18. 18.
    Papazoglou M (2008) The challenges of service evolution. In: Advanced information systems engineering. Springer, Berlin, pp 1–15Google Scholar
  19. 19.
    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–12Google Scholar
  20. 20.
    Reichert M, Dadam P (1998) Adept flexsupporting dynamic changes of workflows without losing control. J Intell Inf Syst 10(2):93–129CrossRefGoogle Scholar
  21. 21.
    van Der Aalst WM, Ter Hofstede AH, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1):5–51CrossRefGoogle Scholar
  22. 22.
    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–201Google Scholar
  23. 23.
    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–363MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Wang Y, Yang J, Zhao W, Su J (2012) Change impact analysis in service-based business processes. Serv Oriented Comput Appl 6(2):131–149CrossRefGoogle Scholar
  25. 25.
    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–466CrossRefGoogle Scholar
  26. 26.
    Weidlich M, Mendling J, Weske M (2012) Propagating changes between aligned process models. J Syst Softw 85(8):1885–1898CrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Ltd., part of Springer Nature 2018

Authors and Affiliations

  1. 1.Macquaire UniversitySydneyAustralia

Personalised recommendations