Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine

Wagelaar, Dennis; Iovino, Ludovico; Ruscio, Davide Di; Pierantonio, Alfonso

doi:10.1007/978-3-642-30476-7_13

Cited by 33 publications

(30 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These are model transformations [54], OCL constraints [55], and meta-model hierarchies with more than two levels [56]. A taxonomy for the evolution of modeling languages discussing different scenarios including the evolution of meta-models and the migration of models and model transformations, can be found in [40].…”

Section: Meta-model Evolutionmentioning

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: Meta-model Evolutionmentioning

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

“…The formal framework of migration of the model which is independent of specific modeling approaches is presented by Mantz et al [14]. While Wagelaar et al [20] proposed a model transformation language for coupled evolution in metamodel. It shows executable semantics for EMFMigrate.…”

Section: (Ijacsa) International Journal Of Advanced Computer Science Andmentioning

confidence: 99%

Virtual Heterogeneous Model Integration Layer

Memon¹,

Shaikh²,

Hayat³

et al. 2016

ijacsa

View full text Add to dashboard Cite

Abstract-The classic way of building a software today simplistically consists in connecting a piece of code calling a method with the piece of code implementing that method. We consider these piece of code (software systems) not calling anything, behaving in a non deterministic way and providing complex sets of services in different domains. In software engineering reusability is the holly grail, and specially the reusability of code from autonomus tools requires powerful compostion/integration mechanisms. These systems are developed by different developers and being modified inceremently. Integrating these autonomous tools generate various conflicts. To deal with these conflicts, current integration mechanisms defines specific set of rules to resolve these conflicts and accompalish integration. Indeed still there is a big chance that changes made by other developers, or they update their changes in order to make them compliant with other developers cancel the updates done by others. The approach presented here claims three contributions in the field of Hetrogeneous Software Integration. First, this approach eliminate the need of conflicts resolving mechanism. Secondly, it provides the mechanism to work in the presence of conflicts without resolving them. Finally, contribution is that the integration mechanism does not affect if either of the system evolves. We do this by introducing an intermediate virtual layer between two systems that introduce a delta models which consist of three parts; viability that share required elements, hiding that hide conflicting elements and aliasing that aliases same concepts in both systems.

show abstract

“…The implementations range from totally ad-hoc approaches developed from scratch [5,9] to more systematic ones, e.g., based on compilation to a VM [34]. Most of the approaches try to reuse well-known syntaxes, such as OCL for queries or graph patterns for rewritings, but such syntaxes are normally encoded from scratch (notable exceptions are [26,34]). Likewise, the tool support quality varies (not shown in the table), but advanced features such as semantic autocompletion for textual editors and debugging support are missing since their implementation cost is high.…”

mentioning

confidence: 99%

“…Migration. These transformations deal with the update of artefacts upon meta-model changes [6,15,26,34]. The source and target meta-models, which correspond to the original and evolved meta-models, are not fixed a priori.…”

mentioning

confidence: 99%

“…The community has identified the particularities and needs for this scenario, proposing different textual DSTLs for migration. For instance, EMFMigrate [34] is compiled into a transformation virtual machine, Epsilon Flock [26] extends the EOL imperative language to add migration-specific behaviour, and COPE [15] defines primitives for meta-model changes. Most of these languages adopt a mapping-based style for migration rules.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Towards the Systematic Construction of Domain-Specific Transformation Languages

Cuadrado

Guerra

Lara

2014

Modelling Foundations and Applications

View full text Add to dashboard Cite

El acceso a la versión del editor puede requerir la suscripción del recurso Access to the published version may require subscription Towards the Systematic Construction of Domain-Specific Transformation LanguagesJesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara Universidad Autónoma de Madrid (Spain) Abstract. General-purpose transformation languages, like ATL or QVT, are the basis for model manipulation in Model-Driven Engineering (MDE). However, as MDE moves to more complex scenarios, there is the need for specialized transformation languages for activities like model merging, migration or aspect weaving, or for specific domains of wide use like UML. Such domain-specific transformation languages (DSTLs) encapsulate transformation knowledge within a language, enabling the reuse of recurrent solutions to transformation problems. Nowadays, many DSTLs are built in an ad-hoc manner, which requires a high development cost to achieve a full-featured implementation. Alternatively, they are realised by an embedding into general-purpose transformation or programming languages like ATL or Java. In this paper, we propose a framework for the systematic creation of DSTLs. First, we look into the characteristics of domain-specific transformation tools, deriving a categorization which is the basis of our framework. Then, we propose a domain-specific language to describe DSTLs, from which we derive a ready-to-run workbench which includes the abstract syntax, concrete syntax and translational semantics of the DSTL.

show abstract

Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine

Cited by 33 publications

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

Virtual Heterogeneous Model Integration Layer

Towards the Systematic Construction of Domain-Specific Transformation Languages

Contact Info

Product

Resources

About