Compatibility and Replaceability Analysis of Timed Web Services Protocols

Emad Elabd 1 Emmanuel Coquery 1 Mohand-Said Hacid 1
1 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : Nowadays, most enterprises use web services as a framework for facilitating application-to-application interaction within and across them. Describing behaviour of web services is becoming more and more important. This behaviour can be described by timed business protocols representing the possible sequences of message exchanges. Studying the behaviour of web services by analyzing their timed business protocols is the main contribution of this work. This paper introduces notions of compatibility and replaceability w.r.t. timed business protocols together with the corresponding verification algorithms.
Document type :
Conference papers
Complete list of metadatas
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Tuesday, January 17, 2017 - 2:01:14 PM
Last modification on : Friday, January 11, 2019 - 4:52:22 PM



Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid. Compatibility and Replaceability Analysis of Timed Web Services Protocols. ICCEE, Dec 2009, Dubai, United Arab Emirates. pp.15-19, ⟨10.1109/ICCEE.2009.106⟩. ⟨hal-01437830⟩



Record views