Utilisation d'agents mobiles pour la construction de services distribués

Abstract

Building a complex distributed service from primitive service applications requires to guarantee non-functional properties like quality of service (e.g. performance, security, dependability). Usually, the mechanisms implemented for interacting with services rely on the client/server scheme. Nowadays, mobile code provides an attractive alternative to these traditional interactions. Our thesis is that mobile agent technology has its place in the engineering of complex distributed services. Actually, interactions combining client/server and mobile agents are suitable to meet quality of service requirements.In this thesis, we propose a functional framework for the specification of service compositions. It addresses remote invocation, remote evaluation and mobile agent interactions. The framework permits to study and compare different interaction choiceswith respect to performance, security, or reliability properties. Associated with analysis tools, it can be integrated within anenvironment which clearly differentiates the architect, designer, and developer roles. This environment relies on the software architecture concept for guiding the designer of complex services in implementation choices. This integration is illustrated within the Aster environment for the development of distributed systems using customization of the execution system with respect to quality properties.La construction d'un service distribué complexe, à partir de services applicatifs primitifs, nécessite de garantir des propriétés qui ne dépendent pas directement des fonctionnalités de l'application telles que les propriétés de qualité de service (p. ex. performance, sécurité ou sûreté de fonctionnement). Le plus souvent, les mécanismes mis en œuvre pour interagir avec les services reposent sur le schémas d'organisation client-serveur. Toutefois, les schémas avec mobilité du code fournissent une alternative intéressante à ces interactions combinant les schémas client-serveur et agents mobiles permettent souvent de mieux répondre aux exigences de qualité de service.Dans cette thèse, nous proposons un cadre fonctionnel pour la spécification de compositions de services. Il prend en compte les interactions de type invocation distante, évaluation distante et agents mobiles. Ce cadre permet l'étude et la comparaison de différents choix d'interactions afin de garantir des contraintes de performance, de sécurité ou encore de fiabilité. Associé à des outils d'analyse, il s'intègre naturellement dans un environnement de construction qui différencie clairement les rôles de l'architecte, du concepteur et de l'équipe de développement. Cet environnement s'appuie sur le concept d'architecture de logiciels afin de guider le concepteur de servies complexes dans les choix de mise en œuvre. Nous illustrons cette intégration avec l'environnement de développement de systèmes distribués Aster qui apporte des techniques de spécialisation du système d'exécution au regard des propriétés de qualité