The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Foolish Consistency: Technical Challenges in Consistency Management
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
Tool integration at the meta-model level: the Fujaba approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Dagstuhl seminar on bidirectional transformations (BX)
ACM SIGMOD Record
A dedicated language for context composition and execution of true black-box model transformations
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Model transformations for migrating legacy models: an industrial case study
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
View-centric engineering with synchronized heterogeneous models
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this paper, we present how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner.