Characterizing Compatibility of Timed Choreography.

Nawal Guermouche 1 Claude Godart 2
1 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
2 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables application integration within and across business organizations. One of the most important features of Web services is the idea of choreography which allows to capture collaborative processes involving multiple services. In this context, compatibility analysis of choreography is a central point to investigate. We mean by compatibility of a choreography the capability of a set of Web services of actually interacting by exchanging messages in a safe way. Whether a set of services are compatible depends not only on their sequences of messages but also on some quantitative properties such as timed properties. In this paper, we investigate a model checking based approach that deals with checking the compatibility of a choreography in which Web services support asynchronous timed communications.
Document type :
Journal articles
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download
Contributor : Nawal Guermouche <>
Submitted on : Friday, January 3, 2014 - 1:02:24 PM
Last modification on : Friday, June 14, 2019 - 6:31:05 PM
Long-term archiving on : Saturday, April 8, 2017 - 8:08:22 AM


Files produced by the author(s)


  • HAL Id : hal-00921398, version 1


Nawal Guermouche, Claude Godart. Characterizing Compatibility of Timed Choreography.. International Journal on Web Services Research (JWSR), 2011, 8 (2), pp.1-28. ⟨hal-00921398⟩



Record views


Files downloads