An object-oriented operation-based approach to translation between MOF metaschemas

This paper proposes a new approach to the schema translation problem. We deal with schemas whose metaschemas are instances of the OMG's MOF. Most metaschemas can be defined as an instance of the MOF; therefore, our approach is widely applicable. We leverage the well-known object-oriented concepts embedded in the MOF and its instances (object types, attributes, relationship types, operations, IsA hierarchies, refinements, invariants, pre- and postconditions, etc.) to define metaschemas, schemas and their translations. The main contribution of our approach is the extensive use of object-oriented concepts in the definition of translation mappings, particularly the use of operations (and their refinements) and invariants, both of which are formalized in OCL. Our translation mappings can be used to check that two schemas are translations of each other, and to translate one into the other, in both directions. The translation mappings are declaratively defined by means of pre- and postconditions and invariants, and they can be implemented in any suitable language. From an implementation point of view, by taking a MOF-based approach we have a wide set of tools available, including tools that execute OCL. By way of example, we have defined all schemas and metaschemas in this paper and executed all the OCL expressions in the USE tool.

[1]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[2]  Ruth Raventós Pagès.  Application examples of the object-oriented based translation approach to fragments of the UML, ER and relational metaschemas , 2008 .

[3]  Dirk Riehle,et al.  Value object , 2006, PLoP '06.

[4]  Mustafa Jarrar.  Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic , 2007, ER 2007.

[5]  Martin Gogolla,et al.  Model transformations? transformation models! , 2006, MoDELS'06.

[6]  Ronald Fagin,et al.  Composing schema mappings: second-order dependencies to the rescue , 2004, PODS 2004.

[7]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[8]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[9]  Sergey Melnik,et al.  Generic Model Management , 2004, Lecture Notes in Computer Science.

[10]  Y. Edmund Lien,et al.  On the Equivalence of Database Models , 1982, JACM.

[11]  Richard Hull.  Relative Information Capacity of Simple Relational Database Schemata , 1986, SIAM J. Comput..

[12]  Sergey Melnik,et al.  Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science) , 2004 .

[13]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[14]  Jean-Luc Hainaut,et al.  The Transformational Approach to Database Engineering , 2005, GTTSE.

[15]  Antoni Olivé,et al.  Conceptual modeling of information systems , 2007 .

[16]  Paolo Atzeni,et al.  Schema and Data Translation: A Personal Perspective , 2007, ADBIS.

[17]  Paolo Atzeni,et al.  Management of Multiple Models in an Extensible Database Design Tool , 1996, EDBT.

[18]  Lois M. L. Delcambre,et al.  Using the uni-level description (ULD) to support data-model interoperability , 2006, Data Knowl. Eng..

[19]  Michael Boyd,et al.  Comparing and Transforming Between Data Models Via an Intermediate Hypergraph Data Model , 2005, J. Data Semant..

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

[21]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[22]  Martin Gogolla,et al.  Tales of ER and RE Syntax and Semantics , 2005, Transformation Techniques in Software Engineering.

[23]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[24]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[25]  Philip A. Bernstein,et al.  A Multilevel Dictionary for Model Management , 2005, ER.

[26]  Philip A. Bernstein,et al.  Model-Independent Schema and Data Translation , 2006, EDBT.

[27]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[28]  Asunción Gómez-Pérez,et al.  Methodologies, tools and languages for building ontologies: Where is their meeting point? , 2003, Data Knowl. Eng..

[29]  Martin Gogolla,et al.  Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.