Analyzing conversations of Web services

IEEE Internet Computing

Volumn 10, Issue 1, 2006, Pages 18-25

  Bultan, Tevfik ^a   Su, Jianwen ^a   Fu, Xiang ^b  

^a University of California   (United States)

^b GEORGIA SOUTHWESTERN STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC DOCUMENT EXCHANGE; INTEROPERABILITY; MATHEMATICAL MODELS; QUEUEING NETWORKS; SYNCHRONIZATION; TELECOMMUNICATION SERVICES; WEB BROWSERS;

ASYNCHRONOUS COMMUNICATION; SYNCHRONIZABILITY ANALYSIS; SYNCHRONOUS COMMUNICATION; WEB SERVICES;

WORLD WIDE WEB;

EID: 31544460688     PISSN: 10897801     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIC.2006.1     Document Type: Article

References (12)

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 Ser0vices," 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.