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

Contract negotiation for hierarchical component-based systems

• Auteur / Autrice : Hervé Chang
• Direction : Philippe Collet, Philippe Lahire
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2007
• Etablissement(s) : Nice
• Ecole(s) doctorale(s) : École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes)

Mots clés

Mots clés contrôlés

Fractales

Composants logiciels

Génie logiciel

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.

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.