SpringerLink
Log in

Process Orchestration: Conceptual Design

  • Chapter
  • First Online:
Fundamentals of Information Systems Interoperability

  • 120 Accesses

Abstract

This chapter explains and discusses concepts for the conceptual design and formal verification of process orchestrations, employing notations such as Business Process Modeling and Notation (BPMN) and Petri Nets. Process orchestrations constitute a powerful interoperability approach by integrating services, application programs, machines, and human work along a well-defined process logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook
EUR 28.88
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 36.91
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aa, H., Leopold, H., Reijers, H.A.: Comparing textual descriptions to process models–the automatic detection of inconsistencies. Inf. Syst. 64, 447–460 (2017)

    Article  Google Scholar 

  2. van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639–650 (1999). https://doi.org/10.1016/S0950-5849(99)00016-6

    Article  Google Scholar 

  3. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2011). https://doi.org/10.1007/s00165-010-0161-4

    Article  MathSciNet  Google Scholar 

  4. van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes—A Petri Net-Oriented Approach. In: Cooperative Information Systems series. MIT Press, New York (2011)

    Book  Google Scholar 

  5. Ciardo, G.: Reachability set generation for petri nets: can brute force be smart? In: Cortadella, J., Reisig, W. (eds.) Applications and Theory of Petri Nets, vol. 3099, pp. 17–34. Springer, Berlin (2004). https://doi.org/10.1007/978-3-540-27793-4_2

    Google Scholar 

  6. Dijkman, R.M., Dumas, M., van Dongen, B.F., Käärik, R., Mendling, J.: Similarity of business process models: metrics and evaluation. Inf. Syst. 36(2), 498–516 (2011). https://doi.org/10.1016/j.is.2010.09.006

    Article  Google Scholar 

  7. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008). https://doi.org/10.1016/j.infsof.2008.02.006

    Article  Google Scholar 

  8. Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-33143-5

  9. Finkel, A.: The minimal coverability graph for petri nets. In: Rozenberg, G. (ed.) Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991. Lecture Notes in Computer Science, vol. 674, pp. 210–243. Springer, Berlin (1991). https://doi.org/10.1007/3-540-56689-9_45

    Google Scholar 

  10. Group, O.M.: Business process model and notation (BPMN). Object Management Group, Needham (2010)

    Google Scholar 

  11. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) Business Process Management, vol. 3649, pp. 220–235 (2005). https://doi.org/10.1007/11538394_15

  12. Klievtsova, N., Benzin, J.V., Kampik, T., Mangler, J., Rinderle-Ma, S.: Conversational process modelling: state of the art, applications, and implications in practice. arxiv (2023). https://doi.org/10.48550/ar**v.2304.11065

  13. Mangler, J., Rinderle-Ma, S.: Cloud process execution engine: architecture and interfaces. CoRR abs/2208.12214 (2022). https://doi.org/10.48550/ar**v.2208.12214

  14. Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P.: Faulty EPCs in the SAP reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) Business Process Management, vol. 4102, pp. 451–457. Springer, Berlin (2006). https://doi.org/10.1007/11841760_38

    Chapter  Google Scholar 

  15. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  16. Pauker, F., Mangler, J., Rinderle-Ma, S., Ehrendorfer, M.: Industry 4.0 integration assessment and evolution at EVVA GMBH: process-driven automation through centurio.work. In: Business Process Management Cases Vol. 2, Digital Transformation—Strategy, Processes and Execution, pp. 81–91. Springer, Berlin (2021). https://doi.org/10.1007/978-3-662-63047-1_7

  17. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems—a survey. Data Knowl. Eng. 50(1), 9–34 (2004). https://doi.org/10.1016/j.datak.2004.01.002

    Article  Google Scholar 

  18. Teubner, T., Flath, C., Weinhardt, C.: Welcome to the era of chatgpt. In: Business Information Systems Engineering (2023). https://doi.org/10.1007/s12599-023-00795-x

  19. Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 68(9), 793–818 (2009). https://doi.org/10.1016/j.datak.2009.02.015

    Article  Google Scholar 

  20. Weske, M.: Business Process Management—Concepts, Languages, Architectures, 3rd edn. Springer, Berlin (2019)

    Book  Google Scholar 

  21. Winter, K., Rinderle-Ma, S.: Deriving and combining mixed graphs from regulatory documents based on constraint relations. In: Advanced Information System Engineering, pp. 1–16 (2019). https://doi.org/10.1007/978-3-030-21290-2_27

Download references

Author information

Authors and Affiliations

  1. Technische Universität München, Garching, Germany

    Stefanie Rinderle-Ma & Jürgen Mangler

  2. SAP SE, Walldorf, Germany

    Daniel Ritter

Authors
  1. Stefanie Rinderle-Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jürgen Mangler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniel Ritter
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2024 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Rinderle-Ma, S., Mangler, J., Ritter, D. (2024). Process Orchestration: Conceptual Design. In: Fundamentals of Information Systems Interoperability. Springer, Cham. https://doi.org/10.1007/978-3-031-48322-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-48322-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-48321-9

  • Online ISBN: 978-3-031-48322-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation