• français
    • English
    français
  • Login
Help
View Item 
  •   Home
  • Laboratoire d’Ingénierie des Systèmes Physiques Et Numériques (LISPEN)
  • View Item
  • Home
  • Laboratoire d’Ingénierie des Systèmes Physiques Et Numériques (LISPEN)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Transformation As Search

Communication avec acte
Author
DIDONET DEL FABRO, Marcos
158836 Departamento de Informatica [Brésil]
DE QUEIROZ SANTOS, Davi
158836 Departamento de Informatica [Brésil]
ccKLEINER, Mathias
178374 Laboratoire des Sciences de l'Information et des Systèmes : Ingénierie Numérique des Systèmes Mécaniques [LSIS- INSM]

URI
http://hdl.handle.net/10985/7574
DOI
10.1007/978-3-642-39013-5_5
Date
2013

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.

Files in this item

Name:
LSIS-INSM_20138_KLEINER.pdf
Size:
991.0Kb
Format:
PDF
Embargoed until:
2014-12-05
View/Open

Collections

  • Laboratoire d’Ingénierie des Systèmes Physiques Et Numériques (LISPEN)

Related items

Showing items related by title, author, creator and subject.

  • A generic approach to model generation operations 
    Article dans une revue avec comité de lecture
    DIDONET DEL FABRO, Marcos; ccKLEINER, Mathias (The Journal of Systems and Software, 2018)
    Model 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 ...
  • A generic approach to model generation operations 
    Article dans une revue avec comité de lecture
    DIDONET DEL FABRO, Marcos; ccKLEINER, Mathias (Elsevier BV, 2018-08)
    Model 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 ...
  • Influence of Mechanical Surface Treatment on High-Temperature Oxidation of Pure Titanium 
    Article dans une revue avec comité de lecture
    KANJER, 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 ...
  • Influence of Mechanical Surface Treatment on High-Temperature Oxidation of Pure Titanium 
    Article dans une revue avec comité de lecture
    KANJER, 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 ...
  • Tools interoperability in engineering design using Model-Based Engineering 
    Communication avec acte
    IRAQI-HOUSSAINI, Mehdi; ccROUCOULES, Lionel; ccKLEINER, Mathias (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 ...

Browse

All SAMCommunities & CollectionsAuthorsIssue DateCenter / InstitutionThis CollectionAuthorsIssue DateCenter / Institution

Newsletter

Latest newsletterPrevious newsletters

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors

ÉCOLE NATIONALE SUPERIEURE D'ARTS ET METIERS

  • Contact
  • Mentions légales

ÉCOLE NATIONALE SUPERIEURE D'ARTS ET METIERS

  • Contact
  • Mentions légales