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.
Files in this item
Showing items related by title, author, creator and subject.
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 ...
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 ...
IRAQI HOUSSAINI, Mehdi; KLEINER, Mathias; ROUCOULES, Lionel (2012)Computer-aided engineering is widely used in various areas including manufacturing, requirement planning and product design. These specific CAE tools, here called expert tools, manipulate large amounts of ...