Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

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.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
137Kb

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:1259
Deposited By:Dr Iman Poernomo
Deposited On:31 Jan 2008 10:17
Last Modified:06 Feb 2008 13:54

Repository Staff Only: item control page