Skip to main content

Dynamic Reconfiguration of Business Processes

Part of the Lecture Notes in Computer Science book series (LNISA,volume 11675)


Organisations require that their business processes reflect their evolving practices by maintaining compliance with their policies, strategies and regulations. Designing workflows which satisfy these requirements is complex and error-prone. Business process reconfiguration is even more challenging as not only a new workflow must be devised but also an understanding of how the transition between the old and new workflow must be managed. Transition requirements can include both domain independent, such as delayed and immediate change, or user-defined domain specific requirements. In this paper we present a fully automated technique which uses control synthesis to not only produce correct-by-construction workflows from business process requirements but also to compute a reconfiguration process that guarantees the evolution from an old workflow to a new one while satisfying any user-defined transition requirements. The approach is validated using three examples from the BPM Academic Initiative described as Dynamic Condition Response Graphs which we reconfigured for a variety of transitions requirements.


  • Dynamic reconfiguration
  • Controller synthesis
  • DCR graph

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions


  1. Business process management academic initiative.

  2. MTSA synthesis tool and examples.

  3. van der Aalst, W.M.: Exterminating the dynamic change bug: a concrete approach to support workflow change. Inf. Syst. Front. 3(3), 297–317 (2001)

    CrossRef  Google Scholar 

  4. Badouel, E., Oliver, J.: Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems. Ph.D. thesis, Inria (1998)

    Google Scholar 

  5. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147, 35–84 (2003)

    CrossRef  MathSciNet  Google Scholar 

  6. D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: the modal transition system analyser. In: ASE 2008, pp. 475–476 (2008)

    Google Scholar 

  7. D’Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.: Synthesising non-anomalous event-based controllers for liveness goals. ACM TOSEM 22(1) (2013)

    CrossRef  Google Scholar 

  8. D’Ippolito, N.R., Braberman, V., Piterman, N., Uchitel, S.: Synthesis of live behaviour models. In: FSE 2010, pp. 77–86. ACM, New York (2010)

    Google Scholar 

  9. Ellis, C., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: COOCS 1995, pp. 10–21. ACM (1995)

    Google Scholar 

  10. Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: ESEC/SIGSOFT FSE 2003, pp. 257–266. ACM, New York (2003)

    CrossRef  Google Scholar 

  11. Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES 2010, vol. 69, pp. 59–73 (2010)

    CrossRef  Google Scholar 

  12. Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343–350. Springer, Heidelberg (2012).

    CrossRef  Google Scholar 

  13. Kradolfer, M., Geppert, A.: Dynamic workflow schema evolution based on workflow type versioning and workflow migration. Int. J. Coop. Info. Syst. (1999)

    Google Scholar 

  14. Magee, J., Kramer, J.: State Models and Java Programs. Wiley, Hoboken (1999)

    MATH  Google Scholar 

  15. Marquard, M., Shahzad, M., Slaats, T.: Web-based modelling and collaborative simulation of declarative processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 209–225. Springer, Cham (2015).

    CrossRef  Google Scholar 

  16. Mejia Bernal, J.F., Falcarin, P., Morisio, M., Dai, J.: Dynamic context-aware business process: a rule-based approach supported by pattern identification. In: SAC 2010, pp. 470–474 (2010)

    Google Scholar 

  17. Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980).

    CrossRef  MATH  Google Scholar 

  18. Mukkamala, R.R.: A formal model for declarative workflows. Ph.D. thesis, IT University of Copenhagen (2012)

    Google Scholar 

  19. Nahabedian, L., et al.: Dynamic update of discrete event controllers. IEEE TSE 1 (2018, early access)

    Google Scholar 

  20. Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006).

    CrossRef  Google Scholar 

  21. Pnueli, A.: The temporal logic of programs. In: FOCS 1977, pp. 46–57 (1977)

    Google Scholar 

  22. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989 (1989)

    Google Scholar 

  23. Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81–98 (1989)

    CrossRef  Google Scholar 

  24. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems–a survey. Data Knowl. Eng. 50(1), 9–34 (2004)

    CrossRef  Google Scholar 

  25. Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.: Towards a taxonomy of process flexibility. In: CAiSE 2008, vol. 344, pp. 81–84 (2008)

    Google Scholar 

  26. Vasilecas, O., Kalibatiene, D., Lavbič, D.: Rule-and context-based dynamic business process modelling and simulation. J. Syst. Softw. 122, 1–5 (2016)

    CrossRef  Google Scholar 

  27. Van Der Aalst, W.M., Stefan, J.: Dealing with workflow change: identification of issues and solutions. CSSE 15(5), 267–276 (2000)

    Google Scholar 

  28. Zhang, J., Cheng, B.H.: Model-based development of dynamically adaptive software. In: ICSE 2006, pp. 371–380 (2006)

    Google Scholar 

  29. Zhao, X., Liu, C.: Version management in the business process change context. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 198–213. Springer, Heidelberg (2007).

    CrossRef  Google Scholar 

Download references


This project has received funding from the European Union’s Horizon 2020 research, innovation programme under the Marie Skłodowska-Curie grant agreement No. 778233, PPL CAIS-0204-11, Pict 2014 No. 1656, Pict 2015 No. 3638 and Ubacyt 2018-0297BA.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Leandro Nahabedian .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nahabedian, L., Braberman, V., D’ippolito, N., Kramer, J., Uchitel, S. (2019). Dynamic Reconfiguration of Business Processes. In: Hildebrandt, T., van Dongen, B., Röglinger, M., Mendling, J. (eds) Business Process Management. BPM 2019. Lecture Notes in Computer Science(), vol 11675. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-26618-9

  • Online ISBN: 978-3-030-26619-6

  • eBook Packages: Computer ScienceComputer Science (R0)