|
Published Articles >> Table of Contents >> Abstract
January/February 2006 (Vol. 10, No. 1)
pp. 18-25
Analyzing Conversations of Web Services
Tevfik Bultan, University of California, Santa Barbara
Jianwen Su, University of California, Santa Barbara
Xiang Fu, Georgia Southwestern State University
Full Article Text:
   
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIC.2006.1
Send link to a friend
| Abstract |
|
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.
|
 References
|
[1] D.A. Menascé, "MOM vs. RPC: Communication Models for Distributed Applications," IEEE Internet Computing, vol. 9, no. 2, 2005, pp. 90-93.
[2] J.E. Hanson, P. Nandi, and S. Kumaran, "Conversation Support for Business Process Integration," Proc. 6th IEEE Int'l Enterprise Distributed Object Computing Conf., IEEE CS Press, 2002, pp. 65-74.
[3] B. Benatallah, F. Casati, and F. Toumani, "Web Service Conversation Modeling," IEEE Internet Computing, vol. 8, no. 1, 2004, pp. 46-54.
[4] T. Bultan et al., "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition," Proc. 12th Int'l World Wide Web Conf. (WWW 2003), ACM Press, 2003, pp. 403-410.
[5] E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 1999.
[6] G. Holzmann, Spin Model Checker: Primer and Reference Manual, Addison-Wesley, 2003.
[7] D. Brand and P. Zafiropulo, "Communicating Finite-State Machines," J. ACM, vol. 30, no. 2, 1983, pp. 323-342.
[8] X. Fu, T. Bultan, and J. Su, "Analysis of Interacting BPEL Web Services," Proc. 13th Int'l World Wide Web Conference (WWW 2004), ACM Press, 2004, pp. 621-630.
[9] X. Fu, T. Bultan, and J. Su, Synchronizability of Conversations among Web Services, tech. report 2005-28, Dept. Computer Science, Univ. of California, Santa Barbara, 2005.
[10] X. Fu, T. Bultan, and J. Su, "Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services," Theoretical Computer Science (TCS), vol. 328, nos. 1–2, 2004, pp. 19-37.
[11] X. Fu, T. Bultan, and J. Su, "WSAT: A Tool for Formal Analysis of Web Services," Proc. 16th Int'l Conf. Computer Aided Verification (CAV 2004), LNCS 3576, Springer-Verlag, 2004, pp. 510–514.
[12] X. Fu, Formal Specification and Verification of Asynchronously Communicating Web Services, PhD thesis, Univ. of California, Santa Barbara, June 2004.
|
 Additional Information
|
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
|
|
RSS Feed