Data-centric dynamic systems are systems where both the process controlling the dynamics
and the manipulation of data are equally central. We study verification of (first-order) mu …

In this work we survey the research on foundations of data-aware (business) processes that
has been carried out in the database theory community. We show that this community has …

Abstract Description logic Knowledge and Action Bases (KAB) are a mechanism for
providing both a semantically rich representation of the information on the domain of interest …

We address the problem of model checking first-order dynamic systems where new objects
can be injected in the active domain during execution. Notable examples are systems …

Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been
successfully deployed in practice, adopted in industrial standards, and have spawned a rich …

We consider μ L, μ L a, and μ L p, three variants of the first-order μ-calculus studied in
verification of data-aware processes, that differ in the form of quantification on objects across …

The need to extend business process languages with the capability to model complex data
objects along with the control flow perspective has lead to significant practical and …

We present an overview of results on verification of temporal properties of infinite-state
transition systems arising from processes that carry and manipulate unbounded data. The …

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 …

Artifact systems are a novel paradigm for specifying and implementing business processes
described in terms of interacting modules called artifacts. Artifacts consist of data and …