Analyse de l'interopérabilité des services Web temporisés - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Nawal Guermouche
  • Fonction : Auteur
  • PersonId : 838439
Claude Godart
  • Fonction : Auteur
  • PersonId : 830462
  • IdRef : 031091733

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.
Fichier non déposé

Dates et versions

inria-00526374 , version 1 (14-10-2010)

Identifiants

  • HAL Id : inria-00526374 , version 1

Citer

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. ⟨inria-00526374⟩
105 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More