Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Elements for Tailoring a BPM Maturity Model to Simplify its Use Read chapter Read first chapter

2017 | OriginalPaper | Chapter

Soundness of Decision-Aware Business Processes

Authors : Kimon Batoulis, Mathias Weske

Published in: Business Process Management Forum

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter Improving Pattern Detection in Healthcare Process Mining Using an Interval-Based Event Selection Method
next chapter BPMS-Game: Tool for Business Process Gamification
Footnotes
2
We omit the collect policy because it is ambiguous with respect to this classification.
 
Literature
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)
Metadata
Title
Soundness of Decision-Aware Business Processes
Authors
Kimon Batoulis
Mathias Weske
Copyright Year
2017
Book
Business Process Management Forum

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

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

Copyright Year: 2017

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