Skip to main content
SpringerLink
Log in
Book cover

International Conference on Research Challenges in Information Science

RCIS 2020: Research Challenges in Information Science pp 536–542Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    https://github.com/camunda/camunda-engine-dmn.

  2. 2.

    https://bit.ly/2OEPEpH.

  3. 3.

    An interface to use our generator can be found at https://bit.ly/31q1U2r.

References

  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. Batoulis, K., Weske, M.: A tool for checking soundness of decision-aware business processes. In: BPM (Demos), pp. 1–5 (2017)

    Google Scholar 

  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_17

    Chapter  Google Scholar 

  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_13

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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_6

    Chapter  Google Scholar 

  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. 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_17

    Chapter  Google Scholar 

  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. 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_28

    Chapter  Google Scholar 

  11. Hasić, F., Smedt, J.D., Vanthienen, J.: Augmenting processes with decision intelligence: principles for integrated modelling. Decis. Support Syst. 107, 1–12 (2018)

    Article  Google Scholar 

  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. 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

    Chapter  Google Scholar 

  14. OMG: Decision Model and Notation (DMN) 1.2 (2019)

    Google Scholar 

  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 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

  1. Research Centre for Information Systems Engineering (LIRIS), KU Leuven, Brussels, Belgium

    Faruk Hasić & Estefanía Serral

  2. Institute for IS Research, University of Koblenz-Landau, Koblenz, Germany

    Carl Corea, Jonas Blatt & Patrick Delfmann

Authors
  1. Faruk Hasić
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carl Corea
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jonas Blatt
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Patrick Delfmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Estefanía Serral
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Faruk Hasić .

Editor information

Editors and Affiliations

  1. Utrecht University, Utrecht, The Netherlands

    Fabiano Dalpiaz

  2. Stockholm University, Kista, Sweden

    Jelena Zdravkovic

  3. The Institute of Digital Innovation and Research, Dublin, Ireland

    Pericles Loucopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hasić, F., Corea, C., Blatt, J., Delfmann, P., Serral, E. (2020). A Tool for the Verification of Decision Model and Notation (DMN) Models. In: Dalpiaz, F., Zdravkovic, J., Loucopoulos, P. (eds) Research Challenges in Information Science. RCIS 2020. Lecture Notes in Business Information Processing, vol 385. Springer, Cham. https://doi.org/10.1007/978-3-030-50316-1_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-50316-1_35

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-50315-4

  • Online ISBN: 978-3-030-50316-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation