We base our work on a model called data-centric dynamic system (DCDS) [1], 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, 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.

Implementing data-centric dynamic systems over a relational DBMS / Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Rivkin, Andrey. - STAMPA. - 1378:(2015), pp. 209-212. (Intervento presentato al convegno 9th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2015 tenutosi a Lima; Peru nel 06-08 May 2015).

Implementing data-centric dynamic systems over a relational DBMS

PATRIZI, FABIO
Co-primo
Writing – Original Draft Preparation
;
2015

Abstract

We base our work on a model called data-centric dynamic system (DCDS) [1], 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, 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.
2015
9th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2015
DCDS; verfication; relational databases
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Implementing data-centric dynamic systems over a relational DBMS / Calvanese, Diego; Montali, Marco; Patrizi, Fabio; Rivkin, Andrey. - STAMPA. - 1378:(2015), pp. 209-212. (Intervento presentato al convegno 9th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2015 tenutosi a Lima; Peru nel 06-08 May 2015).
File allegati a questo prodotto
File Dimensione Formato  
Calvanese_Implementing_2015.pdf

accesso aperto

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Creative commons
Dimensione 708.18 kB
Formato Adobe PDF
708.18 kB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/951436
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact