Skip to content
Document Actions

Eveline Chantal Kabore (2008)

Contribution à l'automatisation d’un processus de construction d’abstractions de communication par transformations successives de modèles

Phd thesis, Université Rennes 1.

In this thesis, we show how an ordered sequence of model transformations can be used to describe and automate a product design process. This approach is decomposed into three steps. The first step involves describing the product, the target solution and the set of ordered design alternatives that will be used to implement the solution. These descriptions are translated into well defined metamodels in the second step. Each metamodel provides a set of model validation features. The third step specifies a life cycle that respect the separation and the order of the design alternatives. In this life cycle, we use a specific transformation to implement each design alternative according to its order in the product design process. The definition of the transformations supports the control of the design process and provides a set of model validation features as metamodels. We illustrate our approach with the example of distributed communication software that implement various data placement and distribution algorithms. The formalization of the component design process allows the derivation of different implementation strategies from the model of a component and shows how design variants can be reused to build other components. Transformations are implemented, tested and executed with the Kermeta platform.