A generic approach to model generation operations
Article dans une revue avec comité de lecture
Résumé
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 bidirectional 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.
Fichier(s) constituant cette publication
Cette publication figure dans le(s) laboratoire(s) suivant(s)
Documents liés
Visualiser des documents liés par titre, auteur, créateur et sujet.
-
Communication avec acteIn 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 ...
-
Article dans une revue avec comité de lectureModel 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 ...
-
Communication avec acteMechanical 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, ...
-
Article dans une revue avec comité de lectureIndustrial monitoring environments have evolved from single monolithic systems to widely distributed heterogeneous systems. These include the Internet of Things (IoT), Industrial IoT, Cyber-Physical Systems, and Enterprise ...
-
Article dans une revue avec comité de lectureDepuis 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 ...