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.date.accessioned2017-11-20T14:44:41Z
dc.date.available2017-11-20T14:44:41Z
dc.date.issued2015
dc.identifier.isbn978-151081087-7
dc.identifier.urihttp://hdl.handle.net/10863/4031
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.language.isoenen_US
dc.publisherCurranen_US
dc.rights
dc.titleLeveraging Relational Technology for Data-Centric Dynamic Systemsen_US
dc.typeBook chapteren_US
dc.date.updated2017-07-31T10:21:14Z
dc.publication.title23rd Italian Symposium on Advanced Database Systems (SEBD 2015): Gaeta, Italy, 14 - 17 June 2015
dc.language.isiEN-GB
dc.description.fulltextnoneen_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record