Formal Model Merging Applied to Class Diagram Integration

The integration of software artifacts is present in many scenarios of the Software Engineering field: object-oriented modeling, relational databases, XML schemas, ontologies, aspect-oriented programming, etc. In Model Management, software artifacts are viewed as models that can be manipulated by means of generic operators, which are specified independently of the context in which they are used. One of these operators is Merge, which enables the automated integration of models. Solutions for merging models that are achieved by applying this operator are more abstract and reusable than the ad-hoc solutions that are pervasive in many contexts of the Software Engineering field. In this paper, we present our automated approach for generic model merging from a practical standpoint, providing support for conflict resolution and traceability between software artifacts by using the QVT Relations language. We focus on the definition of our operator Merge, applying it to Class Diagrams integration.

[1]  Narciso Martí-Oliet,et al.  The Maude 2.0 System , 2003, RTA.

[2]  Philip A. Bernstein,et al.  Merging Models Based on Given Correspondences , 2003, VLDB.

[3]  Jean Bézivin,et al.  AMW: a generic model weaver , 2005 .

[4]  Artur Boronat,et al.  An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework , 2006, ECMDA-FA.

[5]  Philip A. Bernstein,et al.  A vision for management of complex models , 2000, SGMD.

[6]  Axel Uhl,et al.  MDA Distilled , 2004 .

[7]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[8]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[9]  Artur Boronat,et al.  Definition of OCL 2.0 Operational Semantics by means of a Parameterized Algebraic Specification , 2006 .

[10]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process , 2001 .

[11]  Jennifer Pérez,et al.  Two Experiences in Software Dynamics , 2004, J. Univers. Comput. Sci..

[12]  Erhard Rahm,et al.  Generic Schema Matching with Cupid , 2001, VLDB.

[13]  Artur Boronat,et al.  Automatic Support for Traceability in a Generic Model Management Framework , 2005, ECMDA-FA.

[14]  Stephen J. Mellor,et al.  MDA Distilled Principles Of Model-Driven Architecture , 2004 .

[15]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .

[16]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

[17]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[18]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[19]  Jun Kong,et al.  Model Management Through Graph Transformation , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[20]  Artur Boronat,et al.  Algebraic Specification of a Model Transformation Engine , 2006, FASE.

[21]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[22]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[23]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[24]  AnHai Doan,et al.  Corpus-based schema matching , 2005, 21st International Conference on Data Engineering (ICDE'05).