Abstract
The concept of formal metamodel will contribute significantly to the core principles of the OMG Model Driven Architecture (MDA). The OMG standard for metamodeling is the Meta Object Facility (MOF) meta-metamodel that defines a common way for capturing the diversity of modeling standards and interchange constructs that are used in MDA. A combination of UML (Unified Modeling Language), OCL (Object Constraint Language) and natural language is used to describe the abstract syntax and semantics of MOF. In this paper, we propose an algebraic formalization of MOF metamodels. We describe how to translate MOF metamodels into algebraic specifications. As an example, we describe a formalization of the core of the Query, View, Transformation (QVT) metamodel, the OMG standard for expressing transformations. The goal of this formalization is, on the one hand, to reason about ambiguity and consistency of metamodels and, on the other hand, to support tests and proofs in model transformations.
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.
References
Akehurst, D., Kent, S., Patrascoiu, O.: A Relational Approach to Defining and Implementing Transformations between Metamodels. Software and System Modeling 2(4), 215–239 (2003)
Bidoit, M., Mosses, P.: CASL User Manual- Introduction to Using the Common Algebraic Specification. LNCS, vol. 2900. Springer, Heidelberg (2004)
Favre, L., Martinez, L.: Formalizing MDA Components. In: Morisio, M. (ed.) ICSR 2006. LNCS, vol. 4039, pp. 326–339. Springer, Heidelberg (2006)
Favre, L.: A Rigorous Framework for Model Driven Development. In: Siau, K. (ed.) Advanced Topics in Database Research, ch. I, vol. 5, pp. 1–27. Idea Group Publishing, USA (2006)
Favre, L.: Formalizing MDA-based Reverse Engineering Processes. In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, pp. 153–160. IEEE Computer Society, New York (2008)
Favre, L.: Foundations for MDA-based Forward Engineering. Journal of Object Technology (JOT) 4(1), 129–153 (2005)
Favre, L., Pereira, C.: Formalizing MDA-based Refactorings. In: 19th Australian Software Engineering Conference (ASWEC 2008), pp. 377–386. IEEE Press, New York (2008)
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation (2005), http://db.informatik.uni-bremen.de/publications
Liu, H., Strother Moore, J.: Java Program Verification via JVM Deep Embedding in ACL2. In: Slind, K., Bunker, A., Gopalakrishnan, G.C. (eds.) TPHOLs 2004. LNCS, vol. 3223, pp. 184–200. Springer, Heidelberg (2004)
MDA: The Model Driven Architecture (2003), http://www.omg.org/mda
MOF: Meta Object facility (MOF) 2.0. OMG Specification: formal/2006-01-01 (2006), http://www.omg.org/mof
OCL: Object Constraint Language. Version 2.0. OMG Specification: formal/06-05-01 (2006), www.omg.org
OMG (2007), http://www.omg.org
Poernomo, I.: The Meta-Object Facility Typed. In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, pp. 1845–1849 (2006)
QVT. MOF 2.0 Query, View, Transformation. Formal/2008-04-03 (2008), www.omg.org
Unified Modeling Language: Superstructure. Version 2.1.2. OMG Specification: formal/2007-02-05 (2007), www.omg.org
Unified Modeling Language: Infrastructure. Version 2.1.2. OMG Specification formal/07-02-04 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Favre, L. (2009). A Formal Foundation for Metamodeling. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)