Abstract
The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture critical business knowledge raises the need to support analysis tasks on these tables such as correctness and completeness checking. This paper provides a formal semantics for DMN tables, a formal definition of key analysis tasks and scalable algorithms to tackle two such tasks, i.e., detection of overlapping rules and of missing rules. The algorithms are based on a geometric interpretation of decision tables that can be used to support other analysis tasks by tapping into geometric algorithms. The algorithms have been implemented in an open-source DMN editor and tested on large decision tables derived from a credit lending dataset.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
Date/time data types are also supported but can be considered as simple numeric attributes.
- 4.
These are called “expressions” in the DMN standard, but we prefer the term “attribute” as it is less ambiguous.
- 5.
For simplicity, the figure is purely schematic and does not preserve the scale along the axes.
- 6.
- 7.
References
Arge, L., Procopiuc, O., Ramaswamy, S., Suel, T., Vitter, J.S.: Scalable sweeping-based spatial join. In: VLDB (1998)
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, Heidelberg (2015)
CODASYL Decision Table Task Group: A modern appraisal of decision tables: a CODASYL report. ACM (1982)
de Moura, L., Bjørner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)
Hall, M.A., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. SIGKDD Explor. 11(1), 10–18 (2009)
Hewett, R., Leuchner, J.: Restructuring decision tables for elucidation of knowledge. Data Knowl. Eng. 46(3), 271–290 (2003)
Hoover, D.N., Chen, Z.: Tablewise, a decision table tool. In: Proceedings of COMPASS, pp. 97–108 (1995)
Object Management Group: Decision Model and Notation (DMN) 1.0 (2015)
Pawlak, Z.: Decision tables - a rough set approach. Bull. EATCS 33, 85–95 (1987)
Pooch, U.W.: Translation of decision tables. Compt. Surv. 6(2), 125–151 (1974)
Vanthienen, J., Dries, E.: Illustration of a decision table tool for specifying and implementing knowledge based systems. Int. J. Artif. Intell. Tools 3(2), 267–288 (1994)
Vanthienen, J., Mues, C., Aerts, A.: An illustration of verification and validation in the modelling phase of KBS development. Data Knowl. Eng. 27(3), 337–352 (1998)
Zaidi, A.K., Levis, A.H.: Validation and verification of decision making rules. Automatica 33(2), 155–169 (1997)
Acknowledgement
This research was partly funded by an Institutional Grant of the Estonian Research Council.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Calvanese, D., Dumas, M., Laurson, Ü., Maggi, F.M., Montali, M., Teinemaa, I. (2016). Semantics and Analysis of DMN Decision Tables. In: La Rosa, M., Loos, P., Pastor, O. (eds) Business Process Management. BPM 2016. Lecture Notes in Computer Science(), vol 9850. Springer, Cham. https://doi.org/10.1007/978-3-319-45348-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-45348-4_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45347-7
Online ISBN: 978-3-319-45348-4
eBook Packages: Computer ScienceComputer Science (R0)