Various Notions of Soundness for Decision-Aware Business Processes

No abstract is available for this paper.

• Publication year

  2017

• Venue

  International Conference on Conceptual Modeling

• Publication date

  2017-11-06

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/978-3-319-69904-2_31
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Soundness of Decision-Aware Business Processes

  2017cited by this paper
• Semantics and Analysis of DMN Decision Tables

  2016cited by this paper
• Consistent Integration of Decision (DMN) and Process (BPMN) Models

  2016cited by this paper
• Business Process Management

  2016cited by this paper
• Extracting Decision Logic from Process Models

  2015cited by this paper
• Using model checking to control the structural errors in BPMN models

  2013cited by this paper
• Soundness of workflow nets: classification, decidability, and analysis

  2011cited by this paper
• The Decision Model: A Business Logic Framework Linking Business and Technology

  2009cited by this paper
• Semantics and analysis of business process models in BPMN

  2008cited by this paper
• Consistency between executable and abstract processes

  2005cited by this paper
• On Compatibility of Web Services

  2003cited by this paper
• Relaxed Soundness of Business Processes

  2001cited by this paper
• The Application of Petri Nets to Workflow Management

  1998cited by this paper
• Verification of Workflow Nets

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

  1995cited by this paper
• Developments in decision tables: evolution, applications and a proposed standard

  1992cited by this paper
• Proof of Correctness of Decision Table Programs

  1984cited by this paper
• Use of decision tables in computer programming

  1965cited by this paper

• SMT Techniques for Data-Aware Process Mining

  2025cites this paper
• Data-aware process models: From soundness checking to repair

  2024cites this paper
• Repairing Soundness Properties in Data-Aware Processes

  2023cites this paper
• AI-augmented Business Process Management Systems: A Research Manifesto

  2023cites this paper
• Petri net-based object-centric processes with read-only data

  2022cites this paper
• CTL* model checking for data-aware dynamic systems with arithmetic

  2022cites this paper
• Soundness of Data-Aware Processes with Arithmetic Conditions

  2022cites this paper
• AI-augmented Business Process Management Systems: A Research Manifesto

  2022cites this paper
• Integrating BPMN and DMN: Modeling and Analysis

  2021influential citation
• Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions

  2021cites this paper
• Probabilistic State Space Analysis for Inconsistency Measurement in Business Processes

  2021influential citation
• Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors

  2020cites this paper
• Decision model change patterns for dynamic system evolution

  2020cites this paper
• Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

  2020cites this paper
• Putting Decisions in Perspective

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

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

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

  2018cites this paper
• Compliance Checking for Decision-Aware Process Models

  2018cites this paper
• Conceptual Modeling

  2018influential citation
• Redesigning Processes for Decision-Awareness: Strategies for Integrated Modelling

  2018cites this paper
• A Tool for the Uniqueification of DMN Decision Tables

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

  2018influential citation
• Disambiguation of DMN Decision Tables

  2018cites this paper