Show simple item record

dc.contributor.authorCalvanese D
dc.contributor.authorMontali M
dc.contributor.authorPatrizi F
dc.contributor.authorRivkin A
dc.contributor.editorLembo D
dc.description.abstractWe 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 control of a process, and possibly injecting into the system external data retrieved through service calls. In this work, we propose an implementation of DCDSs in which all aspects concerning not only the data layer but also the process layer, are realized by means of functionalities provided by a relational DBMS. We present the architecture of our prototype system, describe its functionality, and discuss the next steps we intend to take towards realizing a full-fledged DCDS-based system that supports verification of rich temporal properties.en_US
dc.titleLeveraging Relational Technology for Data-Centric Dynamic Systemsen_US
dc.typeBook chapteren_US
dc.publication.title23rd Italian Symposium on Advanced Database Systems (SEBD 2015): Gaeta, Italy, 14 - 17 June 2015

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record