Consistency-preserving edit scripts in model versioning

Kehrer, Timo; Kelter, Udo; Taentzer, Gabriele

doi:10.1109/ase.2013.6693079

Cited by 56 publications

(14 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While we do not consider the recognition of evolution steps here (as done in [17]), we assume evolution rules to be given and concentrate on well-defined co-evolution steps.…”

Section: Meta-model Evolution and Model Migration: State-of-the-artmentioning

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

Self Cite

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

“…While we do not consider the recognition of evolution steps here (as done in [17]), we assume evolution rules to be given and concentrate on well-defined co-evolution steps.…”

Section: Meta-model Evolution and Model Migration: State-of-the-artmentioning

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

Self Cite

View full text Add to dashboard Cite

show abstract

“…In MDE everything is a model, a model conforms to another model and model transformations takes models and produces models. Models are human concepts that explain systems in the real world, they are simply outcomes from abstractions, which means all domain specific modeling languages under MDE could provide domain experts some level of consciousness of an abstract model before bringing it forth through transformations in the modeling system internal mechanisms and logic [9].…”

Section: Models and Model Driven Engineeringmentioning

confidence: 99%

“…Adopting this assertion to the syntax-directed definition in the DSML, the set of attributes (attr) and values (val) are associated with each grammar symbol, and the set of semantic rules with each production are all depicted in the expression parse trees shown in figure 4. The hierarchical presentation of the parse trees is indicative of the fact that the grammar productions are expressed by recursive rules [9]. The entire structure is a collection of fluid supply system components context free grammar comprising all the correspondingtokens for processing.…”

Section: Expression Parse Tree Interpretationmentioning

confidence: 99%

Model Interactions in a Domain Specific Modeling Language: An ICT Solution to Transformations in Design of Fluid Supply Systems

Theophilus¹,

Patrick²,

Bunakiye³

et al. 2016

International Journal of Advanced Research in Computer and Comm

View full text Add to dashboard Cite

Abstract:In domain specific modeling language development, model interactions and transformations play a crucial role. This paper introduces a new, syntax directed approach for the specification of modelinteractions for transformations within a domain specific modeling language. The technique is based on tokenization of the characteristic values and attributes of possible component elements of a fluid supply system. To demonstrate the mapping, expression parse trees and streams of tokens are recursively specified as syntax directed definitions in a context free grammar. With each grammar symbol, a set of attributes are associated, and with each production, a set of semantic rules for mapping values of the attributes corresponding to a typical fluid supply system physical design and modeling parameters are associated. The main contributions are the specifications that will aid the design of a domain specific modeling language for the representation of transformations and translation scheme execution engine for the target domain of fluid supply systems, and another is a possible pathway for the implementation of the semantics of the language with a syntax directed scheme that consists of a grammar and the set semantic rules.

show abstract

“…Most of them use generic graph operations, such as creating or deleting a node or an edge in an ASG, as edit operations. This can lead to inconsistent model representations [7] during conflict resolution. More sophisticated approaches are hard to implement and use, due to the complex analysis, representation and resolution of conflicts between changes; the main problems are briefly summarized in Section 2.…”

Section: Introductionmentioning

confidence: 97%

Workspace updates of visual models

Kehrer

Kelter

Reuling

2014

Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Self Cite

View full text Add to dashboard Cite

In MDE, large models must be collaboratively developed in teams. Collaboration is usually supported by optimistic versioning based on workspaces and a repository. Workspace copies of a model are synchronized with the repository version by an update function. Most update functions currently available compromise the consistency of a model. We present a new approach which guarantees updated models to be consistent and processable by standard visual editors without post-processing. Our approach assumes changes in the repository to be represented as a consistency-preserving edit script. This edit script is executed in a controlled, interactive manner on the workspace copy. Unlike 3-way merging, our approach needs no conflict analysis. Conflicts are detected and resolved interactively. Our approach offers improved usability and requires less implementation effort than existing approaches.

show abstract

Consistency-preserving edit scripts in model versioning

Cited by 56 publications

References 21 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

Model Interactions in a Domain Specific Modeling Language: An ICT Solution to Transformations in Design of Fluid Supply Systems

Workspace updates of visual models

Contact Info

Product

Resources

About