Advertisement

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
  • 34 Downloads
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 385)

Abstract

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.

Keywords

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

Notes

Acknowledgements

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

References

  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).  https://doi.org/10.1007/978-3-319-93931-5_17CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-45348-4_13CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-61252-2_6CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-99906-7_17CrossRefGoogle 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).  https://doi.org/10.1007/s10115-020-01469-w
  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).  https://doi.org/10.1007/978-3-319-73805-5_28CrossRefGoogle 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).  https://doi.org/10.1007/978-3-319-69462-7_20CrossRefGoogle 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