作者: Camillo Fiorentini , Alberto Momigliano , Mario Ornaghi , Iman Poernomo
DOI: 10.1007/978-3-642-13688-7_6
关键词:
摘要: This paper concerns a formal encoding of the Object Management Group's Complete Meta-Object Facility (CMOF) in order to provide more trustworthy software development lifecycle for Model Driven Architecture (MDA). We show how form constructive logic can be used uniform semantics metamodels, model transformation specifications, transformations and black-box tests. A model's instantiation metamodel within MOF is treated using logic's realizability relationship, kind type inhabitation relationship that expressive enough characterize constraint conformance between terms types. These notions enable us formalize notion correct with constraints. then adapt previous work on snapshot generation generate input models from source specification purpose testing transformations.