Analyse de l'interopérabilité des services Web temporisés

Nawal Guermouche 1 Claude Godart 1
1 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Résumé : Les services Web sont de nos jours le pilier principal du paradigme SOC (Service Oriented Computing) pour soutenir le développement rapide, simple et peu coûteux des applications distribuées pour des environnements hétérogènes. L'un des concepts clé de ce paradigme est celui de la chorégraphie qui permet de spécifier la collaboration d'un point de vue global. Dans ce contexte, l'analyse de la compatibilité est l'une des notions cruciales qui vise la vérification des interactions des services Web. A part les séquences des messages, les interactions des services Web dépendent d'autres propriétés telles que les contraintes temporelles. Dans cet article, nous nous intéressons aux propriétés temporelles et à leur impact dans l'interaction des services Web qui communiquent d'une manière asynchrone. Nous proposons une approche basée sur le model checker UPPAAL. Pour ce faire, nous introduisons un ensemble de transformations et de primitives de caractérisation de la compatibilité temporisée de services Web.
Type de document :
Communication dans un congrès
XXVIIIème Congrès INFORSID - (INFormatique des ORganisations et Systèmes d'Information et de Décision), May 2010, Marseille, France. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00526374
Contributeur : Nawal Guermouche <>
Soumis le : jeudi 14 octobre 2010 - 14:10:46
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13

Identifiants

  • HAL Id : inria-00526374, version 1

Collections

Citation

Nawal Guermouche, Claude Godart. Analyse de l'interopérabilité des services Web temporisés. XXVIIIème Congrès INFORSID - (INFormatique des ORganisations et Systèmes d'Information et de Décision), May 2010, Marseille, France. 2010. 〈inria-00526374〉

Partager

Métriques

Consultations de la notice

273