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:
Elements for Tailoring a BPM Maturity Model to Simplify its Use Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Soundness of Decision-Aware Business Processes

verfasst von : Kimon Batoulis, Mathias Weske

Erschienen in: Business Process Management Forum

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

With the recent release of the Decision Model and Notation (DMN) specification, standardized decision models can be designed to represent the decisions required for executing business processes. Outsourcing decision logic from process to decision models leads to a separation of concerns and therefore to decision-aware business processes. However, no exhaustive considerations regarding the soundness of the integration of the two types of models have been made so far. Classical soundness checking only looks at the control-flow of a process model. In this paper, we formally define soundness criteria for decision-aware processes that ensure that the process can continue after a decision has been taken, and that all activities following the decision can be executed. A scalable implementation and an analysis of models from participants of an online course on process and decision modeling as well as a from a BPM project of a large insurance company demonstrate the benefits of our contribution.

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
Vorheriges Kapitel Improving Pattern Detection in Healthcare Process Mining Using an Interval-Based Event Selection Method
Nächstes Kapitel BPMS-Game: Tool for Business Process Gamification
Fußnoten
2
We omit the collect policy because it is ambiguous with respect to this classification.
 
Literatur
1.
van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2010)CrossRef
2.
3.
Batoulis, K., Meyer, A., Bazhenova, E., Decker, G., Weske, M.: Extracting decision logic from process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 349–366. Springer, Cham (2015). doi:10.​1007/​978-3-319-19069-3_​22 CrossRef
4.
Calvanese, D., Dumas, M., Laurson, Ü., Maggi, F.M., Montali, M., Teinemaa, I.: Semantics and analysis of DMN decision tables. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 217–233. Springer, Cham (2016). doi:10.​1007/​978-3-319-45348-4_​13 CrossRef
5.
Cheng, R., Sadiq, S., Indulska, M.: Framework for business process and rule integration: a case of BPMN and SBVR. In: Abramowicz, W. (ed.) BIS 2011. LNBIP, vol. 87, pp. 13–24. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-21863-7_​2 CrossRef
6.
Cragun, B.J., Steudel, H.J.: A decision-table-based processor for checking completeness and consistency in rule-based expert systems. Int. J. Man Mach. Stud. 26(5), 633–648 (1987)CrossRef
7.
Debevoise, T., Taylor, J.: The MicroGuide to Process and Decision Modeling in BPMN/DMN. CreateSpace Independent Publishing Platform (2014)
8.
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)CrossRef
9.
Hohwiller, J., Schlegel, D., Grieser, G., Hoekstra, Y.: Integration of BPM and BRM. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) BPMN 2011. LNBIP, vol. 95, pp. 136–141. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-25160-3_​12 CrossRef
10.
Meyer, A., Weske, M.: Weak conformance between process models and synchronized object life cycles. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol. 8831, pp. 359–367. Springer, Heidelberg (2014). doi:10.​1007/​978-3-662-45391-9_​25 CrossRef
11.
Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Checking an expert systems knowledge base for consistency and completeness. In: Proceeding of IJCAI, pp. 375–378. Morgan Kaufmann Publishers Inc. (1985)
12.
Nguyen, T.A., Perkin, W., Laffey, T.J., Pecora, D.: Knowledge base verification. AI Mag. 8(2), 69–75 (1987)
13.
OMG: Business Process Model and Notation, Version 2.0.2, January 2014
14.
OMG: Decision Model and Notation, Version 1.1, May 2016
15.
Totschnig, M., Willems, C., Meinel, C.: openHPI: evolution of a MOOC platform from LMS to SOA. In: Proceeding of CSEDU, pp. 593–598. SciTePress (2013)
16.
Vanthienen, J., Dries, E.: Developments in decision tables: evolution, applications and a proposed standard. DTEW Research Report, KU Leuven (1992)
17.
Von Halle, B., Goldberg, L.: The Decision Model: A Business Logic Framework Linking Business and Technology. Taylor and Francis Group, Boca Raton (2010)
18.
Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Heidelberg (2012)CrossRef
19.
Xylander, O.: On the Relationship between Decision Modeling and Process Modeling. Master’s thesis. Hasso Plattner Institute, Potsdam, Germany (2015)
Metadaten
Titel
Soundness of Decision-Aware Business Processes
verfasst von
Kimon Batoulis
Mathias Weske
Copyright-Jahr
2017
Buch
Business Process Management Forum

Print ISBN: 978-3-319-65014-2

Electronic ISBN: 978-3-319-65015-9

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-65015-9_7