Abstract
Model management aims at solving problems that stem from model representation and its manipulation by considering models as first-class citizens that are manipulated by means of generic operators. MOMENT is a prototype that supports generic model management using an algebraic approach within the four-layered metamodeling culture of MOF [1]. In this paper, we focus on the automatic generation of schemas that belong to different metamodels, using a term-rewriting system approach. We present the type system of the algebra that we use to represent models in the MOMENT prototype, and we describe our generic operator that automatically translates schemas between different metamodels: the operator generate. This algebra has been implemented using the functional language F#, which allows us to validate the correctness of our approach.
This work was supported by the Spanish Government under the National Program for Research, Development and Innovation, DYNAMICA Project TIC 2003-07804-C05-01.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OMG: Meta-Object Facility Specification version 1.4 (April 2002), http://www.omg.org/technology/documents/formal/mof.htm
Pressman, R.S.: Software Engineering: A Practitioner’s Approach, European edn. McGraw-Hill, New York (2000)
Rational Software, http://www.rational.com/products/rose/
System Architect, http://www.popkin.com/products/sa2001/systemarchitect.htm
DB-Main, http://www.fundp.ac.be/recherche/unites/publications/en/2987.html
Bernstein, P.A., Levy, A.Y., Pottinger, R.A.: A Vision for Management of Complex Models. Microsoft Research Technical Report MSR-TR-2000-53 (June 2000); short version in SIGMOD Record 29, 4 (December 2000)
Alagic, S., Bernstein, P.A.: A Model Theory for Generic Schema Management. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, p. 228. Springer, Heidelberg (2002)
Melnik, S., Rahm, E., Bernstein, P.A.: Rondo: A Programming Platform for Generic Model Management (Extended Version). Technical Report, Leipzig University (2003), Available at http://dol.uni-leipzig.de/pub/2003-3
ISO/IEC 10746-1, 2, 3, 4 | ITU-T Recommendation X.901, X.902, X.903, X.904, Open Distributed Processing - Reference Model. OMG (1995-1996)
CDIF Technical Committee: CDIF Framework for Modeling and Extensibility. Electronic Industries Assocaiation, EIA/IS-107 (January 1994) See, http://www.cdif.org/
Madhavan, J., Bernstein, P.A., Rahm, E.: Generic Schema Matching using Cupid. MSR Tech. Report MSR-TR-2001-58 (2001), http://www.research.microsoft.com/pubs ; (short version in VLDB 2001)
Cahilloux, E., Manoury, P., Pagano, B.: Developing Applications With Objective Caml. Éditions O.Reilly (2000)
Microsoft Research F# Project, http://research.microsoft.com/projects/ilx/fsharp.aspx
World Wide Web Consortium, Resource Description Framework (RDF), http://www.w3.org/RDF/
World Wide Web Consortium, Semantic Web, http://www.w3.org/2001/sw/
Perez, J., Anaya, V., Cubel, J.M., Domiguez, F., Boronat, A., Ramos, I., Carsí, J.A.: Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas. In: SET 2002, Software Evolution Through Transformations: Towards uniform support throughout the software life-cycle, Barcelona, Spain (October 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boronat, A., Ramos, I., Carsí, J.Á. (2004). Automatic Model Generation in Model Management. In: Das, G., Gulati, V.P. (eds) Intelligent Information Technology. CIT 2004. Lecture Notes in Computer Science, vol 3356. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30561-3_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-30561-3_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24126-3
Online ISBN: 978-3-540-30561-3
eBook Packages: Computer ScienceComputer Science (R0)