Abstract:Abstract The operational backbone of modern organizations is the target of business process management, where business process models are produced to describe how the organization should react to events and coordinate the execution of activities so as to satisfy its business goals. At the same time, operational decisions are made by considering internal and external contextual factors, according to decision models that are typically based on declarative, rule-based specifications that describe how input configurations correspond to output results. The increasing importance and maturity of these two intertwined dimensions, those of processes and decisions, have led to a wide range of data-aware models and associated methodologies, such as BPMN for processes and DMN for operational decisions. While it is important to analyze these two aspects independently, it has been pointed out by several authors that it is also crucial to analyze them in combination. In this paper, we provide a native, formal definition of DBPMN models, namely data-aware and decision-aware processes that build on BPMN and DMN S-FEEL, illustrating their use and giving their formal execution semantics via an encoding into Data Petri nets (DPNs). By exploiting this encoding, we then build on previous work in which we lifted the classical notion of soundness of processes to this richer, data-aware setting, and show how the abstraction and verification techniques that were devised for DPNs can be directly used for DBPMN models. This paves the way towards even richer forms of analysis, beyond that of assessing soundness, that are based on the same technique.

Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning

Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning

Semantic DMN: Formalizing Decision Models with Domain Knowledge

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge

Product Knowledge Reasoning

AI-Enhanced Hybrid Decision Management

Issues in Representing Domain-Specific Concerns in Model-Driven Engineering

Semantics and Analysis of DMN Decision Tables

Compiling CP subproblems to MDDs and d-DNNFs

Multi-Object Reasoning with Constrained Goal Models

Integrating BPMN and DMN: Modeling and Analysis

D4C Glove-train: Solving the RPM and Bongard-logo Problem by Circumscribing and Building Distribution for Concepts

Beyond LLMs: Advancing the Landscape of Complex Reasoning

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs

Dynamic Decision Process Modeling and Relation-line Handling in Distributed Cooperative Modeling System

DDCoT: Duty-Distinct Chain-of-Thought Prompting for Multimodal Reasoning in Language Models

Learning to Learn in Interactive Constraint Acquisition

CaDA: Cross-Problem Routing Solver with Constraint-Aware Dual-Attention

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases

MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks

Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco