Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2014 | OriginalPaper | Buchkapitel

1. Introduction

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

Erschienen in: A Rigorous Semantics for BPMN 2.0 Process Diagrams

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

e hardly need to point out the importance of business process modelling and of respective automation in this place (see, e.g. [39, 45, 58, 110, 141]).

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
14.
Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Transactions on Computational Logic 4(4), 578–651 (2003)CrossRefMathSciNet
15.
Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: Correction and extension. ACM Transactions on Computational Logic 9(3), 1–32 (2008)MathSciNet
17.
18.
19.
Börger, E., Cavarra, A., Riccobene, E.: An asm semantics for uml activity diagrams. In: Rus, T. (ed.) Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, vol. 1816, pp. 293–308. Springer Berlin Heidelberg (2000), http://​dx.​doi.​org/​10.​1007/​3-540-45499-3_​22
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)CrossRef
22.
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin, Heidelberg (2003)CrossRef
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), http://​dx.​doi.​org/​10.​1007/​978-3-540-89762-0_​3
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), http://​dx.​doi.​org/​10.​1007/​978-3-540-87603-8_​3
39.
Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer (2013)
40.
42.
45.
Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E.: Subject-Oriented Business Process Management. Springer, Berlin, Heidelberg (2012)CrossRef
47.
48.
50.
Gadatsch, A.: Grundkurs Geschäftsprozess-Management. Springer (2012)
53.
Gurevich, Y.: A new thesis (abstract). American Mathematical Society 6(4), 317 (1985)
54.
Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1), 77–111 (2000)CrossRefMathSciNet
58.
60.
61.
66.
Kossak, F., Illibauer, C., Geist, V.: Event-based gateways: Open questions and inconsistencies. In: Mendling, J., Weidlich, M. (eds.) BPMN. Lecture Notes in Business Information Processing, vol. 125, pp. 53–67. Springer (2012)
67.
Kossak, F., Mashkoor, A., Geist, V., Illibauer, C.: Improving the understandability of formal specifications: An experience report. In: Salinesi, C., Weerd, I. (eds.) Requirements Engineering: Foundation for Software Quality, Lecture Notes in Computer Science, vol. 8396, pp. 184–199. Springer International Publishing (2014), http://​dx.​doi.​org/​10.​1007/​978-3-319-05843-6_​14
69.
Kubovy, J., Kossak, F., Geist, V.: A formal description of the ITIL change management process using abstract state machines. In: Proceedings of 23 rd International Workshops on Database and Expert Systems Applications. pp. 65–69. DEXA 2012, IEEE Computer Society (2012)
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)
89.
95.
104.
Recker, J.: BPMN modeling – who, where, how and why. BPTrends 5(5), 1–8 (2008)
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)
110.
Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Heidelberg (2012)CrossRef
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), http://​dx.​doi.​org/​10.​1007/​11767138_​30
115.
132.
Stärk, R., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer (2001)CrossRef
141.
Weske, M.: Business Process Management. Concepts, Languages, Architectures. Springer (2012)CrossRef
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: 4 th International Conference, BPM 2006, Vienna, Austria, pp. 161–176. Springer, Berlin, Heidelberg (2006)CrossRef
146.
Wohed, P., Aalst, W., Dumas, M., Hofstede, A., Russell, N.: On the suitability of bpmn for business process modelling. In: Dustdar, S., Fiadeiro, J., Sheth, A. (eds.) Business Process Management, Lecture Notes in Computer Science, vol. 4102, pp. 161–176. Springer Berlin Heidelberg (2006), http://​dx.​doi.​org/​10.​1007/​11841760_​12
Metadaten
Titel
Introduction
verfasst von
Felix Kossak
Christa Illibauer
Verena Geist
Jan Kubovy
Christine Natschläger
Thomas Ziebermayr
Theodorich Kopetzky
Bernhard Freudenthaler
Klaus-Dieter Schewe
Copyright-Jahr
2014
Buch
A Rigorous Semantics for BPMN 2.0 Process Diagrams

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

Electronic ISBN: 978-3-319-09931-6

Copyright-Jahr: 2014

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

Premium Partner

    Bildnachweise