Semi-automatic model integration using matching transformations and weaving models

ABSTRACT

Model transformations are at the heart of model driven engineering (MDE) and can be used in many different application scenarios. For instance, model transformations are used to integrate very large models. As a consequence, they are becoming more and more complex. However, these transformations are still developed manually. Several code patterns are implemented repetitively, increasing the probability of programming errors and reducing code reusability. There is not yet a complete solution that automates the development of model transformations. In this paper we propose a novel approach that uses matching transformations and weaving models to semi-automate the development of transformations. Matching transformations are a special kind of transformations that implement heuristics and algorithms to create weaving models. Weaving models are models that capture different kinds of relationships between models. Our solution enables to rapidly implement and to customize these heuristics. We combine different heuristics, and we propose a new metamodel-based heuristic that exploits metamodel data to automatically produce weaving models. The weaving models are derived into model integration transformations.

REFERENCES

• 1: AM3 Atlantic Zoo. Reference site: http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/. Oct. 2006
• 2: David Aumueller , Hong-Hai Do , Sabine Massmann , Erhard Rahm, Schema and ontology matching with COMA++, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, June 14-16, 2005, Baltimore, Maryland [doi>10.1145/1066157.1066283]
• 3: Balogh, A, Németh, A, Schmidt, A, Ráth, I, Vágó, D, Varró, D, Pataricza, A. The VIATRA2 model transformation framework. In proc. of ECMDA 2005 - Tools Track, 2005
• 4: Bernstein, P A. Applying Model Management to Classical Meta Data Problems. In proc. of CIDR 2003, pp 209--220
• 5: Cohen, W, Ravikumar, P, Fienberg, S E. A Comparison of String Distance Metrics for Name-Matching Tasks. In proc. of IIWeb 2003, pp 73--78
• 6: Robin Dhamankar , Yoonkyong Lee , AnHai Doan , Alon Halevy , Pedro Domingos, iMAP: discovering complex semantic matches between database schemas, Proceedings of the 2004 ACM SIGMOD international conference on Management of data, June 13-18, 2004, Paris, France [doi>10.1145/1007568.1007612]
• 7: Didonet Del Fabro, M, Bézivin, J, Jouault, F, Valduriez, P. Applying Generic Model Management to Data Mapping. In proc. of BDA 2005, Saint-Malo, France, pp 343--355
• 8: Didonet Del Fabro, M, Bézivin, J, Valduriez, P. Model-Driven Tool Interoperability: An Application in Bug Tracking. In proc. of ODBASE'06, LNCS 4275, Nov. 2006, pp 863--881
• 9: Ehrig, M, Staab, S, Sure, Y. Bootstrapping Ontology Alignment Methods with APFEL. In proc. of the 4th ISWC 2005, Galway, Ireland, volume 3729 of LNCS, pp 186--200
• 10: Euzenat, J. An API for Ontology Alignment. In proc. of ISWC 2004, pp 698--712
• 11: Fellbaum, C. WordNet, an Electronic Lexical Database. MIT Press, 1998. Reference site: http://wordnet.princeton.edu/
• 12: Gardner, T, Griffin, C, Koehler, J, Hauser, R. A review of OMG MOF 2.0 QVT submissions and recommendations towards the final standard. 1st International Workshop on Metamodeling for MDA, York, UK, 2003
• 13: Jouault, F, Bézivin, J. KM3: a DSL for Metamodel Specification. In proc. of 8th FMOODS, LNCS 4037, Bologna, Italy, 2006, pp 171--185
• 14: Frédéric Jouault , Ivan Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France [doi>10.1145/1141277.1141561]
• 15: Jouault, F, Kurtev, I. Transforming Models with ATL. In proc. of the Model Transformations in Practice Workshop at MoDELS 2005, Montego Bay, Jamaica, pp 128--138
• 16: JWNL (Java WordNet Library). Reference site: http://sourceforge.net/projects/jwordnet. August 2006
• 17: Jayant Madhavan , Philip A. Bernstein , Erhard Rahm, Generic Schema Matching with Cupid, Proceedings of the 27th International Conference on Very Large Data Bases, p.49-58, September 11-14, 2001
• 18: Melnik, S. Generic Model Management: Concepts and Algorithms, Ph.D. Dissertation, University of Leipzig, Springer LNCS 2967, 2004
• 19: Prasenjit Mitra , Gio Wiederhold , Martin L. Kersten, A Graph-Oriented Model for Articulation of Ontology Interdependencies, Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology, p.86-100, March 27-31, 2000
• 20: Natalya Fridman Noy , Mark A. Musen, PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment, Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, p.450-455, July 30-August 03, 2000
• 21: SimMetrics. Developed by Sam Chapman. Reference site: http://sourceforge.net/projects/simmetrics/. August 2006
• 22: Shvaiko, P, Euzenat, J. A Survey of Schema-Based Matching Approaches. JoDS IV, pp 146--171, 2005

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.12 Interoperability
            Subjects: Data mapping

General Terms:
Algorithms, Languages, Standardization

Keywords:
matching transformations, model engineering, model weaving