Négociation de contrats dans les systèmes à composants logiciels hiérarchiques

Hervé Chang 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe RAINBOW
SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Résumé : Les systèmes logiciels modernes sont caractérisés par leur complexité croissante et les fortes exigences en termes de continuité et de disponibilité des services. Face à cette problématique, des propositions telles que le génie logiciel à composants et l'approche contractuelle constituent des approches pertinentes pour faciliter la construction des systèmes et augmenter leur fiabilité. En outre, les aspects extrafonctionnels des systèmes à l'exécution doivent être constamment mieux gérés, et des techniques qui permettent aux systèmes logiciels de réagir à divers changements et maintenir des qualités satisfaisantes sont requises. La contribution de cette thèse est ainsi un modèle d'auto-adaptation dynamique pour des systèmes logiciels fondés sur ces deux approches. Notre proposition originale consiste à définir un modèle de négociation automatisé de contrats qui permet aux composants contractualisés de conduire eux-mêmes l'auto-adaptation. Le modèle identifie les différents éléments de base permettant aux composants d'effectuer l'adaptation des composants ou des contrats, et chaque processus de négociation exploite diverses informations fines contenues dans les contrats. Des politiques de négociation différentes sont aussi développées pour orienter et fournir plusieurs possibilités de déroulement de négociation. En particulier, un support compositionnel permet de conduire la négociation dans les hiérarchies de composants. Le modèle de négociation s'appuie sur les principes généraux de la plate-forme à composants hiérarchiques Fractal et du modèle de contrats ConFract, et son intégration est effectuée sur ces deux technologies. Les propositions sont illustrées sur des exemples extraits d'un cas d'étude et les premières expérimentations du modèle sont présentées.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2007. Français. <NNT : 2007NICE4069>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00782493
Contributeur : Herve Chang <>
Soumis le : mercredi 30 janvier 2013 - 12:49:32
Dernière modification le : mercredi 30 janvier 2013 - 14:19:01
Document(s) archivé(s) le : lundi 17 juin 2013 - 17:18:31

Identifiants

  • HAL Id : tel-00782493, version 1

Collections

Citation

Hervé Chang. Négociation de contrats dans les systèmes à composants logiciels hiérarchiques. Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2007. Français. <NNT : 2007NICE4069>. <tel-00782493>

Partager

Métriques

Consultations de
la notice

217

Téléchargements du document

352