Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
ICSE '91 Proceedings of the 13th international conference on Software engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
A vision for management of complex models
ACM SIGMOD Record
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Computing Surveys (CSUR)
Proceedings of the 2006 international workshop on Global integrated model management
Supporting transparent model update in distributed CASE tool integration
Proceedings of the 2006 ACM symposium on Applied computing
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Differencing and Merging of Architectural Views
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Exploiting schemas in data synchronization
Journal of Computer and System Sciences
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automatic extraction of framework-specific models from framework-based application code
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Framework-specific modeling languages
Framework-specific modeling languages
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Incremental model synchronization with triple graph grammars
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The weird world of bi-directional programming
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Bidirectional model transformations in QVT: semantic issues and open questions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
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
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
Synchronizing model and program refactoring
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
Synchronizing concurrent model updates based on bidirectional transformation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different schemas or are expressed in different languages. Our main application scenario is synchronization of software artifacts, such as code, models, and configuration files. We classify heterogeneous synchronizers according to the cardinality of the relation that they enforce between artifacts, their directionality, their incrementality, and whether they support reconciliation of concurrent updates. We then provide a framework of artifact operators that describes different ways of building heterogeneous synchronizers, such as synchronizers based on artifact or update translation. The design decisions within the framework are described using feature models. We present 16 concrete instances of the framework, discuss tradeoffs among them, and identify sample implementations for some of them. We also explore additional design decisions such as representation of updates, establishing correspondence among model elements, and strategies for selecting a single synchronization result from a set of alternatives. Finally, we discuss related fields including data synchronization, inconsistency management in software engineering, model management, and model transformation.