Contribution To Specification Of Model Transformations

Résumé: In the last decade, Model Driven Engineering (MDE) has experienced rapid growth in the software development community. The proposed techniques in the MDE context generally target metamodeling and model transformation activities. These activities are the important components of the development process where the system to be modeled is defined by a set of models that will be translated into other models or source code. Thus, model transformations aim to facilitate the production of computer applications by automating the transition between development process steps. Writing model transformations requires mastering languages and tools, but more importantly the semantic equivalence between the involved input and output metamodels. This knowledge is in general difficult to acquire, which makes transformation writing complex, time-consuming, and error-prone. In this manuscript, we propose a new model transformation by example approaches to facilitate model transfor-mations, using Matching Algorithm, Formal Concept Analysis and Statis-tical Machine Translation (SMT). In the First approach, the transformation rules are calculated semi-automatically by using a matching algorithm on elements of source and target metamodels. The second approach defines abstract transformation rules semi-automatically by using the matching technique and the formal concepts analysis. These latter are used to pro-duce a source code written in ATL or QVT-op language. This idea is validated by different transformation examples. Our third approach exploits the power of SMT by converting models in natural language texts and by processing them using models trained with IBM1 or IBM2 model. Consequently, there is no need to write specific transformations. The proposed transformation process is evaluated using various transformation case studies with different degrees of complexity.

Publié dans la revue: