Search

Now showing items 1-3 of 3

Verification of relational data-centric dynamic systems with external services

Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (ACM Press and Addison Wesley, 2013)
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) μ-calculus variants over relational data-centric ...
Verification of human-driven data-centric dynamic systems

Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (AAAI Press, 2014)
We study the foundations of human driven, data-aware business processes, by leveraging on the recently proposed framework of Data-Centric Dynamic Systems (DCDSs). The processes we consider simultaneously capture the ...
State-Boundedness in Data-Aware Dynamic Systems

Bagheri Hariri B; Calvanese D; Deutsch A; Montali M (AAAI Press, 2014)
Verification of dynamic systems that manipulate data, stored in a database or ontology, has lately received increasing attention. A plethora of recent works has shown that verification of systems working over unboundedly ...