Welcome to the InfoSci Platform
Reference Hub7
Characterizing Compatibility of Timed Choreography

Characterizing Compatibility of Timed Choreography

Nawal Guermouche, Claude Godart
Copyright: © 2011 |Volume: 8 |Issue: 2 |Pages: 28
ISSN: 1545-7362|EISSN: 1546-5004|EISBN13: 9781613509722|DOI: 10.4018/jwsr.2011040101
Cite Article Cite Article

MLA

Guermouche, Nawal, and Claude Godart. "Characterizing Compatibility of Timed Choreography." IJWSR vol.8, no.2 2011: pp.1-28. http://doi.org/10.4018/jwsr.2011040101

APA

Guermouche, N. & Godart, C. (2011). Characterizing Compatibility of Timed Choreography. International Journal of Web Services Research (IJWSR), 8(2), 1-28. http://doi.org/10.4018/jwsr.2011040101

Chicago

Guermouche, Nawal, and Claude Godart. "Characterizing Compatibility of Timed Choreography," International Journal of Web Services Research (IJWSR) 8, no.2: 1-28. http://doi.org/10.4018/jwsr.2011040101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.