Context-Aware Verification of DMN

Simple item page
dc.contributor.authorVandevelde, Simon
dc.contributor.authorCallewaert, Benjamin
dc.contributor.authorVennekens, Joost
dc.date.accessioned2021-12-24T18:16:42Z
dc.date.available2021-12-24T18:16:42Z
dc.date.issued2022-01-04
dc.description.abstractThe 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.extent8 pages
dc.identifier.doi10.24251/HICSS.2022.756
dc.identifier.isbn978-0-9981331-5-7
dc.identifier.urihttp://hdl.handle.net/10125/80096
dc.language.isoeng
dc.relation.ispartofProceedings of the 55th Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectBusiness Rule Management Technologies
dc.subjectbackground knowledge
dc.subjectcontext
dc.subjectdmn
dc.subjectknowledge base paradigm
dc.subjectverification
dc.titleContext-Aware Verification of DMN
dc.type.dcmitext

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0609.pdf
Size:
329.37 KB
Format:
Adobe Portable Document Format
Download

Collections

Business Rule Management Technologies