Spécification et substitution de services OSGi

Herman Mekontso Tchinda 1, * Nicolas Stouls 1 Julien Ponge 1
* Auteur correspondant
1 AMAZONES - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Résumé : Les architectures orientées services constituent l'un des principaux modèles architecturaux couramment utilisés aujourd'hui. La propriété essentielle de ces architectures est le faible couplage entre les services. Cela permet de développer et de déployer les briques de base des applications de manière indépendante. Ceci conduit à une grande mobilité de l'environnement d'exécution où les services peuvent apparaître et disparaître à tout moment. Cependant, cette indépendance des services soulève de nombreux défis, dont l'un des principaux est de pouvoir donner le maximum de garanties sur le fait qu'une application utilisant les services développés par ailleurs s'exécutera comme prévu par ses concepteurs. Dans le cadre du présent travail, nous nous intéressons à l'une des principales raisons des problèmes de communication dans les environnements à services, qui est la substitution des services. Ce problème de substitution est encore plus complexe lorsque les services possèdent un état interne (statefull). Par ailleurs, le mécanisme de substitution implique la recherche d'un service compatible pour remplacer le disparu. Nous proposons donc un mécanisme permettant de fournir une spécification comportementale avec les services, de façon à ce qu'on puisse trouver le meilleur service possible pour la substitution. Nous travaillons sur la plate-forme OSGi qui implémente une architecture orientée services, et où aucun mécanisme de substitution n'est proposé par défaut. Notre contribution, d'une part, est une API basée sur l'utilisation des proxy, pour permettre de gérer la substitution des services sous OSGi. D'autre part, nous proposons une approche de spécification des comportements des services OSGi basée sur les automates interfaces et sur le CCS (algèbre de processus). D'un point de vue pratique, nous avons développé un cas d'étude sur OSGi, sur lequel nous avons illustré notre approche de spécification de services. Nous avons aussi implémenté une partie de notre API que nous avons testé à l'aide de quelques tests unitaires.
Type de document :
Rapport
[Rapport de recherche] RR-7733, INRIA. 2011, pp.58
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00619233
Contributeur : Nicolas Stouls <>
Soumis le : mercredi 2 novembre 2011 - 13:16:09
Dernière modification le : samedi 17 septembre 2016 - 01:31:04
Document(s) archivé(s) le : vendredi 3 février 2012 - 02:25:58

Fichier

RR-7733.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00619233, version 3

Collections

Citation

Herman Mekontso Tchinda, Nicolas Stouls, Julien Ponge. Spécification et substitution de services OSGi. [Rapport de recherche] RR-7733, INRIA. 2011, pp.58. 〈inria-00619233v3〉

Partager

Métriques

Consultations de la notice

324

Téléchargements de fichiers

350