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

par Hervé Chang

Thèse de doctorat en Informatique

Sous la direction de Philippe Collet et de Philippe Lahire.


  • 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.

  • Titre traduit

    Contract negotiation for hierarchical component-based systems


  • Résumé

    Modern software systems are characterized by their increasing complexity and the strong requirements with respect to the continuity and availability of services. To address these needs, the component-based software engineering and the contractual approach represent two relevant approaches which aims at facilitating the construction of larger systems and increasing their reliability. In addition, non-functional properties of running systems have still to be better managed and some mechanisms that allow them to react to changes and to maintain some satisfactory quality levels are required. This thesis proposes a self-adaptation model for runtime systems that are based on both software components and contracts. Our proposal consists in defining an automated contract negotiation model which makes components negotiate themselves the contract in which their are involved. The negotiation model identifies the different basis elements required to make components operate the adaptation of the components or the contracts, and each negotiation process takes advantage of the various information contained in the contracts. Two negotiation policies are also designed to conduct the negotiation process in different ways. In particular, a compositional reasoning support is proposed to conduct the negotiation processes down into component hierarchies. The negotiation model is based on the general principles of the hierarchical software components platform, named Fractal, and on the contract model, named ConFract, and it is integrated into these two technologies. The contributions are illustrated on various examples which are extracted from a larger case study and the first experiments are described.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (viii-189 p.)
  • Annexes : Bibliogr. p. 145-159. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : 07NICE4069
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.