A generic approach to model generation operations
Article dans une revue avec comité de lecture
JournalJournal of Systems and Software
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
Showing items related by title, author, creator and subject.
Article dans une revue avec comité de lectureKLEINER, Mathias; DIDONET DEL FABRO, Marcos (Elsevier BV, 2018-08)Model generation operations are important artifacts in MDE applications. These approaches can be used for model veriﬁcation, model ﬁnding, and others. In many scenarios, model transformations can as well be represented ...
Communication avec acteKLEINER, Mathias; DIDONET DEL FABRO, Marcos; DE QUEIROZ SANTOS, Davi (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 ...
Communication avec acteIRAQI-HOUSSAINI, Mehdi; KLEINER, Mathias; ROUCOULES, Lionel (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 ...
Article dans une revue avec comité de lectureHU, Hao; KLEINER, Mathias; PERNOT, Jean-Philippe (Elsevier, 2017)This paper proposes an original decision-support approach to address over-constrained geometric configurations in Computer-Aided Design. It focuses particularly on the detection and resolution of redundant and conflicting ...
Article dans une revue avec comité de lectureHU, Hao; KLEINER, Mathias; PERNOT, Jean-Philippe; ZHANG, Chao; HUANG, Yanjia; ZHAO, Qian; YEUNG, Sunny (Springer Science and Business Media LLC, 2021-05-11)Currently, geometric over-constraints detection is of major interest in several diferent felds. In terms of product development process (PDP), many approaches exist to compare and detect geometric over-constraints, to ...