Towards automatic model synchronization from model transformations

Authors:
Yingfei Xiong;Dongxi Liu;Zhenjiang Hu;Haiyan Zhao;Masato Takeichi;Hong Mei
Affiliations:
University of Tokyo, Tokyo, Japan;University of Tokyo, Tokyo, Japan;University of Tokyo, Tokyo, Japan;Ministry of Education: China, Beijing, China;University of Tokyo, Tokyo, Japan;Ministry of Education: China, Beijing, China
Venue:
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Year:
2007

Citing 15
Cited 40

Inconsistency Management for Multiple-View Software Development Environments

IEEE Transactions on Software Engineering
Update semantics of relational views

ACM Transactions on Database Systems (TODS)
Visual Modeling with Rational Rose 2002 and UML

Visual Modeling with Rational Rose 2002 and UML
Inconsistency Handling in Multi-Perspective Specifications

ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
A Relational Approach to Defining Transformations in a Metamodel

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Tracing Evolution Changes of Software Artifacts through Model Synchronization

ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
Instant and Incremental Transformation of Models

Proceedings of the 19th IEEE international conference on Automated software engineering
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A generic approach to supporting diagram differencing and merging for collaborative design

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Differencing and Merging of Architectural Views

ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Bidirectional interpretation of XQuery

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tool Integration with Triple Graph Grammars - A Survey

Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental model synchronization with triple graph grammars

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Framework-Specific modeling languages with round-trip engineering

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Incremental model synchronization for multiple updates

Proceedings of the third international workshop on Graph and model transformations
Quotient lenses

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
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
Heterogeneous Coupled Evolution of Software Languages

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Enforcing a security pattern in stakeholder goal models

Proceedings of the 4th ACM workshop on Quality of protection
Design Space of Heterogeneous Synchronization

Generative and Transformational Techniques in Software Engineering II
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Complete and accurate clone detection in graph-based models

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model-versioning-in-the-large: Algebraic foundations and the tile notation

CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Supporting Parallel Updates with Bidirectional Model Transformations

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Supporting automatic model inconsistency fixing

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
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
Incremental model synchronization in model driven development environments

CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
From state- to delta-based bidirectional model transformations

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Towards incremental execution of ATL transformations

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Symmetric lenses

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Active operations on collections

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Model synchronization: mappings, tiles, and categories

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Towards automatic consistency preservation for model-driven software product lines

Proceedings of the 15th International Software Product Line Conference, Volume 2
Toward bidirectionalization of ATL with GRoundTram

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Instant and incremental QVT transformation for runtime models

Proceedings of the 14th international conference on Model driven engineering languages and systems
From state- to delta-based bidirectional model transformations: the symmetric case

Proceedings of the 14th international conference on Model driven engineering languages and systems
Edit lenses

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generating synchronization engines between running systems and their model-based views

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
A framework for the checking and refactoring of crosscutting concepts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Linguistic foundations for bidirectional transformations: invited tutorial

PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
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)
Systematic evolution of WebML models by coupled transformations

ICWE'12 Proceedings of the 12th international conference on Web Engineering
Viewpoint co-evolution through coarse-grained changes and coupled transformations

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Three complementary approaches to bidirectional programming

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Automating presentation changes in dynamic web applications via collaborative hybrid analysis

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Query-driven soft interconnection of EMF models

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Synchronizing concurrent model updates based on bidirectional transformation

Software and Systems Modeling (SoSyM)
A research roadmap towards achieving scalability in model driven engineering

Proceedings of the Workshop on Scalability in Model Driven Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. However, after a transformation is applied, the source model and the target model usually co-exist and evolve independently. How to propagate modifications across models in different formats still remains as an open problem. In this paper we propose an automatic approach to synchronizing models that are related by model transformations. Given a unidirectional transformation between metamodels, we can automatically synchronize models in the metamodels by propagating modifications across the models. We have implemented a model synchronization system supporting the Atlas Transformation Language (ATL) and have successfully tested our implementation on several ATL transformation examples in the ATL web site.