A constructive approach to testing model transformations

作者: 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.

参考文章(25)
A.S. Troelstra, Realizability Studies in Logic and the Foundations of Mathematics. ,vol. 137, pp. 407- 473 ,(1998) , 10.1016/S0049-237X(98)80021-9
Alfonso Pierantonio, Ivan Kurtev, Jean Bézivin, Davide Di Ruscio, Frédéric Jouault, Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs ,(2006)
Emine G. Aydal, Mark Utting, Jim Woodcock, A Comparison of State-Based Modelling Tools for Model Validation Objects, Components, Models and Patterns: 46th International Conference Proceedings. pp. 278- 296 ,(2008) , 10.1007/978-3-540-69824-1_16
Sagar Sen, Benoit Baudry, Jean-Marie Mottu, Automatic Model Generation Strategies for Model Transformation Testing international conference on model transformation. pp. 148- 164 ,(2009) , 10.1007/978-3-642-02408-5_11
Iman Poernomo, A Type Theoretic Framework for Formal Metamodelling Lecture Notes in Computer Science. pp. 262- 298 ,(2006) , 10.1007/11786160_15
Iman Poernomo, Proofs-as-Model-Transformations international conference on model transformation. pp. 214- 228 ,(2008) , 10.1007/978-3-540-69927-9_15
Samuel R Buss, None, Handbook of proof theory Elsevier. ,(1998)
Ethan Jackson, Janos Sztipanovits, Formalizing the structural semantics of domain-specific modeling languages Software and Systems Modeling. ,vol. 8, pp. 451- 478 ,(2009) , 10.1007/S10270-008-0105-0
Martin Gogolla, Jørn Bohling, Mark Richters, Validating UML and OCL models in USE by automatic snapshot generation Software and Systems Modeling. ,vol. 4, pp. 386- 398 ,(2005) , 10.1007/S10270-005-0089-Y