Skip to main content
SpringerLink
Log in
Book cover

A Rigorous Semantics for BPMN 2.0 Process Diagrams pp 9–16Cite as

State of the Art

  • Chapter
  • First Online:

  • 2367 Accesses

Abstract

This section provides an overview of related work concerning established approaches for business process modelling , formal representations of the Business Process Model and Notation (BPMN) and the suitability of BPMN for business process modelling regarding gaps and limitations.

This is a preview of subscription content, 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 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
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  1. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30, 245–275 (2005)

    Article  Google Scholar 

  2. Abramowicz, W., Filipowska, A., Kaczmarek, M., Kaczmarek, T.: Semantically enhanced business process modelling notation. In: Hepp, M., Hinkelmann, K., Karagiannis, D., Klein, R., Stojanovic, N. (eds.) SBPM. CEUR Workshop Proceedings, vol. 251. CEUR-WS.org (2007), http://dblp.uni-trier.de/db/conf/esws/sbpm2007.html#AbramowiczFKK07

  3. Adams, M.: The resource service. In: Hofstede, A., van der Aalst, W., Adams, M., Russell, N. (eds.) Modern Business Process Automation, pp. 261–290. Springer, Berlin, Heidelberg (2010)

    Chapter  Google Scholar 

  4. Andonoff, E., Bouzguenda, L., Hanachi, C.: Specifying web workflow services for finding partners in the context of loose inter-organizational workflow. In: Aalst, W., Benatallah, B., Casati, F., Curbera, F. (eds.) Business Process Management, Lecture Notes in Computer Science, vol. 3649, pp. 120–136. Springer Berlin Heidelberg (2005), http://dx.doi.org/10.1007/11538394_9

  5. Auer, D., Geist, V., Draheim, D.: Extending bpmn with submit/response-style user interaction modeling. In: CEC. pp. 368–374. IEEE Computer Society (2009)

    Google Scholar 

  6. Auer, D., Geist, V., Erhart, W., Gunz, C.: An integrated framework for modeling process-oriented enterprise applications and its application to a logistics server system. In: Proceedings of the 2nd International Symposium in Logistics and Industrial Informatics (LINDI 2009). pp. 166–171. eXpress Conference Publishing (2009)

    Google Scholar 

  7. Awad, A., Grosskopf, A., Meyer, A., Weske, M.: Enabling resource assignment constraints in BPMN (2009), [working paper BPT Technical Report 04-2009], Business Process Technology, Hasso Plattner Institute, Potsdam

    Google Scholar 

  8. Becker, J., Rosemann, M., Uthmann, C.v.: Guidelines of business process modeling. In: Business Process Management, Models, Techniques, and Empirical Studies. pp. 30–49. Springer-Verlag, London, UK, UK (2000), http://dl.acm.org/citation.cfm?id=647778.760740

  9. Börger, E., Sörensen, O.: BPMN core modeling concepts: Inheritance-based execution semantics. In: Embley, D.W., Thalheim, B. (eds.) Handbook of Conceptual Modeling: Theory, Practice and Research Challenges, pp. 287–335. Springer, Berlin, Heidelberg (2011)

    Chapter  Google Scholar 

  10. Börger, E., Sörensen, O., Thalheim, B.: On defining the behavior of OR-joins in business process models. Journal of Universal Computer Science pp. 3–32 (2009)

    Google Scholar 

  11. Börger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering, vol. 5316, chap. A Method for Verifiable and Validatable Business Process Modeling, pp. 59–115. Springer, Berlin, Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-89762-0_3

  12. Börger, E., Thalheim, B.: Modeling workflows, interaction patterns, web services and business processes: The asm-based approach. In: Börger, E., Butler, M., Bowen, J., Boca, P. (eds.) Abstract State Machines, B and Z, Lecture Notes in Computer Science, vol. 5238, pp. 24–38. Springer Berlin Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-87603-8_3

  13. Cardoso, J., Voigt, K., Winkler, M.: Service engineering for the internet of services. Enterprise Information Systems X pp. 17–25 (2008)

    Google Scholar 

  14. Cervantes, A.A.: Representation of the behavior of business process models. Tech. rep., Faculty of Mathematics and Computer Science University of Tartu, East Lansing, Michigan (2011)

    Google Scholar 

  15. Davis, R., Brabander, E.: The event-driven process chain. In: ARIS Design Platform – Getting Started with BPM, pp. 105–125. Springer, London (2007), http://dx.doi.org/10.1007/978-1-84628-613-1_7

  16. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281–1294 (2008), http://dx.doi.org/10.1016/j.infsof.2008.02.006

  17. Dijkman, R.M., Van Gorp, P.: BPMN 2.0 execution semantics formalized as graph rewrite rules. In: BPMN. pp. 16–30 (2010)

    Google Scholar 

  18. Dividino, R., Bicer, V., Voigt, K., Cardoso, J.: Integrating business process and user interface models using a model-driven approach. In: 24th International Symposium on Computer and Information Sciences (ISCIS 2009). pp. 492–497. IEEE (2009)

    Google Scholar 

  19. Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E.: Subject-Oriented Business Process Management. Springer, Berlin, Heidelberg (2012)

    Book  Google Scholar 

  20. Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley (2003)

    Google Scholar 

  21. Friel, P.G., Blinn, T.M.: Automated IDEF3 and IDEF4 systems design specifications document. Research Institute for Computing and Information Systems, University of Houston-Clear Lake (1989)

    Google Scholar 

  22. Gadatsch, A.: Grundkurs Geschäftsprozess-Management. Springer (2012)

    Google Scholar 

  23. Ghidini, C., Rospocher, M., Serafini, L.: A formalisation of BPMN in description logics. Tech. Rep. TR 2008-06-004, Fondazione Bruno Kessler, Data & Knowledge Management (2008)

    Google Scholar 

  24. Keller, G., Nüttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage “Ereignisgesteuerter Prozessketten (EPK)” (1992), heft 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany

    Google Scholar 

  25. Korherr, B., List, B.: Extending the EPC and the BPMN with business process goals and performance measures. In: Filipe, J., Cordeiro, J., Cardoso, J. (eds.) Enterprise Information Systems: 9th International Conference, ICEIS 2007, Funchal, Madeira, pp. 287–294. Springer, Berlin, Heidelberg (2007)

    Google Scholar 

  26. Krogstie, J., Sindre, G., Jørgensen, H.: Process models representing knowledge for action: A revised quality framework. European Journal of Information Systems 15(1), 91–102 (Feb 2006), http://dx.doi.org/10.1057/palgrave.ejis.3000598

  27. Kunze, M., Luebbe, A., Weidlich, M., Weske, M.: Towards understanding process modeling – the case of the BPM academic initiative. In: Business Process Model and Notation. pp. 44–58. volume 95 of Lecture Notes in Business Information Processing, Springer, Berlin, Heidelberg (2011)

    Google Scholar 

  28. Lindland, O.I., Sindre, G., Sølvberg, A.: Understanding quality in conceptual modeling. IEEE Softw. 11(2), 42–49 (Mar 1994), http://dx.doi.org/10.1109/52.268955

  29. List, B., Korherr, B.: An evaluation of conceptual business process modelling languages. In: Proceedings of the 2006 ACM Symposium on Applied Computing. pp. 1532–1539. SAC ’06, ACM, New York, NY, USA (2006), http://doi.acm.org/10.1145/1141277.1141633

  30. Malone, T., Crowston, K., Herman, G. (eds.): Organizing Business Knowledge: The MIT Process Handbook. The MIT Press (2003)

    Google Scholar 

  31. Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Technique. McGraw-Hill (1988)

    Google Scholar 

  32. Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Seven process modeling guidelines (7pmg). Information & Software Technology 52(2), 127–136 (Feb 2010), http://dx.doi.org/10.1016/j.infsof.2009.08.004

  33. Milanović, M., Gašević, D., Wagner, G., Hatala, M.: Rule-enhanced business process modeling language for service choreographies. In: Schürr, A., Selic, B. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 5795, pp. 337–341. Springer Berlin Heidelberg (2009), http://dx.doi.org/10.1007/978-3-642-04425-0_25

  34. Minoli, D.: Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology. Auerbach Publications, Boca Raton, Florida (2008)

    Book  Google Scholar 

  35. Mogos, A., Urzica, A.: TN4PM: A textual notation for process modelling. In: Papadopoulos, G., Badica, C. (eds.) Intelligent Distributed Computing III, Studies in Computational Intelligence, vol. 237, pp. 263–268. Springer, Berlin (2009)

    Google Scholar 

  36. Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., Albada, G., Dongarra, J., Sloot, P. (eds.) Computational Science - ICCS 2008, Lecture Notes in Computer Science, vol. 5102, pp. 514–522. Springer, Berlin Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-69387-1_58

  37. zur Muehlen, M., Recker, J.: How much language is enough? theoretical and practical use of the business process modeling notation. In: Advanced Information Systems Engineering, Lecture Notes in Computer Science, vol. 5074, pp. 465–479. Springer, Berlin Heidelberg (2008)

    Google Scholar 

  38. zur Muehlen, M., Recker, J.C., Indulska, M.: Sometimes less is more: Are process modeling languages overly complex? In: Taveter, K., Gasevic, D. (eds.) 3rd International Workshop on Vocabularies, Ontologies and Rules for The Enterprise. IEEE, Annapolis, Maryland (2007), http://eprints.qut.edu.au/12269/

  39. Natschläger, C.: Towards a BPMN 2.0 ontology. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) Business Process Model and Notation, Lecture Notes in Business Information Processing, vol. 95, pp. 1–15. Springer, Berlin, Heidelberg (2011)

    Google Scholar 

  40. Nicolae, O., Cosulschi, M., Giurca, A., Wagner, G.: Towards a BPMN semantics using UML models. In: Ardagna, D., Mecella, M., Yang, J., van der Aalst, W.M., Mylopoulos, J., Rosemann, M., Shaw, M.J., Szyperski, C. (eds.) Business Process Management Workshops, LNBIP, vol. 17, pp. 585–596. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  41. Object Management Group: Business process model and notation (BPMN) 2.0. http://www.omg.org/spec/BPMN/2.0. Accessed 2011-08-02. (2011)

  42. Object Management Group: OMG unified modeling language (OMG UML), superstructure version 2.4. http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF. Accessed 2012-09-01. (2011)

  43. Ouyang, C., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology 19(1), 2:1–2:37 (2009), http://doi.acm.org/10.1145/1555392.1555395

  44. Petri, C.A.: Communication with automata. Ph.D. thesis, Universität Hamburg (1966)

    Google Scholar 

  45. Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of bpmn via a translation into cows. In: Lea, D., Zavattaro, G. (eds.) Coordination Models and Languages, Lecture Notes in Computer Science, vol. 5052, pp. 249–263. Springer, Berlin, Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-68265-3_16

  46. Recker, J.: BPMN modeling – who, where, how and why. BPTrends 5(5), 1–8 (2008)

    Google Scholar 

  47. Recker, J., Indulska, M., Rosemann, M., Green, P.: How good is BPMN really? Insights from theory and practice. In: Ljungberg, J., Andersson, M. (eds.) 14th European Conference on Information Systems. pp. 1582–1593. Goeteborg, Sweden (2006)

    Google Scholar 

  48. Recker, J.C., Rosemann, M., Indulska, M., Green, P.: Business process modeling: A comparative analysis. Journal of the Association for Information Systems pp. 333–363 (2009)

    Google Scholar 

  49. Recker, J.C.: Opportunities and constraints: the current struggle with BPMN. Business Process Management Journal 16(1), 181–201 (2010), http://eprints.qut.edu.au/20316/

  50. Rodríguez, A., Fernández-Medina, E., Piattini, M.: A BPMN extension for the modeling of security requirements in business processes. IEICE – Transactions on Information and Systems E90-D(4), 745–752 (2007)

    Google Scholar 

  51. Rosemann, M., Recker, J., Indulska, M., Green, P.: A study of the evolution of the representational capabilities of process modeling grammars. In: Dubois, E., Pohl, K. (eds.) Advanced Information Systems Engineering, Lecture Notes in Computer Science, vol. 4001, pp. 447–461. Springer Berlin Heidelberg (2006), http://dx.doi.org/10.1007/11767138_30

  52. Russell, N., Aalst, W., Hofstede, A., Edmond, D.: Workflow resource patterns: Identification, representation and tool support. In: Pastor, O., Falcão e Cunha, J.a. (eds.) Advanced Information Systems Engineering, Lecture Notes in Computer Science, vol. 3520, pp. 216–232. Springer, Berlin Heidelberg (2005), http://dx.doi.org/10.1007/11431855_16

  53. Russell, N., Hofstede, A., Edmond, D., der Aalst, W.: Workflow data patterns: Identification, representation and tool support. In: Delcambre, L., Kop, C., Mayr, H., Mylopoulos, J., Pastor, O. (eds.) Conceptual Modeling - ER 2005, Lecture Notes in Computer Science, vol. 3716, pp. 353–368. Springer, Berlin Heidelberg (2005), http://dx.doi.org/10.1007/11568322_23

  54. Scheer, A.W.: ARIS – Business Process Frameworks. Springer, Berlin, Heidelberg (1999)

    Book  Google Scholar 

  55. Scheer, A.W.: ARIS – Business Process Modeling. Springer, Berlin, Heidelberg (2000)

    Book  Google Scholar 

  56. Sharp, A., McDermott, P.: Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers (2001)

    Google Scholar 

  57. Silver, B.: Ten tips for effective process modeling

    Google Scholar 

  58. Spivey, J.: The Z notation: a reference manual (1989)

    MATH  Google Scholar 

  59. Takemura, T.: Formal semantics and verification of bpmn transaction and compensation. In: Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference. pp. 284–290. APSCC ’08, IEEE Computer Society, Washington, DC, USA (2008), http://dx.doi.org/10.1109/APSCC.2008.208

  60. Trætteberg, H.: UI design without a task modeling language - using BPMN and Diamodl for task modeling and dialog design. In: Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams. pp. 110–117. HCSE-TAMODIA ’08 (2008)

    Google Scholar 

  61. Trætteberg, H., Krogstie, J.: Enhancing the usability of bpm-solutions by combining process and user-interface modelling. In: Stirna, J., Persson, A. (eds.) The Practice of Enterprise Modeling, Lecture Notes in Business Information Processing, vol. 15, pp. 86–97. Springer, Berlin Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-89218-2_7

  62. Urzica, A., Tanase, C.: Mapping BPMN to AUML: Towards an automatic process. In: 7th International Conference of Control Systems and Computer Science, MASTS 2009 Workshop. pp. 539–547 (2009)

    Google Scholar 

  63. Weidlich, M., Decker, G., Großkopf, A., Weske, M.: BPEL to BPMN: The myth of a straight-forward mapping. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems: OTM 2008, Lecture Notes in Computer Science, vol. 5331, pp. 265–282. Springer, Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-88871-0_19

  64. Weske, M.: Business Process Management. Concepts, Languages, Architectures. Springer (2012)

    Book  Google Scholar 

  65. Wienberg, F.: Informations- und prozeßorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen. Ph.D. thesis, Universität Hamburg (2001)

    Google Scholar 

  66. Wohed, P., van der Aalst, W., Dumas, M., ter Hofstede, A., Russell, N.: On the suitability of BPMN for business process modelling. In: Dustdar, S., Luiz Fiadeiro, J., Sheth, A. (eds.) Business Process Management: 4th International Conference, BPM 2006, Vienna, Austria, pp. 161–176. Springer, Berlin, Heidelberg (2006)

    Chapter  Google Scholar 

  67. Wohed, P., van der Aalst, W.M., Dumas, M., ter Hofstede, A., Russell, N.: Pattern-based analysis of BPMN – an extensive evaluation of the control-flow, the data and the resource perspectives (revised version). Tech. Rep. BPM-06-17, BPMcenter.org (2006), http://is.tm.tue.nl/staff/wvdaalst/BPMcenter/reports/2006/BPM-06-17.pdf

  68. Wolter, C., Schaad, A.: Modeling of task-based authorization constraints in BPMN. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) Business Process Management: 5th International Conference, BPM 2007, Brisbane, Australia, pp. 64–79. Springer, Berlin, Heidelberg (2007)

    Chapter  Google Scholar 

  69. Wong, P.Y.H., Gibbons, J.: Formalisations and applications of bpmn. Science of Computer Programming 76(8), 633–650 (Aug 2011), http://dx.doi.org/10.1016/j.scico.2009.09.010

  70. Wong, P.Y., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) Formal Methods and Software Engineering, Lecture Notes in Computer Science, vol. 5256, pp. 355–374. Springer Berlin Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-88194-0_22

  71. Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: 2008 Second International Symposium on Intelligent Information Technology Application. IITA ’08, vol. 2, pp. 70–74. IEEE Computer Society, Washington DC, USA (2008), http://dx.doi.org/10.1109/IITA.2008.68

  72. Zachman, J.: A framework for information systems architecture. IBM Systems Journal 26(3), 267–292 (1987)

    Article  Google Scholar 

  73. Zahoor, E.: Gouvernance de service: aspects sécurité et données. Thesis, Université Nancy II (2011), http://tel.archives-ouvertes.fr/tel-00643552

Download references

Author information

Authors and Affiliations

  1. Software Competence Center Hagenberg, Hagenberg im Mühlkreis, Austria

    Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler & Klaus-Dieter Schewe

  2. Johannes Kepler University Linz, Linz, Austria

    Jan Kubovy

Authors
  1. Felix Kossak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christa Illibauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Verena Geist
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jan Kubovy
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Christine Natschläger
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Thomas Ziebermayr
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Theodorich Kopetzky
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Bernhard Freudenthaler
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Klaus-Dieter Schewe
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Kossak, F. et al. (2014). State of the Art. In: A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer, Cham. https://doi.org/10.1007/978-3-319-09931-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-09931-6_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-09930-9

  • Online ISBN: 978-3-319-09931-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation