Paper Info
Title
A type theoretic framework for formal metamodelling
Abstract
The Object Managment Group's Meta-Object Facility (MOF) [19] is a semiformal approach to writing models and metamodels (models of models). It works according to a model/metamodel hierarchy, where software is specified by models, models are defined as instances of metamodels, which are, in turn, defined as instances of the MOF meta-metamodel. By writing models and metamodels in a common framework, the MOF meta-metamodel, it is easier to perform systematic model/metamodel interchange and integration. However, the approach is only useful if metamodels are correctly specified – a single error in a metamodel specification will result in the propagation of errors throughout instantiating models and final model implementations. An important open question is how to develop provably correct metamodels. This paper applies constructive type theory to formalize the MOF metamodelling approach. The benefit of the formalization is that correct typing corresponds to provably correct metamodels and models. Because the MOF is the central technology behind the Model Driven Architecture initiative [18], our work is intended to lay a formal foundation for making Model Driven Architecture more trustworthy.
Year
DOI
Venue
2004
10.1007/11786160_15
Architecting Systems with Trustworthy Components
Keywords
Field
DocType
type theoretic framework,mof metamodelling approach,formal metamodelling,mof meta-metamodel,correct typing corresponds,provably correct metamodels,instantiating model,final model implementation,correct metamodels,metamodel interchange,metamodel hierarchy,metamodel specification,type theory
Programming language,Object-oriented programming,Computer science,Type theory,Formal specification,Artificial intelligence,Software architecture,Formal methods,Component-based software engineering,Object Constraint Language,Metamodeling,Distributed computing
Conference
Volume
ISSN
ISBN
3938
0302-9743
3-540-35800-5
Citations 
PageRank 
References 
12
1.02
11
Authors
1
Name
Order
Citations
PageRank
Iman Poernomo142827.61