Graph and model transformation tools for model migration

Rose, Louis M.; Herrmannsdoerfer, Markus; Mazanek, Steffen; Gorp, Pieter Van; Buchwald, Sebastian; Horn, Tassilo; Kalnina, Elina; Koch, Andreas; Lano, Kevin; Schätz, Bernhard; Wimmer, Manuel

doi:10.1007/s10270-012-0245-0

Cited by 36 publications

(24 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [57], the authors evaluate the correctness of different co-evolution approaches based on selected questions answered by the participants of the Transformation Tool Contest 2011. Each presented solution was considered the participants to speculate about its correctness w.r.t.…”

Section: Correctness Of Model Migrationsmentioning

confidence: 99%

Co-evolving meta-models and their instance models: A formal approach based on graph transformation

Mantz

Taentzer

Lamo

et al. 2015

Science of Computer Programming

View full text Add to dashboard Cite

Model-driven engineering focuses on models as primary artifacts of the software development process, which means programs are mainly generated by model-to-code transformations. In particular, modeling languages tailored to specific domains promise to increase the productivity of software developers and the quality of generated software. Modeling languages, however, evolve over time and therefore, existing models have to be migrated accordingly. The manual migration of models tends to be tedious and error-prone, therefore tools have been developed to (partly) automate this process. Nevertheless, the migration results may not always be well-defined. In this article, we provide a formal framework for model migration which is independent of specific modeling approaches. We treat modeling languages, formalized by metamodels, as well as models as graphs and consider their co-evolutions as coupled graph transformations. In the same line, we study the conditions under which model migrations are well-defined. Existing solutions to model migration are either handwritten or default solutions that can hardly be customized. Here, we introduce a high-level specification approach, called model migration schemes, that supports automation and customization. Starting from a meta-model evolution rule, a default migration scheme can be automatically deduced and customized.

show abstract

Section: Correctness Of Model Migrationsmentioning

confidence: 99%

Co-evolving meta-models and their instance models: A formal approach based on graph transformation

Mantz

Taentzer

Lamo

et al. 2015

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Over the last few years, the problem of metamodel evolution and model co-evolution has been investigated by several works like [4], [7][8][9], [12][13], [19][20][21]. Currently, there are several approaches that focus on resolving inconsistencies occurring in models after metamodel evolution [3], a classification of these model migration approaches is proposed in [3].…”

Section: Related Workmentioning

confidence: 99%

“…This classification highlights three ways to identify needed model updates: manually, based on operators, and by using metamodel matching. When manually approaches like in [19][20][21], updates are defined by hand. In operators based approaches, like [7], [13], metamodels changes are defined in terms of co-evolutionary operators [14].…”

Section: Related Workmentioning

confidence: 99%

“…Finally, in metamodel matching, like [4], [9], [12], versions of metamodels are compared and differences between them are used to semi-automatically infer a transformation that expresses models updates. Manual specification approach like Flock [21] is very expressive, concise, and correctness is also assured but finds difficulties with large metamodels since there is no tool support for analyzing the changes between original and evolved metamodels [22]. Operator based approaches like [13] ensure expressiveness, automaticity, and reuse [23], it was been perceived as strong in correctness, conciseness and understandability [22] but its lack is in determining which sequence of operations will produce a correct migration.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Hybrid Approach for Metamodel and Model Co-evolution

Anguel¹,

Amirat²,

Bounour³

2015

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

.Evolution is an inevitable aspect which affects metamodels. When metamodels evolve, model conformity may be broken. Model co-evolution is critical in model driven engineering to automatically adapt models to the newer versions of their metamodels. In this paper we discuss what can be done to transfer models between versions of a metamodel. For this purpose we introduce hybrid approach for model and metamodel co-evolution, that first uses matching between two metamodels to discover changes and then applied evolution operators to migrate models. In this proposal, migration of models is done automatically; except, for non resolvable changes, where assistance is proposed to the users in order to co-evolve their models to regain conformity.

show abstract

“…Since most of the processes and aspects can be formalized and represented as a model -they are commonly used for their commodity. To obtain a certain output from different type of models is vital for MDE and a variety of solutions has been proposed by the research community, spanning from experimental approaches [2] to frameworks [3]. Model transformation is a very actual problem in practice as well as research as new types of models appear and more accuracy is needed.…”

Section: Introductionmentioning

confidence: 99%

Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security

Janulevičius

Ramanauskaitė

Goranin

et al. 2016

INT J COMPUT COMMUN

View full text Add to dashboard Cite

Model-Driven Engineering uses models in various stages of the software engineering. To reduce the cost of modelling and production, models are reused by transforming. Therefore the accuracy of model transformations plays a key role in ensuring the quality of the process. However, problems exist when trying to transform a very abstract and content dependent model. This paper describes the issues arising from such transformations. Solutions to solve problems in content based model transformation are proposed as well. The usage of proposed solutions allowing realization of semi-automatic transformations was integrated into a tool, designed for OPC/XML drawing file transformations to CySeMoL models. The accuracy of transformations in this tool has been analyzed and presented in this paper to acquire data on the proposed solutions influence to the accuracy in content based model transformation.

show abstract

Graph and model transformation tools for model migration

Cited by 36 publications

References 46 publications

Co-evolving meta-models and their instance models: A formal approach based on graph transformation

Co-evolving meta-models and their instance models: A formal approach based on graph transformation

Hybrid Approach for Metamodel and Model Co-evolution

Content Based Model Transformations: Solutions to Existing Issues with Application in Information Security

Contact Info

Product

Resources

About