Composing Multi-View Aspect Models

Abstract : Large models for complex systems can be decomposed in separate pieces corresponding to different perspectives on the system. This decomposition allows the modeller to check properties locally on some aspects of the system before considering the global complexity of the model. In this paper we consider two types of decomposition: according to the concerns identified in the requirements and according to structural and behavioural perspectives. Once the separate models are available and have been checked separately, they have to be composed to check global properties. In this work, we propose automatic composition operators for symmetric and asymmetric concern models, each concern being modelled from a structural and behavioural point of view.
Type de document :
Communication dans un congrès
7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008, Madrid, Spain, Spain. 2008
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-00371221
Contributeur : Didier Vojtisek <>
Soumis le : lundi 30 mars 2009 - 13:41:35
Dernière modification le : mercredi 11 avril 2018 - 01:53:58
Document(s) archivé(s) le : jeudi 10 juin 2010 - 18:53:45

Fichier

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

Identifiants

  • HAL Id : inria-00371221, version 1

Citation

Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke. Composing Multi-View Aspect Models. 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008, Madrid, Spain, Spain. 2008. 〈inria-00371221〉

Partager

Métriques

Consultations de la notice

268

Téléchargements de fichiers

96