A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
View Maintenance for Hierarchical Semistructured Data
DaWaK 2000 Proceedings of the Second International Conference on Data Warehousing and Knowledge Discovery
UMLDiff: an algorithm for object-oriented design differencing
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
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Exploiting schemas in data synchronization
Journal of Computer and System Sciences
Bidirectionalization transformation based on automatic derivation of view complement functions
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Boomerang: resourceful lenses for string data
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constant Complements, Reversibility and Universal View Updates
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Algebraic Models for Bidirectional Model Synchronization
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
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
Engineering of Framework-Specific Modeling Languages
IEEE Transactions on Software Engineering
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Matching lenses: alignment and view update
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
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
Incremental updates for efficient bidirectional transformations
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Three complementary approaches to bidirectional programming
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Semantic bidirectionalization revisited
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
| Hi-index | 0.00 |
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of original and updated models, but alignment relationships between the models are not specified. In the paper we identify and discuss three major problems caused by this under-specification. We then propose a novel formal framework based on a graphical language: models are nodes and updates are arrows, and show how the three problems can be fixed.