Transformation As Search
dc.contributor.author
hal.structure.identifier | DIDONET DEL FABRO, Marcos
|
dc.contributor.author
hal.structure.identifier | DE QUEIROZ SANTOS, Davi
|
dc.contributor.author
hal.structure.identifier | KLEINER, Mathias
|
dc.date.accessioned | 2013 |
dc.date.available | 2014 |
dc.date.issued | 2013 |
dc.date.submitted | 2013 |
dc.identifier.isbn | 978-3-642-39012-8 |
dc.identifier.issn | 0302-9743 |
dc.identifier.uri | http://hdl.handle.net/10985/7574 |
dc.description.abstract | 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. |
dc.language.iso | en |
dc.publisher | Springer |
dc.rights | Post-print |
dc.subject | Software Engineering |
dc.subject | Logics and Meanings of Programs |
dc.subject | Programming Languages, Compilers, Interpreters |
dc.subject | Computer Communication Networks |
dc.subject | Management of Computing and Information Systems |
dc.subject | Programming Techniques |
dc.title | Transformation As Search |
ensam.embargo.terms | 1 Year |
dc.identifier.doi | 10.1007/978-3-642-39013-5_5 |
dc.typdoc | Communication avec acte |
dc.localisation | Centre de Aix en Provence |
dc.subject.hal | Informatique: Intelligence artificielle |
ensam.audience | Internationale |
ensam.conference.title | 9th European Conference, ECMFA (2013; Montpellier; France) |
ensam.conference.date | 2013-07 |
ensam.country | France |
ensam.title.proceeding | Modelling Foundations and Applications - 9th European Conference, ECMFA 2013 |
ensam.page | 54-69 |
ensam.volume | 7949 |
hal.identifier | hal-00913957 |
hal.version | 1 |
hal.status | accept |