Geisler, R.R.GeislerKlar, M.M.KlarPons, C.C.Pons2022-03-092022-03-091998https://publica.fraunhofer.de/handle/publica/330327Metamodeling is playing an increasingly important role in object-oriented software engineering. However, most approaches are using metamodels in a very pragmatic way and important conceptual questions are left open. In this paper, an object-oriented metamodeling methodology based on a formal metalanguage is introduced. The methodology allows for the description of all relevant properties of a metamodel, i.e. abstract syntax, static and dynamic semantics. Different kinds of instantiation relations are identified and a dichotomy for the classification of metaentities in intensional and extensional entities is developed. The reflection of the instantiation relations by the metalanguage is shown.enDichotomiedichotomyformal methodFormale MethodemetamodelingMetamodellierungsemanticsSemantik004conference paper