Paper Info
Title
The meta-object facility typed
Abstract
The Object Managment Group's Meta-Object Facility (MOF) (9) is a semiformal approach to writing models and metamodels (models of models). The MOF was developed to enable systematic model/metamodel interchange and in- tegration. The approach is problematic, unless metamodels are correctly specified: an error in a metamodel specifica- tion will propagate throughout instantiating models and fi- nal 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 meta- modelling approach is formalized within constructive type theory.
Year
DOI
Venue
2006
10.1145/1141277.1141710
ACM Symposium on Applied Computing
Keywords
Field
DocType
constructive type theory,meta-object facility,systematic model,semiformal approach,provably correct metamodels,model driven architecture,mof meta-modelling approach,instantiating model,important open question,final model implementation,metamodel interchange,metamodel specification,type theory
Intuitionistic type theory,Programming language,Computer science,Meta-Object Facility,Implementation,Metamodeling
Conference
ISBN
Citations 
PageRank 
1-59593-108-2
13
0.73
References 
Authors
6
1
Name
Order
Citations
PageRank
Iman Poernomo142827.61