A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
A vision for management of complex models
ACM SIGMOD Record
Universal Arrow Foundations for Visual Modeling
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Merging models based on given correspondences
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
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
Behavioural model fusion: an overview of challenges
Proceedings of the 2008 international workshop on Models in software engineering
Textual Modelling Embedded into Graphical Modelling
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Requirements for Practical Model Merge --- An Industrial Perspective
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
2nd UML 2 semantics symposium: formal semantics for UML
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A practical approach to model extension
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Templatable metamodels for semantic variation points
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Modeling issues: a survival guide for a non-expert modeler
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Improving naming and grouping in UML
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
On the combination of domain specific modeling languages
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
The notion of compliance is meant to facilitate tool interoperability. UML 2 offers 4 compliance levels. Level Li+1 is obtained from Level Li through an operation called package merge. Package merge is intended to allow modeling concepts defined at one level to be extended with new features. To ensure interoperability, package merge has to ensure compatibility: the XMI representation of the result of the merge has to be compatible with that of the original package. UML 2 lacks a precise and comprehensive definition of package merge. This paper reports on our work to understand and formalize package merge. Its main result is that package merge as defined in UML 2.1 does not ensure compatibility. To expose the problem and possible remedies more clearly, we present this result in terms of a very general classification of model extension mechanisms.