139 research outputs found
Typing in Model Management
International audienceModel management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in MDE-based projects. Global Model Management (GMM) addresses this issue enabling the representation of artifacts, particularly transformation composition and execution, by a model called a megamodel. Typing information about artifacts can be used for preventing type errors during execution. In this work, we present a type system for GMM that improves its current typing approach and enables formal reasoning about the type of artifacts within a megamodel. This type system is able to capture non-trivial situations such as the use of higher order transformations
Model transformations in practice workshop.
Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical model transformation issues. Although many different model transformation approaches have been proposed and explored in recent years, there has been little work on comparing and contrasting various approaches. Without such comparisons, it is hard to assess new model transformation approaches such as the upcoming OMG MOF/QVT recommendation, or to discern sensible future paths for the area. Our aims with the workshop were to create a forum that would help lead to an increased understanding of the relative merits of different model transformation techniques and approaches. A more advanced understanding of such merits is of considerable benefit to both the model transformation and wider modelling communities
Automatically Discovering Hidden Transformation Chaining Constraints
Model transformations operate on models conforming to precisely defined
metamodels. Consequently, it often seems relatively easy to chain them: the
output of a transformation may be given as input to a second one if metamodels
match. However, this simple rule has some obvious limitations. For instance, a
transformation may only use a subset of a metamodel. Therefore, chaining
transformations appropriately requires more information. We present here an
approach that automatically discovers more detailed information about actual
chaining constraints by statically analyzing transformations. The objective is
to provide developers who decide to chain transformations with more data on
which to base their choices. This approach has been successfully applied to the
case of a library of endogenous transformations. They all have the same source
and target metamodel but have some hidden chaining constraints. In such a case,
the simple metamodel matching rule given above does not provide any useful
information
From Functional Analysis to CAD Modelling Based on Knowledge Transformation Driven by the Design Process
Part 5: Modelling for PLMInternational audienceMost of industries currently spend too much time to find information on past product design process. This considerably reduces the time it can devote to innovation. The authors assume that the design process meta-model seems very interesting for modelling the design rational and then for accelerating information retrieval. Indeed, the model of the design process partly supports every resources involved in decision making activities (i.e. who, what, when, why, where, how). The authors therefore propose the use of a MBE architecture for driving the product modelling based on the design process model. The UML activity diagrams and the IDEFĂ meta-model are linked for supporting automatic generation ofproduct models using specific transformation knowledge. The CAD model is partly generated from the product functional analysis
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages
Enabling the Reuse of Stored Model Transformations Through Annotations
International audienceWith the increasing adoption of MDE, model transformations , one of its core concepts together with metamodeling, stand out as a valuable asset. Therefore, a mechanism to annotate and store existing model transformations appears as a critical need for their efficient exploitation and reuse. Unfortunately, although several reuse mechanisms have been proposed for software artifacts in general and models in particular , none of them is specially tailored to the domain of model transformations. In order to fill this gap, we present here such a mechanism. Our approach is composed by two elements 1) a new DSL specially conceived for describing model transformations in terms of their functional and non-functional properties 2) a semi-automatic process for annotating and querying (repositories of) model transformations using as criteria the properties of our DSL. We validate the feasibility of our approach through a prototype implementation that integrates our approach in a GitHub repository
Operational framework based on modeling languages to support product repository implementation.
Part 3: Tools and MethodologiesInternational audienceEmbracing Product Lifecycle Management approach involves integrating a product repository in the company information system. From customer's needs to disposal stage, several product representations exist. The product repository purpose is to secure consistency of one product representation with the others. This paper presents an operational modeling framework that supports product repository implementation. In order to ensure consistency, this framework identifies correspondences between entities of languages (âtradeâ languages and standard languages). The presented concepts are illustrated with correspondences between language entities of product designed and productplanned to be built Bills of Materials
- âŠ