A reactive constrained programming language on supervisioned data

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.