Specification of integration tools
Building tightly integrated software development environments
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Model transformation in the large
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Incremental model synchronization for multiple updates
Proceedings of the third international workshop on Graph and model transformations
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Model Synchronisation: Definitions for Round-Trip Engineering
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
Combining Quality Assurance and Model Transformations in Business-Driven Development
Applications of Graph Transformations with Industrial Relevance
Transforming Scene Graphs Using Triple Graph Grammars --- A Practice Report
Applications of Graph Transformations with Industrial Relevance
Towards a compositional approach to model transformation for software development
Proceedings of the 2009 ACM symposium on Applied Computing
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
Triple Graph Grammars or Triple Graph Transformation Systems?
Models in Software Engineering
Towards Model Round-Trip Engineering: An Abductive Approach
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Incremental model synchronization based on a trace model
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
SM@RT: towards architecture-based runtime management of Internetware systems
Proceedings of the First Asia-Pacific Symposium on Internetware
Language-Independent Change Management of Process Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An Incremental Algorithm for High-Performance Runtime Model Consistency
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Traceability-based incremental model synchronization
WSEAS Transactions on Computers
A transformation instance-based approach to traceability
Proceedings of the 6th ECMFA Traceability Workshop
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
Automated co-evolution of GMF editor models
SLE'10 Proceedings of the Third international conference on Software language engineering
JTL: a bidirectional and change propagating transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
Rigorous identification and encoding of trace-links in model-driven engineering
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Generating synchronization engines between running systems and their model-based views
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Utilizing architectural styles to enhance the adaptation support of middleware platforms
Information and Software Technology
Search-based model transformation by example
Software and Systems Modeling (SoSyM)
Maintaining invariant traceability through bidirectional transformations
Proceedings of the 34th International Conference on Software Engineering
Partial evaluation of model transformations
Proceedings of the 34th International Conference on Software Engineering
Change-driven model transformations
Software and Systems Modeling (SoSyM)
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
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
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.01 |
The advent of model-driven software development has put model transformations into focus. In practice, model transformations are expected to be applicable in different stages of a development process and help to consistently propagate changes between the different involved models which we refer to as model synchronization. However, most approaches do not fully support the requirements for model synchronization today and focus only on classical one-way batch-oriented transformations. In this paper, we present our approach for an incremental model transformation which supports model synchronization. Our approach employs the visual, formal, and bidirectional transformation technique of triple graph grammars. Using this declarative specification formalism, we focus on the efficient execution of the transformation rules and present our approach to achieve an incremental model transformation for synchronization purposes. We present an evaluation of our approach and demonstrate that due to the speedup for the incremental processing in the average case even larger models can be tackled.