A Framework for Testing Model Composition Engines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

A Framework for Testing Model Composition Engines


Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researchers have focused on the definition of model composition approaches (operators) and the tools supporting them (model composition engines). Testing model composition engines is hard. It requires the synthesis and analysis of complex data structures (models). In this context, synthesis means to assembly complex structures in a coherent way with respect to semantic constraints. In this paper we propose to automatically synthesize input data for model composition engines using a model decomposition operator. Through this operator we synthesize models in a coherent way, satisfying semantic constraints and taking into account the complex mechanics involved in the model composition. Furthermore, such operator enables a straightforward analysis of the composition result.
Fichier principal
Vignette du fichier
munoz09b.pdf (561.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00504693 , version 1 (21-07-2010)


  • HAL Id : inria-00504693 , version 1


Freddy Munoz, Benoit Baudry. A Framework for Testing Model Composition Engines. SC '09: Proceedings of the 8th International Conference on Software Composition, 2009, Berlin, Heidelberg, France. pp.125--141. ⟨inria-00504693⟩
80 View
85 Download


Gmail Facebook X LinkedIn More