Semantics and Analysis of DMN Decision Tables

The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture critical business knowledge raises the need to support analysis tasks on these tables such as correctness and completeness checking. This paper provides a formal semantics for DMN tables, a formal definition of key analysis tasks and scalable algorithms to tackle two such tasks, i.e., detection of overlapping rules and of missing rules. The algorithms are based on a geometric interpretation of decision tables that can be used to support other analysis tasks by tapping into geometric algorithms. The algorithms have been implemented in an open-source DMN editor and tested on large decision tables derived from a credit lending dataset.

• Publication year

  2016

• Venue

  International Conference on Business Process Management

• Publication date

  2016-03-24

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/978-3-319-45348-4_13arXiv 1603.07466
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Extracting Decision Logic from Process Models

  2015cited by this paper
• The WEKA data mining software: an update

  2009cited by this paper
• Z3: An Efficient SMT Solver

  2008cited by this paper
• Restructuring decision tables for elucidation of knowledge

  2003cited by this paper
• Scalable Sweeping-Based Spatial Join

  1998cited by this paper
• An Illustration of Verification and Validation in the Modelling Phase of KBS Development

  1998cited by this paper
• Tablewise, a decision table tool

  1995cited by this paper
• Validation and verification of decision making rules

  1995cited by this paper
• Illustration of a decision table tool for specifying and implementing knowledge based systems

  1993cited by this paper
• Decision tables: A rough set approach

  1987cited by this paper
• Translation of Decision Tables

  1974cited by this paper

• A TEE-based Approach for Security and Privacy in Decision Support

  2025cites this paper
• BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning

  2023cites this paper
• AI-Enhanced Hybrid Decision Management

  2023cites this paper
• Knowledge-based decision support for machine component design: A case study

  2022cites this paper
• On the Semantics of "null" in DMN: Undefined is not Unknown

  2022cites this paper
• An Overview of Methods for Acquiring and Generating Decision Models

  2021cites this paper
• Ensuring reference independence and cautious monotony in abstract argumentation

  2021cites this paper
• Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions

  2021cites this paper
• DMN 1.0 Verification Capabilities: An Analysis of Current Tool Support

  2021cites this paper
• A Tool for the Verification of Decision Model and Notation (DMN) Models

  2020cites this paper
• Text2Dec: Extracting Decision Dependencies from Natural Language Text for Automated DMN Decision Modelling

  2020cites this paper
• A Taxonomy of Business Rule Organizing Approaches in Regard to Business Process Compliance

  2020cites this paper
• DMN4DQ: When data quality meets DMN

  2020influential citation
• Research Challenges in Information Science: 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23–25, 2020, Proceedings

  2020cites this paper
• Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions

  2019cites this paper
• Achieving Business Process Improvement via Ubiquitous Decision-Aware Business Processes

  2019cites this paper
• Decision Discovery in Business Processes

  2019cites this paper
• Effects of Quantitative Measures on Understanding Inconsistencies in Business Rules

  2019cites this paper
• Predictive and Prescriptive Monitoring of Business Process Outcomes

  2019cites this paper
• A Tool for Decision Logic Verification in DMN Decision Tables

  2019cites this paper
• Understanding Decision Model and Notation: DMN Research Directions and Trends

  2019cites this paper
• Resolving Inconsistencies in Declarative Process Models based on Culpability Measurement

  2019cites this paper
• Holistic discovery of decision models from process execution data

  2019cites this paper
• Adding Constraint Tables to the DMN Standard: Preliminary Results

  2019cites this paper
• Executing Collaborative Decisions Confidentially on Blockchains

  2019cites this paper
• Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications

  2019cites this paper
• Conceptual Modeling

  2018influential citation
• Disambiguation of DMN Decision Tables

  2018cites this paper
• Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

  2018influential citation
• Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

  2018cites this paper
• A Tool to Monitor Consistent Decision-Making in Business Process Execution

  2018cites this paper
• Supporting Business Rule Management with Inconsistency Analysis

  2018cites this paper
• Multi-perspective Process Mining

  2018cites this paper
• What we know and what we do not know about DMN

  2018cites this paper
• On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

  2018cites this paper
• Automated analysis of industrial workflow-based models

  2018cites this paper
• Applying the Decision Model and Notation in Practice: A Method to Design and Specify Business Decisions and Business Logic

  2018cites this paper
• Semantics, Analysis and Simplification of DMN Decision Tables

  2018cites this paper
• On the Relationships Between Decision Management and Performance Measurement

  2018cites this paper
• A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)

  2018cites this paper
• Various Notions of Soundness for Decision-Aware Business Processes

  2017cites this paper
• On the Move to Meaningful Internet Systems. OTM 2017 Workshops

  2017cites this paper
• A Tool for Checking Soundness of Decision-Aware Business Processes

  2017influential citation
• From Process Models to Concurrent Systems in Alvis Language

  2017cites this paper
• Semantic DMN: Formalizing Decision Models with Domain Knowledge

  2017influential citation
• Rules and Reasoning

  2017influential citation
• Soundness of Decision-Aware Business Processes

  2017cites this paper
• Analysis and Re-configuration of Decision Logic in Adaptive and Data-Intensive Processes (Short Paper)

  2017cites this paper
• Developing a Modelling and Mining Framework for Integrated Processes and Decisions

  2017cites this paper
• Decision Management in the Insurance Industry: Standards and Tools

  2017cites this paper
• A Methodological Framework for the Integrated Design of Decision-Intensive Care Pathways—an Application to the Management of COPD Patients

  2017cites this paper
• A Tool for the Analysis of DMN Decision Tables

  2016cites this paper