This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Analyzing Conversations of Web Services
January/February 2006 (vol. 10 no. 1)
pp. 18-25
ASCII Text
x 
 
Tevfik Bultan, Jianwen Su, Xiang Fu, "Analyzing Conversations of Web Services," IEEE Internet Computing, vol. 10, no. 1, pp. 18-25, January/February, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MIC.2006.1,
author = {Tevfik Bultan and Jianwen Su and Xiang Fu},
title = {Analyzing Conversations of Web Services},
journal ={IEEE Internet Computing},
volume = {10},
number = {1},
issn = {1089-7801},
year = {2006},
pages = {18-25},
doi = {http://doi.ieeecomputersociety.org/10.1109/MIC.2006.1},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Internet Computing
TI - Analyzing Conversations of Web Services
IS - 1
SN - 1089-7801
SP18
EP25
EPD - 18-25
A1 - Tevfik Bultan,
A1 - Jianwen Su,
A1 - Xiang Fu,
PY - 2006
KW - Web services
KW - asynchronous communication
KW - conversations
KW - synchronizability
KW - realizability
KW - model checking
VL - 10
JA - IEEE Internet Computing
ER -
 
Tevfik Bultan, University of California, Santa Barbara
Jianwen Su, University of California, Santa Barbara
Xiang Fu, Georgia Southwestern State University
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the interactions among the peers participating to a composite Web service. In this article, we discuss the following question: What is the impact of asynchronous communication on the conversation behavior? We show that the conversation behavior is significantly different for synchronous and asynchronous communication even if the local behaviors of the peers remain the same. We discuss two techniques for analyzing conversations: synchronizability and realizability analyses. Synchronizability analysis is used to identify bottom-up Web service specifications for which asynchronous communication does not change the conversation behavior. Realizability analysis, on the other hand, is used to identify top-down Web service specifications which are realizable using asynchronous communication. We show that using the synchronizability and realizability analyses it is possible to automatically verify conversation behavior for bottom-up and topdown Web service specifications using model checking.
Index Terms:
Web services, asynchronous communication, conversations, synchronizability, realizability, model checking
Citation:
Tevfik Bultan, Jianwen Su, Xiang Fu, "Analyzing Conversations of Web Services," IEEE Internet Computing, vol. 10, no. 1, pp. 18-25, Jan.-Feb. 2006, doi:10.1109/MIC.2006.1
Usage of this product signifies your acceptance of the Terms of Use.