A DSML for reversible transformations

Kerboeuf, Mickaël; Babau, Jean-Philippe

doi:10.1145/2095050.2095057

Cited by 6 publications

(8 citation statements)

References 14 publications

(13 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches which adapt the metamodel include patterns with variable entities (i.e., patterns expressing the needed concepts only) for declarative model manipulation rules [58], bidirectional model manipulation DSLs [59] and static introduction in order to make two metamodels structurally equivalent [60]. Wimmer et al presented an hybrid approach (i.e., adaptation of the metamodel and the model manipulation) based on above mentioned concepts that generates a metamodel-specific manipulation from a generic one defined for a metamodel family [61].…”

Section: Amortization Of Language and Tool Definition And Implementationmentioning

confidence: 99%

Bridging the chasm between MDE and the world of compilation

et al. 2012

View full text Add to dashboard Cite

Modeling and transforming have always been the cornerstones of software system development, albeit often investigated by different research communities. Modeling addresses how information is represented and processed, while transformation cares about what the results of processing this information are. To address the growing complexity of software systems, Model-Driven Engineering (MDE) leverages Domain Specific Languages (DSL) to define abstract models of systems and automated methods to process them. Meanwhile, compiler technology mostly concentrates on advanced techniques and tools for program transformation. For this, it has developed complex analyses and transformations (from lexical and syntaxic to semantic analyses, down to platformspecific optimizations). These two communities appear today quite complementary and are starting to meet again in the Software Language Engineering (SLE) field. SLE addresses all the stages of a software language lifecycle, from its definition to its tooling. In this article, we show how SLE can lean on the expertise of both MDE and compiler research communities and how each community can bring its solutions to the other one. We then draw a picture of the current state of SLE, and of the challenges it has still to face.

show abstract

Section: Amortization Of Language and Tool Definition And Implementationmentioning

confidence: 99%

Bridging the chasm between MDE and the world of compilation

et al. 2012

View full text Add to dashboard Cite

show abstract

“…This language is dedicated to data migration. It has been applied successfully for the reuse of legacy tools [11]. It enables an efficient focus on elementary transformations between two variants of a same metamodel.…”

Section: Modif: a Dsl For The Reuse Of Legacy Toolsmentioning

confidence: 99%

“…If we consider the case of a legacy rewriting tool, we face a more challenging problem: how the data that have been translated and then modified by the rewriting tool can be translated back into their original context? To address this problem, we extended Modif with a relational mechanism based upon the notion of key [11]. This mechanism is depicted by figure 3.…”

Section: Bidirectional Transformations Using Modifmentioning

confidence: 99%

“…On the other hand, we don't need to address the concepts that are out of the scope of the function we target. This second step is implemented as presented in [11].…”

Section: Second Step: Scope Extrusionmentioning

confidence: 99%

“…The idea is to rewrite legacy transformations in specific context using metamodel differences. But this approach is not automated and it does not consider the reverse transformation on which we focused in [11].…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages

Kerboeuf

Babau

Gaudel

2012

Proceedings of the 6th International Workshop on Models and Evolution

Self Cite

View full text Add to dashboard Cite

In this paper, we investigate a way to extend the scope of a dedicated and specific analysis framework to standard modeling languages like UML or AADL. This purpose is achieved by a two-steps model transformation.The two steps of this approach rely on a dedicated model transformation language called Modif. The first step is a kind of model slicing. It makes it possible to delete as much as possible what in the standard modeling language is not needed by the analysis tools. The second one maps the intermediate metamodel (resulting from the first step) to what is expected by the analysis tools. This two-steps model transformation is intended to identify efficiently the specifications that cannot be put under the scope of the analysis tool.We illustrate this approach with the scope extension of the Cheddar real time scheduling analyzer to AADL.

show abstract

Safe model polymorphism for flexible modeling

Degueule

Combemale

Blouin

et al. 2017

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

Domain-Specific Languages (DSLs) are increasingly used by domain experts to handle various concerns in systems and software development. To support this trend, the Model-Driven Engineering (MDE) community has developed advanced techniques for designing new DSLs. However, the widespread use of independently developed, and constantly evolving DSLs is hampered by the rigidity imposed to the language users by the DSLs and their tooling, e.g., for manipulating a model through various similar DSLs or successive versions of a given DSL. In this paper, we propose a disciplined approach that leverages type groups' polymorphism to provide an advanced type system for manipulating models, in a polymorphic way, through different DSL interfaces. A DSL interface, aka. model type, specifies a set of features, or services, available on the model it types, and subtyping relations among these model types define the safe substitutions. This type system complements the Melange language workbench and is seamlessly integrated into the Eclipse Modeling Framework (EMF), hence providing structural interoperability and compatibility of models between EMFbased tools. We illustrate the validity and practicability of our approach by bridging safe interoperability between different semantic and syntactic variation points of a finite-state machine (FSM) language, as well as between successive versions of the Unified Modeling Language (UML).

show abstract

A DSML for reversible transformations

Cited by 6 publications

References 14 publications

Bridging the chasm between MDE and the world of compilation

Bridging the chasm between MDE and the world of compilation

A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages

Safe model polymorphism for flexible modeling

Contact Info

Product

Resources

About