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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00526374
Contributor : Nawal Guermouche <>
Submitted on : Thursday, October 14, 2010 - 2:10:46 PM
Last modification on : Tuesday, December 18, 2018 - 4:26:01 PM

Identifiers

  • 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. ⟨inria-00526374⟩

Share

Metrics

Record views

290