CMOF-Model Semantics and Language Mapping for MOF 2.0 Implementations

Authors:
Markus Scheidgen
Affiliations:
Institute of Computer Science, Humboldt-Universitat zu Berlin
Venue:
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Year:
2006

Citing 0
Cited 4

Semi-automatic Generation of Metamodels and Models From Grammars and Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Human comprehensible and machine processable specifications of operational semantics

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
MDE basics with a DSL focus

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Metamodel adaptation and model co-adaptation

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Meta-modelling programming frameworks enable engineers to deal with models, defined through object-oriented meta-models, in the environment of programming languages. Existing frameworks use redefinition relationships between meta-model classes to encourage reusable metamodel design. In contrast to existing platforms the upcoming MOF 2.0 OMG recommendation proposes the metamodelling language CMOF that also includes the possibility to define redefinition, and sub-setting constraints between the properties of meta-model classes. In this paper we extend existing implementation strategies and language mappings to realize these new features in a MOF 2.0 implementation. We propose a Java language mapping for the CMOF-model, based on method overwriting with changing return types and generic collection types that allow reasonable static type safety. Furthermore, we describe the semantics that are needed to implement functionality for adding and removing property values that automatically yields sub-setting constraints.