Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
A formal template language enabling metaproof
FM'06 Proceedings of the 14th international conference on Formal Methods
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
Structuring very large domain models: experiences from industrial MDSD projects
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Development of tool extensions with MOFLON
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
ReuseMe - towards aspect-driven reuse in modelling method development
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
A modular model composition technique
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Towards a distributed modeling process based on composite models
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Computer Science - Research and Development
| Hi-index | 0.00 |
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.