Skip to main content
SpringerLink
Log in

BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules

  • Conference paper
Book cover Business Process Modeling Notation (BPMN 2010)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 67))

Included in the following conference series:

Abstract

This paper presents a formalization of a subset of the BPMN 2.0 execution semantics in terms of graph rewrite rules. The formalization is supported by graph rewrite tools and implemented in one of these tools, called GrGen. The benefit of formalizing the execution semantics by means of graph rewrite rules is that there is a strong relation between the execution semantics rules that are informally specified in the BPMN 2.0 standard and their formalization. This makes it easy to validate the formalization. Having a formalized and implemented execution semantics supports simulation, animation and execution of BPMN 2.0 models. In particular this paper explains how to use the formal execution semantics to verify workflow engines and service orchestration and choreography engines that use BPMN 2.0 for modeling the processes that they execute.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Object Management Group: Business process model and notation beta 1 for version 2.0. Technical Report dtc/2009-08-14, Object Management Group, Needham, MA, USA (2009)

    Google Scholar 

  2. Workflow Management Coalition: Process definition interface – XML process definition language version 2.1a. Technical Report WFMC-TC-1025, Workflow Management Coalition, Hingham, MA, USA (2008)

    Google Scholar 

  3. Workflow Management Coalition: XPDL implementations (June 2010), http://www.wfmc.org/xpdl-implementations.html (accessed May 21, 2010)

  4. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. I. World Scientific Publishing Co., Inc., River Edge (1997)

    Google Scholar 

  5. Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET. International Journal on Software Tools for Technology Transfer, STTT (2010)

    Google Scholar 

  6. Heckel, R.: Tutorial introduction to graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 458–459. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Habel, A., Pennemann, K.h.: Correctness of high-level transformation systems relative to nested conditions† Mathematical. Structures in Comp. Sci. 19(2), 245–296 (2009)

    Article  Google Scholar 

  8. Van Gorp, P., Mazanek, S., Rensink, A.: Transformation Tool Contest – Awards (2010), http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/?page=Awards

  9. Van Gorp, P.: BPMN semantics: online virtual machine (2010), http://is.ieis.tue.nl/staff/pvgorp/share/?page=ConfigureNewSession&vdiID=364

  10. Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)

    Google Scholar 

  11. Wong, P.Y., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355–374. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Wong, P.Y., Gibbons, J.: Formalisations and applications of BPMN. Science of Computer Programming (2009) (in Press, Corrected Proof)

    Google Scholar 

  13. Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Information and Software Technology (IST) 50(12), 1281–1294 (2008)

    Article  Google Scholar 

  14. Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 249–263. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  15. Raedts, I., Petkovic, M., Usenko, Y., van der Werf, J., Groote, J., Somers, L.: Transformation of BPMN models for behaviour analysis. In: Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pp. 126–137. INSTICC Press (2007)

    Google Scholar 

  16. Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of standard process models with or-joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 41–58. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  17. Takemura, T.: Formal semantics and verification of BPMN transaction and compensation. In: Proceedings of the IEEE Asia-Pacific Conference on Services Computing, pp. 284–290. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  18. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)

    Google Scholar 

  19. van der Aalst, W.: Verification of workflow nets. In: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp. 407–426 (1997)

    Google Scholar 

  20. Prandi, D., Quaglia, P.: Stochastic COWS. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 245–256. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, The Netherlands

    Remco Dijkman & Pieter Van Gorp

Authors
  1. Remco Dijkman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pieter Van Gorp
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Wirtschaftsinformatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Jan Mendling

  2. Hasso Plattner Institute for Software Systems Engineering, University of Potsdam, Prof.-Dr.-Helmert-Str. 2-3, 14482, Potsdam, Germany

    Matthias Weidlich

  3. Hasso-Plattner-Institute for Software Systems Engineering, University of Potsdam, Prof.-Dr.-Helmert-Str. 2-3, 14482, Potsdam, Germany

    Mathias Weske

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dijkman, R., Van Gorp, P. (2010). BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules. In: Mendling, J., Weidlich, M., Weske, M. (eds) Business Process Modeling Notation. BPMN 2010. Lecture Notes in Business Information Processing, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16298-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16298-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16297-8

  • Online ISBN: 978-3-642-16298-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation