Characterizing Compatibility of Timed Choreography

Nawal Guermouche and Claude Godart
Additional contact information
Nawal Guermouche: CNRS, Université de Toulouse, LORIA-Nancy University, France
Claude Godart: LORIA-Nancy University, France

International Journal of Web Services Research (IJWSR), 2011, vol. 8, issue 2, 1-28

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 captures collaborative processes involving multiple services. In this context, compatibility analysis of choreography is a central point to investigate. The compatibility of a choreography means the capability of a set of Web services to interact 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 quantitative properties like timed properties. In this paper, the authors investigate a model checking based approach that checks the compatibility of a choreography in which Web services support asynchronous timed communications.

Date: 2011
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 4018/jwsr.2011040101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jwsr00:v:8:y:2011:i:2:p:1-28

Access Statistics for this article

International Journal of Web Services Research (IJWSR) is currently edited by Liang-Jie Zhang

More articles in International Journal of Web Services Research (IJWSR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().