A Tool for the Verification of Decision Model and Notation (DMN) Models

  • Faruk HasićEmail author
  • Carl Corea
  • Jonas Blatt
  • Patrick Delfmann
  • Estefanía Serral
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 385)


The Decision Model and Notation (DMN) is a decision modelling standard consisting of two levels: the decision requirement diagram (DRD) level which depicts the dependencies between elements involved in the decision model, and the decision logic level, which specifies the underlying decision logic, usually in the form of decision tables. As the decision tables and DRD are modelled in conjunction, the need to verify the consistency of both levels arises. While there have been some works geared towards the verification of decision tables, the DRD-level has been strongly neglected. In this work, we therefore present a tool for the model verification of DMN models at both the logic and the DRD level, along with the performance assessment of the tool.


DMN Decision model and notation Tool support Consistency checking Automated feedback Model evolution Camunda 



This work was supported by the DFG (grant DE 1983/9-1) and Internal Funds KU Leuven.


  1. 1.
    Batoulis, K., Nesterenko, A., Repitsch, G., Weske, M.: Decision management in the insurance industry: standards and tools. In: BPM (Industry Track), pp. 52–63 (2017)Google Scholar
  2. 2.
    Batoulis, K., Weske, M.: A tool for checking soundness of decision-aware business processes. In: BPM (Demos), pp. 1–5 (2017)Google Scholar
  3. 3.
    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). Scholar
  4. 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). Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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). Scholar
  7. 7.
    Corea, C., Blatt, J., Delfmann, P.: A tool for decision logic verification in DMN decision tables. In: BPM (Demo Track), pp. 1–5 (2019)Google Scholar
  8. 8.
    Deryck, M., Hasić, F., Vanthienen, J., Vennekens, J.: A case-based inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) paradigm. In: Benzmüller, C., Ricca, F., Parent, X., Roman, D. (eds.) RuleML+RR 2018. LNCS, vol. 11092, pp. 248–263. Springer, Cham (2018). Scholar
  9. 9.
    Hasić, F., Corea, C., Blatt, J., Delfmann, P., Serral, E.: Decision model change patterns for dynamic system evolution. Knowl. Inf. Syst. (2020).
  10. 10.
    Hasić, F., De Smedt, J., Vanthienen, J.: Developing a modelling and mining framework for integrated processes and decisions. In: Debruyne, C., et al. (eds.) OTM 2017. LNCS, vol. 10697, pp. 259–269. Springer, Cham (2018). Scholar
  11. 11.
    Hasić, F., Smedt, J.D., Vanthienen, J.: Augmenting processes with decision intelligence: principles for integrated modelling. Decis. Support Syst. 107, 1–12 (2018)CrossRefGoogle Scholar
  12. 12.
    Laurson, Ü., Maggi, F.M.: A tool for the analysis of DMN decision tables. In: BPM (Demo Track), pp. 56–60 (2016)Google Scholar
  13. 13.
    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). Scholar
  14. 14.
    OMG: Decision Model and Notation (DMN) 1.2 (2019)Google Scholar
  15. 15.
    Smit, K., Zoet, M., Berkhout, M.: Verification capabilities for business rules management in the Dutch governmental context. In: International Conference on Research and Innovation in Information Systems, pp. 1–6. IEEE (2017)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Faruk Hasić
    • 1
    Email author
  • Carl Corea
    • 2
  • Jonas Blatt
    • 2
  • Patrick Delfmann
    • 2
  • Estefanía Serral
    • 1
  1. 1.Research Centre for Information Systems Engineering (LIRIS)KU LeuvenBrusselsBelgium
  2. 2.Institute for IS ResearchUniversity of Koblenz-LandauKoblenzGermany

Personalised recommendations