Abstract
While the Decision Model and Notation standard (DMN) is evolving into an increasingly popular standard for modelling decision logic, a wealth of recent research unfortunately shows that DMN modelling is prone to various types of human modelling errors. As such errors may lead to incorrect decision-making or even compliance breaches, this raises a strong need for modelling tools to offer error verification capabilities, that can pin-point potential modelling errors and subsequently alert the user. Currently, it is however still unclear to which extent the state-of-the-art modelling tools can detect these errors. Such insights are however strongly needed to assess the current support for modellers in the quality assurance of DMN models, and to guide future research. In this report, we therefore conduct an in-depth DMN tool analysis in regard to DMN verification capabilities. Our results indicate that the current coverage of verification capabilities in industrial tools is alarmingly low, and there needs to be urgent work on extending existing approaches.
This research is part of the research project “Handling Inconsistencies in Business Process Modeling”, which is funded by the German Research Association (reference number: DE1983/9-1).
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.
- 4.
- 5.
- 6.
- 7.
- 8.
Note also that as none of the tools support multi-table decision logic verification capabilities, this was entirely omitted from the above Table 1, thus, the actual coverage of verification capabilities is arguably lower.
References
Batoulis, K., Nesterenko, A., Repitsch, G., Weske, M.: Decision management in the insurance industry: standards and tools. In: Proceedings of the BPM 2017 Industry Track, Barcelona, Spain, 2017. CEUR Workshop Proceedings, vol. 1985, pp. 52–63. CEUR-WS.org (2017)
Batoulis, K., Weske, M.: A tool for checking soundness of decision-aware business processes. In: Proceedings of the BPM Demo Track, Barcelona, Spain, 2017. CEUR Workshop Proceedings, vol. 1950. CEUR-WS.org (2017)
Batoulis, K., Weske, M.: Disambiguation of DMN decision tables. In: Abramowicz, W., Paschke, A. (eds.) BIS 2018. LNBIP, vol. 320, pp. 236–249. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-93931-5_17
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). https://doi.org/10.1007/978-3-319-45348-4_13
Calvanese, D., Dumas, M., Laurson, Ü., Maggi, F.M., Montali, M., Teinemaa, I.: Semantics, analysis and simplification of DMN decision tables. Inf. Syst. 78, 112–125 (2018)
Calvanese, D., Dumas, M., Maggi, F.M., Montali, M.: Semantic DMN: formalizing decision models with domain knowledge. In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds.) RuleML+RR 2017. LNCS, vol. 10364, pp. 70–86. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61252-2_6
Corea, C., Blatt, J., Delfmann, P.: A tool for decision logic verification in DMN decision tables. In: Proceedings of BPM 2019 Demo Track, Vienna, Austria, 2019. CEUR Workshop Proceedings, vol. 2420, pp. 169–173. CEUR-WS.org (2019)
Corea, C., Delfmann, P.: A tool to monitor consistent decision-making in business process execution. In: Proceedings of BPM 2018 Demo Track, Sydney, Australia, 2018. CEUR Workshop Proceedings, vol. 2196, pp. 76–80. CEUR-WS.org (2018)
Corea, C., Delfmann, P.: A taxonomy for business rule organizing approaches in regard to business process compliance. J. Conceptual Model. 15, 1–28 (2020)
Dani, V., Thom, H., Freitas, C.: Visual feedback about problems in business process models: systematic literature review, survey, case studies and recommendations. Universidade Federal do Rio Grande do Sul, Technical report (2019)
Felli, P., de Leoni, M., Montali, M.: Soundness verification of decision-aware process models with variable-to-variable conditions. In: 2019 19th International Conference on Application of Concurrency to System Design (ACSD), pp. 82–91. IEEE (2019)
Hashmi, M., Governatori, G., Lam, H., Wynn, M.T.: Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1), 79–133 (2018)
Hasic, F., Corea, C., Blatt, J., Delfmann, P., Serral, E.: Decision model change patterns for dynamic system evolution. Knowl. Inf. Syst. 62, 3665–3696 (2020). https://doi.org/10.1007/s10115-020-01469-w
de Leoni, M., Felli, P., Montali, M.: A holistic approach for soundness verification of decision-aware process models. In: Trujillo, J.C., Davis, K.C., Du, X., Li, Z., Ling, T.W., Li, G., Lee, M.L. (eds.) ER 2018. LNCS, vol. 11157, pp. 219–235. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00847-5_17
Nagel, S., Corea, C., Delfmann, P.: Cognitive effects of visualization techniques for inconsistency metrics on monitoring data-intensive processes. Inf. Syst. Manage., 1–16 (2020)
Nidhra, S., Dondeti, J.: Black box and white box testing techniques. Int. J. Embed. Syst. Appl. (IJESA) 2(2), 29–50 (2012)
Ochoa, L., González-Rojas, O.: Analysis and re-configuration of decision logic in adaptive and data-intensive processes (short paper). In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10573, pp. 306–313. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-69462-7_20
Smit, K., Versendaal, J., Zoet, M.: Verification capabilities for business rules management in the Dutch governmental context. In: Proceedings of the 21st Pacific Conference on Information Systems, PACIS 2017, Langkawi, Malaysia, 2017, pp. 201–212. AISel (2017)
Snoeck, M., Moreno-Montes de Oca, I., Haegemans, T., Scheldeman, B., Hoste, T.: Testing a selection of BPMN tools for their support of modelling guidelines. In: Ralyté, J., España, S., Pastor, Ó. (eds.) PoEM 2015. LNBIP, vol. 235, pp. 111–125. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25897-3_8
Vanthienen, J., Mues, C., Wets, G., Delaere, K.: A tool-supported approach to inter-tabular verification. Exp. Syst. Appl. 15, 277–285 (1998)
Vom Brocke, J., Simons, A., Riemer, K., Niehaves, B., Plattfaut, R., Cleven, A.: Standing on the shoulders of giants: challenges and recommendations of literature search in information systems research. Commun. Assoc. Inf. Syst. 37(1), 9 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Grohé, CC., Corea, C., Delfmann, P. (2021). DMN 1.0 Verification Capabilities: An Analysis of Current Tool Support. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds) Business Process Management Forum. BPM 2021. Lecture Notes in Business Information Processing, vol 427. Springer, Cham. https://doi.org/10.1007/978-3-030-85440-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-85440-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-85439-3
Online ISBN: 978-3-030-85440-9
eBook Packages: Computer ScienceComputer Science (R0)