Context-Aware Verification of DMN

dc.contributor.author Vandevelde, Simon
dc.contributor.author Callewaert, Benjamin
dc.contributor.author Vennekens, Joost
dc.date.accessioned 2021-12-24T18:16:42Z
dc.date.available 2021-12-24T18:16:42Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/10125/80096
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.rights.uri https://creativecommons.org/licenses/by-nc-nd/4.0/
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
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
0609.pdf
Size:
329.37 KB
Format:
Adobe Portable Document Format
Description: