Discussion of the Proposed Specification and Outlook

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


In this chapter, we discuss our approach, including the changes we propose for the Business Process Model and Notation (BPMN) . We further discuss future research work on several extensions to the core language which targets business process diagrams and primarily expresses the flow of activities.


Unify Modeling Language Business Process Management Deontic Logic Business Process Modelling Object Management Group 
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. 8.
    Atkinson, C., Draheim, D., Geist, V.: Typed business process specification. In: Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference. pp. 69–78. IEEE Computer Society (2010)Google Scholar
  3. 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
  4. 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
  5. 25.
    Bridges, G.: Top ten tips and tricks for business process modeling (2009)Google Scholar
  6. 29.
    Davis, R., Brabander, E.: The event-driven process chain. In: ARIS Design Platform – Getting Started with BPM, pp. 105–125. Springer, London (2007),
  7. 31.
    Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. Journal of Computer and System Sciences 73(3), 442–474 (May 2007),, special Issue: Database Theory 2004
  8. 35.
    Draheim, D.: Business Process Technology – A Unified View on Business Processes, Workflows and Enterprise Applications. Springer (2010)CrossRefGoogle Scholar
  9. 36.
    Draheim, D., Geist, V., Natschläger, C.: Integrated framework for seamless modeling of business and technical aspects in process-oriented enterprise applications. International Journal on Software Engineering and Knowledge Engineering 22(5), 645–674 (2012)CrossRefGoogle Scholar
  10. 37.
    Draheim, D., Natschläger, C.: A context-oriented synchronization approach. In: Electronic Proceedings of the 2nd International Workshop in Personalized Access, Profile Management, and Context Awareness: Databases, PersDB 2008, in conjunction with the 34th VLDB Conference. pp. 20–27. Auckland, New Zealand (2008)Google Scholar
  11. 38.
    Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience (Sep 2005)Google Scholar
  12. 45.
    Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E.: Subject-Oriented Business Process Management. Springer, Berlin, Heidelberg (2012)CrossRefGoogle Scholar
  13. 51.
    Geist, V.: Integrated Executable Business Process and Dialogue Specification. Dissertation, Johannes Kepler University, Linz, Austria (2011)Google Scholar
  14. 55.
    Hahn, C., Recker, J., Mendling, J.: An exploratory study of it-enabled collaborative process modeling. In: Muehlen, M., Su, J. (eds.) Business Process Management Workshops, Lecture Notes in Business Information Processing, vol. 66, pp. 61–72. Springer, Berlin Heidelberg (2011),
  15. 59.
    Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)CrossRefzbMATHGoogle Scholar
  16. 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
  17. 64.
    Kopetzky, T., Geist, V.: Workflow charts and their precise semantics using abstract state machines. In: EMISA. pp. 11–24. Lecture Notes in Informatics, Gesellschaft für Informatik e.V. (2012)Google Scholar
  18. 71.
    Lewis, D.: Semantic analyses for dyadic deontic logic. In: Stenlund, S., Henschen-Dahlquist, A.M., Lindahl, L., Nordenfelt, L., Odelstad, J. (eds.) Logical Theory and Semantic Analysis, Synthese Library, vol. 63, pp. 1–14. Springer, Netherlands (1974),
  19. 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),
  20. 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),
  21. 85.
    Natschläger, C.: Deontic BPMN. In: Hameurlain, A., Liddle, S., Schewe, K., Zhou, X. (eds.) Database and Expert Systems Applications, Lecture Notes in Computer Science, vol. 6861, pp. 264–278. Springer, Berlin (2011)CrossRefGoogle Scholar
  22. 87.
    Natschläger, C., Geist, V.: A layered approach for actor modelling in business processes. Business Process Management Journal 19, 917–932 (2013)CrossRefGoogle Scholar
  23. 88.
    Natschläger, C., Geist, V., Kossak, F., Freudenthaler, B.: Optional activities in process flows. In: Rinderle-Ma, S., Weske, M. (eds.) Proceedings of EMISA 2012 – Der Mensch im Zentrum der Modellierung, Vienna, Austria. pp. 67–80. Köllen, Bonn (2012)Google Scholar
  24. 90.
    Natschläger, C., Kossak, F., Schewe, K.D.: Deontic BPMN: a powerful extension of bpmn with a trusted model transformation. Software & Systems Modeling pp. 1–29 (2013),
  25. 91.
    Natschläger, C., Schewe, K.D.: A flattening approach for attributed type graphs with inheritance in algebraic graph transformation. ECEASST 47 (2012)Google Scholar
  26. 92.
    Natschläger-Carpella, C.: Extending BPMN with Deontic Logic. Logos Verlag Berlin (2012)Google Scholar
  27. 95.
    Object Management Group: Business process model and notation (BPMN) 2.0. Accessed 2011-08-02. (2011)
  28. 96.
    Object Management Group: OMG unified modeling language (OMG UML), superstructure version 2.4. Accessed 2012-09-01. (2011)
  29. 103.
    Åqvist, L.: Deontic logic. In: Handbook of Philosophical Logic (2nd Edition), vol. 8, pp. 147–264. Kluwer Academic (2002)Google Scholar
  30. 104.
    Recker, J.: BPMN modeling – who, where, how and why. BPTrends 5(5), 1–8 (2008)Google Scholar
  31. 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
  32. 107.
    Recker, J., Mendling, J.: Adequacy in process modeling: A review of measures and a proposed research agenda - position paper -. In: Pernici, B., Gulla, J.A. (eds.) The 19th International Conference on Advanced Information Systems Engineering (CAiSE’07). pp. 235–244. Tapir Academic Press, Trondheim, Norway (2007),
  33. 116.
    Russell, N.C.: Foundations of Process-Aware Information Systems. Ph.D. thesis, Queensland University of Technology, Brisbane, Australia (Dec 2007)Google Scholar
  34. 118.
    Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. Tech. rep., (2006),
  35. 120.
    Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: Proceedings of the 15th Australasian database conference. ADC ’04, vol. 27, pp. 207–214. Australian Computer Society, Inc., Darlinghurst, Australia (2004)Google Scholar
  36. 122.
    Scheer, A.W.: ARIS – Business Process Modeling. Springer, Berlin, Heidelberg (2000)CrossRefGoogle Scholar
  37. 123.
    Schewe, K.D., Wang, Q.: Synchronous parallel database transformations. Foundations of Information and Knowledge Systems pp. 370–383 (2012),
  38. 124.
    Schewe, K.D., Wang, Q.: XML database transformations. Journal of Universal Computer Science 16(20), 3043–3072 (2010), 00004Google Scholar
  39. 125.
    Schewe, K.D., Wang, Q.: A customised ASM thesis for database transformations. Acta Cybernetica 19(4), 765–805 (Dec 2010),
  40. 130.
    Spielmann, M.: Verification of relational tranducers for electronic commerce. In: Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. pp. 92–103. PODS ’00, ACM, New York, NY, USA (2000)Google Scholar
  41. 134.
    Thalheim, B., Schewe, K.D.: ASM foundations of database management. In: Information Systems and e-Business Technologies (Proc. UNISCON 2008). Lecture Notes in Business Information Processing, vol. 5, pp. 318–331. Springer Berlin Heidelberg, Klagenfurt, Austria (2008)Google Scholar
  42. 139.
    Wand, Y., Weber, R.: On the ontological expressiveness of information systems analysis and design grammars. Information Systems Journal 3(4), 217–237 (1993),
  43. 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
  44. 151.
    Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley & Sons Ltd, Chichester, UK (2009)Google Scholar
  45. 157.
    Zhao, J.Q.: Formal Design of Data Warehouse and OLAP Systems. Dissertation, Massey University, Palmerston North, New Zealand (2007)Google Scholar

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