Authors:
Van Cam Pham
;
Ansgar Radermacher
;
Sébastien Gérard
and
Florian Noyrit
Affiliation:
CEA, France
Keyword(s):
Code Generation, Change Rules, Incremental, Model Transformation, Model Driven Engineering, EMFIncQuery, AST.
Related
Ontology
Subjects/Areas/Topics:
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model Transformation
;
Model Transformations and Generative Approaches
;
Model-Driven Architecture
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
Model driven engineering allows many stakeholders to contribute their expertise to the system description. Incremental model transformations (IMT) are used to synchronize different artifacts contributed by the stakeholders. IMTs detect changes on the source model and execute change rules to propagate updates to the target model. However, the execution of change rules is not straightforward. A rule is only correctly executed if its precondition is satisfied at execution time. The precondition checks the availability of certain source and target elements involved in the rule. If a rule is executed at the time the involved elements are not appeared in the source and target models, either the execution is blocked or stopped. Therefore, the produced target model becomes incorrect. This paper presents two approaches to the scheduling of change rule execution in incremental model transformations. These approaches are also applied to the case of models and code synchronization and implemente
d in a tool named IncRoundtrip that transforms and generates code for distributed systems. We also compare the runtime execution performance of different incremental approaches with batch transformation and evaluate their correctness.
(More)