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. © 2010 Springer-Verlag.
CITATION STYLE
Fiorentini, C., Momigliano, A., Ornaghi, M., & Poernomo, I. (2010). A constructive approach to testing model transformations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6142 LNCS, pp. 77–92). https://doi.org/10.1007/978-3-642-13688-7_6
Mendeley helps you to discover research relevant for your work.