In recent years, a plethora of foundational results and corresponding techniques and tools
has been developed to support the modeling, analysis, execution and improvement of …

We propose a formalism to model database-driven systems, called database manipulating
systems (DMS). The actions of a (DMS) modify the current instance of a relational database …

We introduce parameterised data-aware multiagent systems, a formalism to reason about
the temporal properties of arbitrarily large collections of homogeneous agents, each …

Declarative, data-aware workflow models are becoming increasingly pervasive. While these
have numerous benefits, classical process-centric specifications retain certain advantages …

A formal model called database manipulating systems was introduced to model data-aware
dynamic systems. Its semantics is given by an infinite labelled transition systems where a …

Abstract Declarative Distributed Systems (DDSs) are a model of distributed computation
grounded in declarative, logic programming. A DDS consists of a finite network of computing …

We propose a formalism to model database-driven systems, called database manipulating
systems (DMS). The actions of a DMS modify the current instance of a relational database by …

In recent years the area of knowledge representation and reasoning (KR&R) has witnessed
a growing interest in the modelling and analysis of data-driven/data-centric systems. These …