Leveraging Relational Technology for Data-Centric Dynamic Systems

  title={Leveraging Relational Technology for Data-Centric Dynamic Systems},
  author={Diego Calvanese and Marco Montali and Fabio Patrizi and Andrey Rivkin},
We base our work on a model called data-centric dynamic system (DCDS), which can be seen as a framework for modeling and verification of systems where both the process controlling the dynamics and the manipulation of data are equally central. More specifically, a DCDS consists of a data layer and a process layer, interacting as follows: the data layer stores all the data of interest in a relational database, and the process layer modifies and evolves such data by executing actions under the… CONTINUE READING