Abstract: In model-driven engineering, models are considered first-class entities. Model-driven engineering has been around for over a decade.
In this paper, we discuss how a metamodel can be typed by means of an enclosing class whose state can be utilised by tools such as editors and interpreters.
Abstract: In model-driven engineering, models are considered first-class entities. Model-driven engineering has been around for over a decade.
Jan 7, 2014 · In model-driven engineering, models are considered first-class entities. Model-driven engineering has been around for over a decade.
In this paper, we discuss how a metamodel can be typed by means of an enclosing class whose state can be utilised by tools such as editors and interpreters.
Typing and Subtyping of Metamodels. - DBLP - Schloss Dagstuhl
dblp.dagstuhl.de › modelsward › BergM14
Aug 11, 2021 · Bibliographic details on Typing and Subtyping of Metamodels.
This paper applies constructive type theory to formalize the MOF metamodelling approach. The benefit of the formalization is that correct typing corresponds to ...
Jun 18, 2015 · Subtypes are subgroups of the supertype entity and have unique attributes, but they will be different from each subtype. Supertypes and Subtypes ...
Feb 1, 2024 · The approach presented above for typing objects within the context of a metamodel is based loosely on a struc- tural, rather than a nominative ...
Dec 22, 2023 · We argue that the added structure can be attributed to a notion of subtyping that shares many features with that of coercive subtyping.