Mathieu Lemoine's Home Page
Document Actions
I achieved my Master in April 2010. The subject was a formalism for transformations' traceability.
The formalism, based on Hoare Triple, group theory and group homomorphisms. The goal of the formalism is to represent and study all model transformations. A model, defined by a meta-model, is a representation of a software system. Transformations represent modifications of such a model. Our formalism also provides tools to transpose (convert) transformations from a model to another. These transposition conserve the meta-data of the transformation, thus achieving traceability. My master project also includes an implementation of the formalism in Java (and helper tools in Java and Common Lisp).
My master thesis is available on the website of the Université de Montréal : http://hdl.handle.net/1866/3747
The thesis is composed by an article submitted to "Journal of Software Maintenance and Evolution: Research and Practice" in English and additional details on the implementation in French.
The formalism, based on Hoare Triple, group theory and group homomorphisms. The goal of the formalism is to represent and study all model transformations. A model, defined by a meta-model, is a representation of a software system. Transformations represent modifications of such a model. Our formalism also provides tools to transpose (convert) transformations from a model to another. These transposition conserve the meta-data of the transformation, thus achieving traceability. My master project also includes an implementation of the formalism in Java (and helper tools in Java and Common Lisp).
My master thesis is available on the website of the Université de Montréal : http://hdl.handle.net/1866/3747
The thesis is composed by an article submitted to "Journal of Software Maintenance and Evolution: Research and Practice" in English and additional details on the implementation in French.
