• 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.

A generic approach to model generation operations

Article dans une revue avec comité de lecture
Author
DIDONET DEL FABRO, Marcos
17003 ILOG SA [Gentilly]
95421 Laboratoire d'Informatique de Nantes Atlantique [LINA]
158836 Departamento de Informatica [Brésil]
202112 Universidade Federal do Parana [Curitiba] [UFPR]
ccKLEINER, Mathias
199402 Laboratoire des Sciences de l'Information et des Systèmes [LSIS]

URI
http://hdl.handle.net/10985/16740
Date
2018
Journal
Journal of Systems and Software

Abstract

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 by a model generation operation. This often comes with the advantage of being bidi- rectional and supporting increments. However, most part of model generation approaches do not target several operation kinds, but narrower scenarios by mapping the generation problem into solver specific problems. They are efficient, but often don’t have a supporting framework. In this paper, we present an approach and framework that allows to specify and to execute model operations that can be represented in terms of model generation operations. We first introduce a model search layer that can be used with different solvers. We illustrate this layer with a driving example implemented using Alloy/SAT solver. On top of this, we introduce a transformation layer, which specification are translated into the model search layer, independently from any solver. The solution is natively bidirectional, incremental and it is not restricted to one-and-one scenarios. The approach is illustrated by two use cases and with 3 different scenarios, backed by a full, extensible and free implementation.

Files in this item

Name:
LISPEN_JSS_2018_KLEINER.pdf
Size:
4.449Mb
Format:
PDF
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.

  • Transformation As Search 
    Communication avec acte
    DIDONET DEL FABRO, Marcos; DE QUEIROZ SANTOS, Davi; ccKLEINER, Mathias (Springer, 2013)
    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 ...
  • 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 ...
  • 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 ...
  • Performance evaluation of collaboration in the design process: Using interoperability measurement 
    Article dans une revue avec comité de lecture
    PIRAYESH NEGHAB, Amir; ccROUCOULES, Lionel; ccKLEINER, Mathias; ccETIENNE, Alain (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 ...
  • Model-based (Mechanical) Product Design 
    Communication avec acte
    IRAQI, Mehdi; ccROUCOULES, Lionel; ccKLEINER, Mathias (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, ...

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