Transformation As Search
Communication avec acte
Résumé
In model-driven engineering, model transformations are con- sidered a key element to generate and maintain consistency between re- lated models. Rule-based approaches have become a mature technology and are widely used in different application domains. However, in var- ious scenarios, these solutions still suffer from a number of limitations that stem from their injective and deterministic nature. This article pro- poses an original approach, based on non-deterministic constraint-based search engines, to define and execute bidirectional model transforma- tions and synchronizations from single specifications. Since these solely rely on basic existing modeling concepts, it does not require the intro- duction of a dedicated language. We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software engineering.
Fichier(s) constituant cette publication
Cette publication figure dans le(s) laboratoire(s) suivant(s)
Documents liés
Visualiser des documents liés par titre, auteur, créateur et sujet.
-
Article dans une revue avec comité de lectureModel generation operations are important artifacts in MDE applications. These approaches can be used for model verification, model finding, and others. In many scenarios, model transformations can as well be represented ...
-
Article dans une revue avec comité de lectureModel generation operations are important artifacts in MDE applications. These approaches can be used for model verification, model finding, and others. In many scenarios, model transformations can as well be represented ...
-
Article dans une revue avec comité de lectureKANJER, Armand; OPTASANU, Virgil; LAVISSE, Luc; MARCO DE LUCAS, Maria Del Carmen; DEJARDIN, Steeve; FRANÇOIS, Manuel; BERGER, Pascal D.; PEYRE, Patrice; GORNY, Cyril; MONTÉSIN, Tony (Springer Verlag, 2017)The excellent combination of light-weight and good mechanical properties makes titanium alloys attractive for compressor section components in gas turbine engines (temperature between 250 and 600 °C). However, above 600 ...
-
Article dans une revue avec comité de lectureKANJER, Armand; OPTASANU, Virgil; LAVISSE, Luc; MARCO DE LUCAS, María Del Carmen; DEJARDIN, Steeve; FRANÇOIS, Manuel; BERGER, Pascal; PEYRE, Patrice; GORNY, Cyril; MONTÉSIN, Tony (Springer Verlag, 2017)The excellent combination of light-weight and good mechanical properties makes titanium alloys attractive for compressor section components in gas turbine engines (temperature between 250 and 600 °C). However, above 600 ...
-
Article dans une revue avec comité de lectureDepuis plusieurs années les processus de conception de produit ont évolué, la maîtrise de l’information est devenue un verrou majeur à contrôler pour une collaboration efficace. Afin de favoriser cette collaboration, il ...