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 …

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 the context of verification of data-aware processes, a formal approach based on
satisfiability modulo theories (SMT) has been considered to verify parameterised safety …

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

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 model and analyse dynamic systems operating over complex data is ubiquitous
in AI and neighboring areas, in particular business process management. Analysing such …

Logical AI is concerned with formal languages to represent and reason with qualitative
specifications; statistical AI is concerned with learning quantitative specifications from data …

Probabilistic model checking (PMC) is a well-established method for the quantitative
analysis of dynamic systems. Description logics (DLs) provide a well-suited formalism to …

Knowledge Representation and Reasoning is a central, longstanding, and active area of
Artificial Intelligence. Over the years it has evolved significantly; more recently it has been …