Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Communication and Concurrency
Theoretical Aspects of Schema Merging
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Using benchmarking to advance research: a challenge to software engineering
Proceedings of the 25th International Conference on Software Engineering
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Rondo: a programming platform for generic model management
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A Category-theoretic Approach to Syntactic Software Merging
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
An Algebraic Framework for Merging Incomplete and Inconsistent Views
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
UMLDiff: an algorithm for object-oriented design differencing
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A visual language and environment for composing web services
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Traceability in viewpoint merging: a model management perspective
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Merging models based on given correspondences
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
A relationship-driven approach to view merging
ACM SIGSOFT Software Engineering Notes
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Relationship-Driven Framework for Model Merging
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
An Eclipse-based tool framework for software model management
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Global consistency checking of distributed models with TReMer+
Proceedings of the 30th international conference on Software engineering
Diff and merge support for model based development
Proceedings of the 2008 international workshop on Comparison and versioning of software models
Declarative approach for model composition
Proceedings of the 2008 international workshop on Models in software engineering
A reference process for model composition
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Algebraic Models for Bidirectional Model Synchronization
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A General Approach for Scenario Integration
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
Merging Event-Driven Process Chains
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Issues in applying a model driven approach to reconfigurations of satellite software
Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
Comparing spatial hypertext collections
Proceedings of the 20th ACM conference on Hypertext and hypermedia
E-Government: on the Way Towards Frameworks for Application Engineering
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Requirements for Practical Model Merge --- An Industrial Perspective
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Think global, act local: implementing model management with domain-specific integration languages
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Consistent integration of models based on views of visual languages
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Mirador: a synthesis of model matching strategies
Proceedings of the 1st International Workshop on Model Comparison in Practice
Towards Class Diagram Algebra for Composing Data Models
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Model evolution and management
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
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
Engineering multi-tenant software-as-a-service systems
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Specifying and detecting meaningful changes in programs
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Software and Systems Modeling (SoSyM)
A framework for managing cloned product variants
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Managing cloned variants: a framework and experience
Proceedings of the 17th International Software Product Line Conference
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
If a modeling task is distributed, it will frequently be necessary to merge models developed by different team members. Existing approaches to model merging make assumptions about the types of model to be merged, and the nature of the relationship between them. This makes it hard to compare approaches. In this paper, we present a manifesto for research on model merging. We propose a framework for comparing different approaches to merging, by treating merge as an algebraic operator over models and model relationships. We specify the algebraic properties of an idealized merge operator, as well as related operators such as match, diff, split, and slice. We then show how our framework can be used to compare existing approaches by applying it to two of our own research projects on model merging. We show how this analysis permits a detailed comparison of approaches, reveals the key features of each, and identifies weaknesses that require further research. Most importantly, the framework emphasizes the need to make explicit all assumptions about the relationships between models, and indeed to treat model relationships as first class objects.