Abstract | ||
---|---|---|
This paper concerns a formal encoding of the Object Management Group's Complete Meta-Object Facility (CMOF) in order to provide a more trustworthy software development lifecycle for Model Driven Architecture (MDA). We show how a form of constructive logic can be used to provide a uniform semantics of metamodels, model transformation specifications, model transformations and black-box transformation tests. A model's instantiation of a metamodel within the MOF is treated using the logic's realizability relationship, a kind of type inhabitation relationship that is expressive enough to characterize constraint conformance between terms and types. These notions enable us to formalize the notion of a correct model instantiation of a metamodel with constraints. We then adapt previous work on snapshot generation to generate input models from source metamodel specification with the purpose of testing model transformations. |
Year | Venue | Keywords |
---|---|---|
2010 | ICMT | constructive approach,type inhabitation relationship,model transformation,complete meta-object facility,model transformation specification,realizability relationship,source metamodel specification,correct model instantiation,input model,black-box transformation test,constructive logic,software development |
Field | DocType | Volume |
Intuitionistic logic,Model transformation,Constructive,Computer science,Model-driven architecture,Theoretical computer science,Type inhabitation,Realizability,Metamodeling,Semantics | Conference | 6142 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-13687-7 | 16 |
PageRank | References | Authors |
0.67 | 16 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Camillo Fiorentini | 1 | 121 | 21.00 |
Alberto Momigliano | 2 | 221 | 24.78 |
Mario Ornaghi | 3 | 363 | 47.32 |
Iman Poernomo | 4 | 428 | 27.61 |