Technological Spaces: An Initial Appraisal

In this paper, we propose a high level view of technological spaces (TS) and relations among these spaces. A technological space is a working context with a set of associated concepts, body of knowledge, tools, required skills, and possibilities. It is often associated to a given user community with shared know-how, educational support, common literature and even workshop and conference regular meetings. Although it is difficult to give a precise definition, some TSs can be easily identified, e.g. the XML TS, the DBMS TS, the abstract syntax TS, the meta-model (OMG/MDA) TS, etc. The purpose of our work is not to define an abstract theory of technological spaces, but to figure out how to work more efficiently by using the best possibilities of each technology. To do so, we need a basic understanding of the similarities and differences between various TSs, and also of the possible operational bridges that will allow transferring the results obtained in one TS to other TS. We hope that the presented industrial vision may help us putting forward the idea that there could be more cooperation than competition among alternative technologies. Furthermore, as the spectrum of such available technologies is rapidly broadening, the necessity to offer clear guidelines when choosing practical solutions to engineering problems is becoming a must, not only for teachers but for project leaders as well

Combiner Contraintes et Modèles pour le Traitement de Langage Contrôlé

International audienceNon disponibl

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

A Domain Specific Language for Expressing Model Matching

National audienceA matching strategy computes mappings between two models by executing a set of heuristics. In this paper, we introduce the AtlanMod Matching Language (AML), a Domain Specific Language (DSL) for expressing matching strategies. AML is based on the Model-Driven paradigm, i.e., it implements model matching strategies as chains of model transformations. A matching model transformation takes a set of models as input, and yields a mapping model as output. We present a compiler that takes AML programs and generates ATL (AtlanMod Transformation Language) and Apache Ant code. The ATL code instruments the matching model transformations, and the Ant code orchestrates their execution. We evaluate this implementation on two strategies including robust matching transformations from the literature

Measuring Model Repositories

International audienceWe first present a model repository that has been built as part of the open source Eclipse GMT/AM3 project (Generative Modeling Technology/ATLAS MegaModel Management). Several contributed artifacts present in this repository are organized into sets of models of similar nature called zoos. The structure of the repository will be rapidly described. Its content is very rapidly extending, providing a publicly available source of experimental data to evaluate real life sets of model engineering artifacts. As an initial experiment, this paper shows how the elements contained in the AM3 zoos can be measured. Some examples of such measurements are provided for illustration purposes

Adaptation of Models to Evolving Metamodels

The problem of automatic or semi-automatic adaptation of models to their evolving metamodels is gaining importance in the Model-Driven community. Recent approaches propose to adapt models using predefined information (i.e., a trace of changes). Unfortunately, this information is not always available in practice. In many situations metamodels evolve without keeping track of the applied changes. We propose a more general two step solution. First step computes equivalences and differences between the metamodels and saves these into a ``weaving model''. This weaving model acts as a high-level specification of adaptation transformation. Second step translates this model into an executable transformation. This technical report shows the results obtained in applying the approach on two concrete scenarios: a Petri net metamodel, and the Netbeans Java metamodel