Context-Aware Verification of DMN Vandevelde, Simon Callewaert, Benjamin Vennekens, Joost 2021-12-24T18:16:42Z 2021-12-24T18:16:42Z 2022-01-04
dc.description.abstract The Decision Model and Notation (DMN) standard is a user-friendly notation for decision logic. To verify correctness of DMN decision tables, many tools are available. However, most of these look at a table in isolation, with little or no regards for its context. In this work, we argue for the importance of context, and extend the formal verification criteria to include it. We identify two forms of context, namely in-model context and background knowledge. We also present our own context-aware verification tool, implemented in our DMN-IDP interface, and show that this context-aware approach allows us to perform more thorough verification than any other available tool.
dc.format.extent 8 pages
dc.identifier.doi 10.24251/HICSS.2022.756
dc.identifier.isbn 978-0-9981331-5-7
dc.language.iso eng
dc.relation.ispartof Proceedings of the 55th Hawaii International Conference on System Sciences
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 International
dc.subject Business Rule Management Technologies
dc.subject background knowledge
dc.subject context
dc.subject dmn
dc.subject knowledge base paradigm
dc.subject verification
dc.title Context-Aware Verification of DMN
dc.type.dcmi text
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
329.37 KB
Adobe Portable Document Format