Synchronization of abstract and concrete syntax in domain-specific modeling languages

Ráth, István; Ökrös, András; Varró, Dániel

doi:10.1007/s10270-009-0122-7

Cited by 23 publications

(12 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The complexity of the co-evolution problem for DSML editors has been recognized also by others (e.g., see [20,27]). Also, in [27], the authors discuss that the GMF infrastructure has a number of limitations, some of them related to co-evolution, and they even propose an alternative solution to define graphical editors for modeling languages.…”

Section: Introductionmentioning

confidence: 81%

“…Also, in [27], the authors discuss that the GMF infrastructure has a number of limitations, some of them related to co-evolution, and they even propose an alternative solution to define graphical editors for modeling languages. Even outside the MDE context, the identified co-evolution challenge is relevant, and it has not been generally addressed.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automated Co-evolution of GMF Editor Models

Ruscio

Lämmel

Pierantonio

2011

Software Language Engineering

View full text Add to dashboard Cite

Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of modeling languages to describe abstract syntax, concrete syntax as well as other aspects of the visual language and its implementation in an editor. GMF uses a model-driven approach to map the different GMF models to Java code. The framework, as it stands, lacks support for evolution. In particular, there is no support for propagating changes from the domain model (i.e., the abstract syntax of the visual language) to other editor models. We analyze the resulting co-evolution challenge, and we provide a solution by means of GMF model adapters, which automate the propagation of domain-model changes. These GMF model adapters are special model-to-model transformations that are driven by difference models for domain-model changes.

show abstract

Section: Introductionmentioning

confidence: 81%

Section: Introductionmentioning

confidence: 99%

Automated Co-evolution of GMF Editor Models

Ruscio

Lämmel

Pierantonio

2011

Software Language Engineering

View full text Add to dashboard Cite

show abstract

“…A live scenario frequently happens in model editing environments and centralized model management solutions. As a great advantage of this scenario, changes to a source model can be on-the-fly reflected in the target model, and other kinds of live transformation can be performed efficiently, facilitating valuable feedback [3,7].…”

Section: The Delta Representation Perspectivementioning

confidence: 99%

Change-driven model transformations

et al. 2011

Self Cite

View full text Add to dashboard Cite

In this paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions on the model (e.g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify challenges for change-driven transformations. As the main technical contribution of the current paper, we define an expressive, high-level language for specifying change-driven transformations as an extension of graph patterns and graph transformation rules. This language generalizes previous results on live model transformations by offering trigger events for arbitrarily complex model changes, and dedicated reactions for specific kinds of changes, making this way the concept of change to be a first-class citizen of the transformation language. We discuss how the underlying transformation engine needs to be adapted in order to use the same language uniformly for different change scenarios. The technicalities of our approach will be discussed on a (1) model synchronization case study with non-materialized target models and (2) a case study on detecting the violation of evolutionary (temporal) constraints in the security requirements engineering domain.

show abstract

“…It is important to mention that the current implementation requires an explicit definition of traceability elements between the various models. However, currently we are investigating special live model transformations [25] to give support for automatic generation of traceability elements without explicit definition.…”

Section: Figure 13 Traceability Between Models and Configuration Artmentioning

confidence: 99%

Model-driven development of ARINC 653 configuration tables

Horváth

Varró

2010

29th Digital Avionics Systems Conference

View full text Add to dashboard Cite

Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain. It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation. However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis. On the other hand, we believe that, particular systems that make heavy use of configuration tables like the ARINC 653 standard can benefit from model-driven design by (i) automating error-prone configuration file editing and (ii) using model based validation for early error detection.In this paper, we will present the results of the European project DIANA that investigated the use of MDD in the context of Integrated Modular Avionics (IMA) and the ARINC 653 standard. In the scope of the project, a tool chain was implemented that generates ARINC 653 configuration tables from high-level architecture models. The tool chain was integrated with different target systems (VxWorks 653, SIMA) and evaluated during case studies with real-world and real-sized avionics applications.

show abstract

Synchronization of abstract and concrete syntax in domain-specific modeling languages

Cited by 23 publications

References 33 publications

Automated Co-evolution of GMF Editor Models

Automated Co-evolution of GMF Editor Models

Change-driven model transformations

Model-driven development of ARINC 653 configuration tables

Contact Info

Product

Resources

About