Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report

Blouin, Dominique; Plantec, Alain; Dissaux, Pierre; Singhoff, Frank; Diguet, Jean-Philippe

doi:10.1007/978-3-319-08789-4_8

Cited by 14 publications

(13 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [3], Blouin et al added a specially designed repair rule to the rules of their case study to avoid information loss. Greenyer et al [14] also propose to not directly delete elements but to mark them for deletion and allow for reuse of these marked elements in other rule applications.…”

Section: Related Workmentioning

confidence: 99%

Efficient Model Synchronization by Automatically Constructed Repair Processes

Fritsche

Kosiol

Schürr

et al. 2019

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules. They can be used to automatically derive specifications of edit operations for single models and repair rules that propagate model changes to related models. model (re-)synchronization activities more effectively, a construction mechanism for shortcut rules has been recently developed. They describe consistency-preserving complex edit operations across model boundaries. We show that edit and repair rules can be derived from shortcut rules. As proof of concept, we implemented the construction and application of shortcut edit and repair rules in eMoflon. Our evaluation shows that shortcut rule based repair processes have considerably decreased data loss and improved runtime compared to former model synchronization processes in eMoflon.

show abstract

Section: Related Workmentioning

confidence: 99%

Efficient Model Synchronization by Automatically Constructed Repair Processes

Fritsche

Kosiol

Schürr

et al. 2019

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…Concerning our example scenarios from industry automation; bx approaches have been applied in various other industrial domains: Hermann et al [23] report on using TGGs to translate satellite procedures, Blouin et al [4] demonstrate an incremental 7:23 synchronisation layer between textual and graphical editors, Giese et al [17] present a synchronisation solution for SysML and AUTOSAR models, while Cunha et al [7] propose a bidirectional transformation approach for model-driven spreadsheets. Using our description languages, such projects could provide their results, solution strategies, and lessons learnt in a uniform and comparable manner; this would enable the identification and reuse of further method patterns for consistency management.…”

Section: Related Workmentioning

confidence: 99%

“…Especially in a Model-Driven Engineering (MDE) context, Triple Graph Grammars (TGGs) [35] have often been used for consistency maintenance in various industrial applications [4,17,18,34]. While this is certainly encouraging, it is currently challenging to detect similarities and fundamental differences in the ways TGGs have been applied to handle consistency management.…”

Section: Acm Ccs 2012 1 Introduction and Motivationmentioning

confidence: 99%

“…Numerous, diverse approaches to consistency management exist and are currently being actively researched and compared in the bidirectional transformations (bx) community [8,36]. Involved communities in bx include databases (view-update problem, schema evolution), software engineering (model synchronisation, conformance checking), and programming language development (bidirectionalisation, coupled transformations).Especially in a Model-Driven Engineering (MDE) context, Triple Graph Grammars (TGGs) [35] have often been used for consistency maintenance in various industrial applications [4,17,18,34]. While this is certainly encouraging, it is currently challenging to detect similarities and fundamental differences in the ways TGGs have been applied to handle consistency management.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

et al. 2018

View full text Add to dashboard Cite

To cope with the increasing complexity of developing and maintaining modern (software) systems, multiple abstractions (models) of the same system can be established and used to allow different domain experts to collaborate and contribute their respective expertise. This divide-and-conquer, model-based approach requires, however, support for a concurrent engineering process, i.e., providing a means of checking, restoring, and ensuring the consistency of all involved and concurrently maintained models. The task of providing such support is often referred to as consistency management.Although there exist various approaches to consistency management and numerous (industrial) case studies described in the literature on bidirectional transformations (bx), there is currently no uniform description of diverse but related industrial applications of model synchronisation and other forms of consistency management. This makes it challenging to detect similarities and differences related to requirements, constraints, applied techniques and tools. It is thus difficult to compare and transfer knowledge gained from (successful) projects to other bx approaches or even other bx tools for the same general approach.In this paper, therefore, we propose a description language for envisioned scenarios in the problem domain of consistency management, as well as a complementary description language for solution strategies in terms of method fragments and method patterns in the solution domain of Model-Driven Engineering (MDE). Our work is inspired by previous research in the bx and MDE communities, and is also based on our collective experience from over ten years of investigating a series of application scenarios in the industry automation section together with Siemens AG as an industrial partner.We use our proposed description languages to discuss a series of application scenarios that are diverse but all require varying forms of support for consistency management. By using a common notation and focusing only on aspects directly related to consistency management, we are able to abstract from project-specific details and uniformly describe how consistency management is required and can be currently supported in the industry automation sector. Based on this formal and macroscopic view of the projects, we provide a systematic discussion of our experience and results applying Triple Graph Grammars (TGGs) as a concrete bx approach in the industry automation domain. ACM CCS 2012 1 Introduction and MotivationThe development and maintenance of increasingly complex software systems often requires a suitable decomposition of the system into multiple abstractions (models), which can be concurrently maintained by experts in their respective domains. Such a concurrent engineering process can be well supported by model-based approaches and techniques, especially approaches to ensure that the consistency of all related models, representing views of the same system, can be maintained via suitable change propagation and synchronisation. Numerous, diver...

show abstract

“…Assessing specications and languages. Clone detection can be used during the assessment of transformation specications, for instance, in a quality assurance process [23] where a rule set of 250 similar rules was too large for execution [27]. While most existing performance optimizations for model transformations focus on accelerating the application of individual rules, clone detection might be highly useful in improving the performance of a whole model transformation system.…”

Section: Furthermore a Refactoring May Not Always Be Desirablementioning

confidence: 99%

Model clone detection for rule-based model transformation languages

2017

View full text Add to dashboard Cite

 Users may download and print one copy of any publication from the public portal for the purpose of private study or research.  You may not further distribute the material or use it for any profit-making activity or commercial gain  You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

show abstract

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report

Cited by 14 publications

References 7 publications

Efficient Model Synchronization by Automatically Constructed Repair Processes

Efficient Model Synchronization by Automatically Constructed Repair Processes

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

Model clone detection for rule-based model transformation languages

Contact Info

Product

Resources

About