The increasing importance of data in business processes has led to the emergence of data-
centric business process management, which deviates from the widely used activity-centric …

Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

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 …

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 …

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 …

Runtime monitoring is one of the central tasks to provide operational decision support to
running business processes, and check on-the-fly whether they comply with constraints and …

The integrated management of business processes and master data is being increasingly
considered as a fundamental problem, by both the academia and the industry. In this …

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 …

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 …

Modeling and verification of dynamic systems operating over a relational representation of
states are increasingly investigated problems in AI, Business Process Management and …