A Constructive Approach to Testing Model Transformations

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.

[1]  Iman Poernomo.  Proofs-as-Model-Transformations , 2008, ICMT@TOOLS.

[2]  Jim Woodcock,et al.  A Comparison of State-Based Modelling Tools for Model Validation , 2008, TOOLS.

[3]  Jim Steel,et al.  Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[4]  B. Baudry,et al.  Validation in model-driven engineering: testing model transformations , 2004, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004..

[5]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[6]  Iman Poernomo.  A Type Theoretic Framework for Formal Metamodelling , 2004, Architecting Systems with Trustworthy Components.

[7]  S. Buss.  Handbook of proof theory , 1998 .

[8]  Andy Schürr,et al.  Multi-Domain Integration with MOF and extended Triple Graph Grammars , 2004, Language Engineering for Model-Driven Software Development.

[9]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[10]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[11]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[12]  Jean Bézivin,et al.  Model Transformations in Practice Workshop , 2005, MoDELS.

[13]  Jean-Marc Jézéquel,et al.  Design by Contract to Improve Software Vigilance , 2006, IEEE Transactions on Software Engineering.

[14]  Martin Gogolla,et al.  Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.

[15]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[16]  Gabriele Taentzer,et al.  Generating Instance Models from Meta Models , 2006, FMOODS.

[17]  Benoit Baudry,et al.  Automatic Model Generation Strategies for Model Transformation Testing , 2009, ICMT@TOOLS.

[18]  Pierangelo Miglioli,et al.  A Constructivism Based on Classical Truth , 1988, Notre Dame J. Formal Log..

[19]  Jean Bézivin,et al.  Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs , 2006 .

[20]  Artur Boronat,et al.  An Algebraic Semantics for MOF , 2008, FASE.

[21]  Gabriele Taentzer,et al.  Generating instance models from meta models , 2006, Software & Systems Modeling.

[22]  Benoit Baudry,et al.  On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[23]  Antonio Vallecillo,et al.  Adding Behavior to Models , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[24]  Mauro Ferrari,et al.  Snapshot Generation in a Constructive Object-Oriented Modeling Language , 2007, LOPSTR.

[25]  A. S. Troelstra,et al.  Chapter VI – Realizability , 1998 .

[26]  Mauro Ferrari,et al.  A Constructive Object Oriented Modeling Language for Information Systems , 2006, Electron. Notes Theor. Comput. Sci..

[27]  Janos Sztipanovits,et al.  Formalizing the structural semantics of domain-specific modeling languages , 2009, Software & Systems Modeling.