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

National audienceLes 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