|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
The meta-object facility typed
Poernomo, Iman (2006) The meta-object facility typed. In: SAC '06: Proceedings of the 2006 ACM symposium on Applied computing.
The Object Managment Group’s Meta-Object Facility (MOF) is a semiformal approach to writing models and metamodels (models of models). The MOF was developed to enable systematic model/metamodel interchange and integration. The approach is problematic, unless metamodels are correctly specified: an error in a metamodel specification will propagate throughout instantiating models and final model implementations. An important open question is how to develop provably correct metamodels. This paper outlines a solution to the question, in which the MOF metamodelling approach is formalized within constructive type theory.
Repository Staff Only: item control page