A promising approach to managing business operations is based on business entities with
lifecycles (BEL's)(aka business artifacts), ie, key conceptual entities that are central to …

A promising approach to managing business operations is based on business artifacts, aka
business entities (with lifecycles). These are key conceptual entities that are central to …

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 …

Business artifacts (or simply, artifacts) are used to model conceptual entities that are central
to guiding the operations of a business, and whose content changes as they move through …

Combined modeling and verification of dynamic systems and the data they operate on has
gained momentum in AI and in several application domains. We investigate the expressive …

Traditional approaches to Business Process Management (BPM) focus primarily on the
process aspects, and treat the persistent data accessed and manipulated by the business …

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

In the context of verification of data-aware processes, a formal approach based on
satisfiability modulo theories (SMT) has been considered to verify parameterised safety …

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 …