A Framework for Testing Model Composition Engines

Freddy Munoz 1 Benoit Baudry 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Type de document :
Communication dans un congrès
SC '09: Proceedings of the 8th International Conference on Software Composition, 2009, Berlin, Heidelberg, France. Springer-Verlag, pp.125--141, 2009
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00504693
Contributeur : Didier Vojtisek <>
Soumis le : mercredi 21 juillet 2010 - 10:27:30
Dernière modification le : mercredi 11 avril 2018 - 01:51:41
Document(s) archivé(s) le : vendredi 22 octobre 2010 - 16:03:05

Fichier

munoz09b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00504693, version 1

Citation

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. Springer-Verlag, pp.125--141, 2009. 〈inria-00504693〉

Partager

Métriques

Consultations de la notice

226

Téléchargements de fichiers

89