Transformation As Search
TypeCommunications avec actes
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)
Visualiser des documents liés par titre, auteur, créateur et sujet.
IRAQI, Mehdi; KLEINER, Mathias; ROUCOULES, Lionel (Springer Verlag, 2011)Mechanical product engineering is a research and industrial activity which studies the design of complex mechanical systems. The process, which involves the collaboration of various experts using domain-specific software, ...
NORTON, Barry; PEDRINACI, Carlos; HENOCQUE, Laurent; KLEINER, Mathias (SIWN, 2008)There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition ...
IRAQI-HOUSSAINI, Mehdi; KLEINER, Mathias; ROUCOULES, Lionel (2012)Depuis 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 ...
PIRAYESH NEGHAB, Amir; ETIENNE, Alain; KLEINER, Mathias; ROUCOULES, Lionel (Elsevier, 2015)A design process, whether for a product or for a service, is composed of a large number of activities connected by data and information exchanges. The quality of these exchanges, called in this paper collaboration, requires ...
HU, Hao; KLEINER, Mathias; PERNOT, Jean-Philippe (2016)Today, designers use CAD modelers to define and modify NURBS surfaces involved in the design of complex shapes like car bodies or turbine blades. The generated shapes often result from the use of variational modeling ...