Fiabilité des assemblages de composants logiciels. Interact : un modèle général de contrat logiciel

Les paradigmes composants et services ont été déclinés sous forme de nombreux frameworks tels que J2EE, OSGI, SCA ou encore Fractal. Néanmoins, peu d'outils permettent de garantir la fiabilité des applications en raisonnant de manière générique sur leur configuration architecturale et les spécifications de leurs constituants. Nous présentons dans cet ouvrage une approche de validation des assemblages de composants et services qui repose sur l'identification des interactions et des responsabilités entre leurs constituants.
Nous décrivons le modèle objet d'un outil, transversal aux formalismes de spécification, de réification et d'évaluation des propriétés que nous avons définies comme nécessaires à la validité des assemblages. Une application de cet outil est décrite pour deux formalismes de spécifications différents sur l'exemple d'une application de communautés sociales instantanées. Cet outil a fait l'objet d'une implémentation en java pour France Telecom R&D.
Cet ouvrage s'adresse aux ingénieurs, architectes, chercheurs menant une réflexion sur l'amélioration de la fiabilité des assemblages de composants et services.