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

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