The first level (infrastructure engineering) is concerned with the following: the definition of the development process and guidelines, the definition of a domain-specific modeling language, the specification of the model transformations, and the development of a tool suite.
In this paper we propose a reactive paradigm for programming model transformations, and we implement a reactive model-transformation engine.
Model-driven development is mainly based on model transformations and automatic code generation.
Both model transformations and and estimation for cross terms are avoided.
The design flow in Gaspard2 follows several steps: system modeling and deployment, model transformations and code generation.
This paper describes our technique, discusses consistency of model transformations and reports on its application to a non-trivial model transformation from access control models to Java security.
The proposed approach is classified under heterogeneous, graph-based and out-place model transformations; and illustrated by applying it to a language translation.
To implement this integration, we used the same MDE tools as Gaspard2, namely, Papyrus [40] for graphical modeling, QVTO [36] for model transformations, and Acceleo [37] for code generation.
Using model transformations and the SPEU tool, analytical estimates can be obtained using the cost specified in the models such as the costs associated with the services of a processor.
Both model transformation and cross terms bounding techniques are avoided in the derivations.
