Transformation As Search

Mathias Kleiner (1) , Marcos Didonet del Fabro (2) , Davi de Queiroz Santos (2)

1 LSIS- INSM - Laboratoire des Sciences de l'Information et des Systèmes : Ingénierie Numérique des Systèmes Mécaniques
2 Departamento de Informatica [Brésil]

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.

Mots clés: Software Engineering; Logics and Meanings of Programs; Programming Languages; Compilers; Interpreters; Computer Communication Networks; Management of Computing and Information Systems; Programming Techniques

Domaines: Intelligence artificielle [cs.AI]

Mathias Kleiner, Marcos Didonet del Fabro, Davi de Queiroz Santos. Transformation As Search. 9th European Conference, ECMFA (2013; Montpellier; France), Jul 2013, France. pp.54-69, ⟨10.1007/978-3-642-39013-5_5⟩. ⟨hal-00913957⟩