During the last decade, various approaches have been put forward to integrate business
processes with different types of data. Each of these approaches reflects specific demands …

Existing process modeling notations ranging from Petri nets to BPMN have difficulties
capturing the data manipulated by processes. Process models often focus on the control …

In recent times, satisfiability modulo theories (SMT) techniques gained increasing attention
and obtained remarkable success in model-checking infinite-state systems. Still, we believe …

We propose DAB–a data-aware extension of BPMN where the process operates over case
and persistent data (partitioned into a read-only database called catalog and a read-write …

Uniform interpolants were largely studied in non-classical propositional logics since the
nineties, and their connection to model completeness was pointed out in the literature. A …

The need to model and analyse dynamic systems operating over complex data is ubiquitous
in AI and neighboring areas, in particular business process management. Analysing such …

Uniform interpolants have been largely studied in non-classical propositional logics since
the nineties; a successive research line within the automated reasoning community …

We briefly introduce the line of research on the verification of data-aware processes, with the
intention of raising more awareness of it within the automated reasoning community. On the …

Verification of Data-Aware Processes via Satisfiability Modulo Theories Page 1 123 LNBIP 470
Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola …

Uniform interpolants were largely studied in non-classical propositional logics since the
nineties, and their connection to model completeness was pointed out in the literature. A …