State of the Art

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


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.


Unify Modeling Language Object Constraint Language Activity Diagram Business Process Management Business Process Modelling 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30, 245–275 (2005)CrossRefGoogle Scholar
  2. 3.
    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. (2007),
  3. 4.
    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)CrossRefGoogle Scholar
  4. 7.
    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),
  5. 9.
    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. 10.
    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. 12.
    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, PotsdamGoogle Scholar
  8. 13.
    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),
  9. 20.
    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)CrossRefGoogle Scholar
  10. 21.
    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. 23.
    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),
  12. 24.
    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),
  13. 26.
    Cardoso, J., Voigt, K., Winkler, M.: Service engineering for the internet of services. Enterprise Information Systems X pp. 17–25 (2008)Google Scholar
  14. 27.
    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. 29.
    Davis, R., Brabander, E.: The event-driven process chain. In: ARIS Design Platform – Getting Started with BPM, pp. 105–125. Springer, London (2007),
  16. 32.
    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),
  17. 33.
    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. 34.
    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. 45.
    Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E.: Subject-Oriented Business Process Management. Springer, Berlin, Heidelberg (2012)CrossRefGoogle Scholar
  20. 46.
    Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley (2003)Google Scholar
  21. 49.
    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. 50.
    Gadatsch, A.: Grundkurs Geschäftsprozess-Management. Springer (2012)Google Scholar
  23. 52.
    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. 62.
    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, GermanyGoogle Scholar
  25. 65.
    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. 68.
    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),
  27. 70.
    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. 72.
    Lindland, O.I., Sindre, G., Sølvberg, A.: Understanding quality in conceptual modeling. IEEE Softw. 11(2), 42–49 (Mar 1994),
  29. 73.
    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),
  30. 74.
    Malone, T., Crowston, K., Herman, G. (eds.): Organizing Business Knowledge: The MIT Process Handbook. The MIT Press (2003)Google Scholar
  31. 75.
    Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Technique. McGraw-Hill (1988)Google Scholar
  32. 76.
    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),
  33. 78.
    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),
  34. 79.
    Minoli, D.: Enterprise Architecture A to Z: Frameworks, Business Process Modeling, SOA, and Infrastructure Technology. Auerbach Publications, Boca Raton, Florida (2008)CrossRefGoogle Scholar
  35. 80.
    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. 82.
    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),
  37. 83.
    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. 84.
    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),
  39. 86.
    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. 93.
    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)CrossRefGoogle Scholar
  41. 95.
    Object Management Group: Business process model and notation (BPMN) 2.0. Accessed 2011-08-02. (2011)
  42. 96.
    Object Management Group: OMG unified modeling language (OMG UML), superstructure version 2.4. Accessed 2012-09-01. (2011)
  43. 97.
    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),
  44. 100.
    Petri, C.A.: Communication with automata. Ph.D. thesis, Universität Hamburg (1966)Google Scholar
  45. 102.
    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),
  46. 104.
    Recker, J.: BPMN modeling – who, where, how and why. BPTrends 5(5), 1–8 (2008)Google Scholar
  47. 105.
    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. 106.
    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. 108.
    Recker, J.C.: Opportunities and constraints: the current struggle with BPMN. Business Process Management Journal 16(1), 181–201 (2010),
  50. 113.
    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. 114.
    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),
  52. 117.
    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),
  53. 119.
    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),
  54. 121.
    Scheer, A.W.: ARIS – Business Process Frameworks. Springer, Berlin, Heidelberg (1999)CrossRefGoogle Scholar
  55. 122.
    Scheer, A.W.: ARIS – Business Process Modeling. Springer, Berlin, Heidelberg (2000)CrossRefGoogle Scholar
  56. 126.
    Sharp, A., McDermott, P.: Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers (2001)Google Scholar
  57. 127.
    Silver, B.: Ten tips for effective process modelingGoogle Scholar
  58. 131.
    Spivey, J.: The Z notation: a reference manual (1989)zbMATHGoogle Scholar
  59. 133.
    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),
  60. 136.
    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. 137.
    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),
  62. 138.
    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. 140.
    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),
  64. 141.
    Weske, M.: Business Process Management. Concepts, Languages, Architectures. Springer (2012)CrossRefGoogle Scholar
  65. 144.
    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. 145.
    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)CrossRefGoogle Scholar
  67. 147.
    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, (2006),
  68. 148.
    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)CrossRefGoogle Scholar
  69. 149.
    Wong, P.Y.H., Gibbons, J.: Formalisations and applications of bpmn. Science of Computer Programming 76(8), 633–650 (Aug 2011),
  70. 150.
    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),
  71. 154.
    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),
  72. 155.
    Zachman, J.: A framework for information systems architecture. IBM Systems Journal 26(3), 267–292 (1987)CrossRefGoogle Scholar
  73. 156.
    Zahoor, E.: Gouvernance de service: aspects sécurité et données. Thesis, Université Nancy II (2011),

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Felix Kossak
    • 1
  • Christa Illibauer
    • 1
  • Verena Geist
    • 1
  • Jan Kubovy
    • 2
  • Christine Natschläger
    • 1
  • Thomas Ziebermayr
    • 1
  • Theodorich Kopetzky
    • 1
  • Bernhard Freudenthaler
    • 1
  • Klaus-Dieter Schewe
    • 1
  1. 1.Software Competence Center HagenbergHagenberg im MühlkreisAustria
  2. 2.Johannes Kepler University LinzLinzAustria

Personalised recommendations