Abstract
The Meta Object Facility (MOF) is one of the most frequently used languages for the definition of a DSL’s abstract syntax. However, its lack of sophisticated modularization concepts in comparison to GPLs such as Ada or component-oriented ADLs makes it hard to maintain a large number of complex metamodels. MOF 2.0 packages can be used to a certain extent to define, refine, and compose language descriptions, but do not offer appropriate support for information hiding as well as for the specification of parametrizable metamodeling components. Motivated by a running example we, therefore, extend MOF 2.0 with concepts for the specification of proper metamodel components with provided export and required import interfaces. Furthermore, we present a formalization of a metamodel component composition operator based on graph morphisms. The resulting component-oriented version of MOF allows language developers to describe reoccurring, parametrizable sublanguages once and instantiate them differently in several metamodels.
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
Amelunxen, C., Schürr, A.: Formalizing Model Transformation Rules for UML/MOF 2. IET Software Journal (accepted for publication, 2007)
Amlio, N., Stepney, S., Polack, F.: A Formal Template Language Enabling Metaproof. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 252–267. Springer, Heidelberg (2006)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer, Heidelberg (1990)
Emerson, M., Sztipanovits, J.: Techniques for metamodel composition. In: OOPSLA – 6th Workshop on Domain Specific Modeling, pp. 123–139 (October 2006)
Krahn, H., Rumpe, B., Völkel, S.: Efficient Editor Generation for Compositional DSLs in Eclipse. In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (DSM 2007), Montreal, Quebec, Canada (2007)
Object Management Group, Inc. Unified Modeling Language: Infrastructure(July 2005), http://doc.omg.org/formal/2005-07-05.pdf
Object Management Group, Inc. Unified Modeling Language: Superstructure (July 2005), http://doc.omg.org/formal/2005-07-04.pdf
Object Management Group, Inc. Meta Object Facility (MOF) Core Specification (January 2006), http://doc.omg.org/formal/2006-01-01.pdf
Object Management Group, Inc. Object Constraint Language (May 2006), http://doc.omg.org/formal/06-05-01.pdf
Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, Technische Universität Berlin (1996)
Winter, A.: Referenz-Metaschema für visuelle Modellierungssprachen. Deutscher Universitätsverlag, Wiesbaden, Dissertation (in german), Institut für Informatik. Universität Koblenz-Landau (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weisemöller, I., Schürr, A. (2008). Formal Definition of MOF 2.0 Metamodel Components and Composition. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)