The modern object-oriented programming languages are based on the abstract data types that join together data model and its dynamic behavior. If this synthesis has many advantages in terms of description of individuals, some problems arise in the analysis of non-trivial global behavior generated by a set of heterogeneous data. As an example, we can think to adding a new module to a real time system with many variables — operation that can produce unexpected behaviors of the global system. In this work we propose a minimum set (core) of instructions required to specify robust programs and support the analysis of components for which the static data model is separated from the dynamic part‘ This separation allows to write and test programs in an easy and incremental way. The data model makes use of the first order logic, while the dynamic component is expressed as a set of ECA Rules. This novel approach on the one hand allows the programming of real time systems characterized by small data models and for which the termination and the consistency of all possible configurations are ensured. On the other it supports the use of data models that might be partially or dynamically defined.

A reactive constrained programming language on supervisioned data

CULMONE, Rosario
2012-01-01

Abstract

The modern object-oriented programming languages are based on the abstract data types that join together data model and its dynamic behavior. If this synthesis has many advantages in terms of description of individuals, some problems arise in the analysis of non-trivial global behavior generated by a set of heterogeneous data. As an example, we can think to adding a new module to a real time system with many variables — operation that can produce unexpected behaviors of the global system. In this work we propose a minimum set (core) of instructions required to specify robust programs and support the analysis of components for which the static data model is separated from the dynamic part‘ This separation allows to write and test programs in an easy and incremental way. The data model makes use of the first order logic, while the dynamic component is expressed as a set of ECA Rules. This novel approach on the one hand allows the programming of real time systems characterized by small data models and for which the termination and the consistency of all possible configurations are ensured. On the other it supports the use of data models that might be partially or dynamically defined.
2012
9788890736308
275
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/11581/335783
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact