Realizability of conversation protocols with message contents

International Journal of Web Services Research

Volumn 2, Issue 4, 2005, Pages 68-93

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

^a GEORGIA SOUTHWESTERN STATE UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Asynchronous communication; Conversation protocols; Messages; Realizability; Verification; Web Service composition

Indexed keywords

ITERATIVE METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING; SPECIFICATIONS; WORLD WIDE WEB;

ASYNCHRONOUS COMMUNICATION; CONVERSATION PROTOCOLS; MESSAGES; REALIZABILITY; VERIFICATION; WEB SERVICE COMPOSITION;

NETWORK PROTOCOLS;

EID: 25144454483     PISSN: 15457362     EISSN: 15465004     Source Type: Journal    
DOI: 10.4018/jwsr.2005100104     Document Type: Article

References (22)

1. Banerji, A. et al. (2002). Web Services conversation language (WSCL) 1.0. Retrieved March 2002, from http://www.w3.org/TR/2002/NOTE-wscl10-20020314/
2. Brand, D., & Zafiropulo, P. (1983). On communicating finite-state machines. Journal of the ACM, 30(2), 323-342.
3. Bultan, T., Fu, X., Hull, R., & Su. J. (2003). Conversation specification: A new approach to design and analysis of e-service composition. In Proceedings of the 12th International World Wide Web Conference (WWW), May (pp. 403-410).
4. Business process execution language for Web Services (BPEL) 1.1. (n.d.). Retrieved from http://www.ibm.com/developerworks/library/wsbpel
5. DAML-S (and OWL-S) 0.9 draft release. (n.d.). Retrieved May 2003, from http://www.daml.org/services/daml-s/0.9/
6. Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2003). Model-based verification of Web Service compositions. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering Conference (ASE).
7. Fu, X., Bultan, T., & Su, J. (2003). Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proceedings of the Eighth International Conference on Implementation and Application of Automata (CIAA), LNCS 2759, July (pp. 188-200).
8. Fu, X., Bultan, T., & Su, J. (2004a). Analysis of interacting Web Services. In Proceedings of the 12th International World Wide Web Conference (WWW), New York, May (pp. 621-630).
9. Fu, X., Bultan, T., & Su, J. (2004b). Conversation protocols: A formalism for specification and analysis of reactive electronic services. Theoretical Computer Science, 328(1/2), 19-37.
10. Fu, X., Bultan, T., & Su, J. (2004c). Model checking XML manipulating software. In Proceedings of the 2004 International Symposium on Software Testing and Analysis (ISSTA), July (pp. 96-103).
11. Fu, X., Bultan, T., & Su, J. (2004d). Realizability of conversation protocols with message contents. In Proceedings of the 2004 IEEE International Conference on Web Services (ICWS), San Diego, California.
12. Fu, X., Bultan, T., & Su, J. (2004e). WSAT: A tool for formal analysis of Web Service compositions. In Proceedings of the 16th International Conference on Computer Aided Verification (CAV), LNCS 3114, July (pp. 510-514).
13. Hanson, J.E., Nandi, P., & Kumaran, S. (2002). Conversation support for business process integration. In Proceedings of the Sixth IEEE International Enterprise Distributed Object Computing Conference (EDOC).
14. Hanson, J.E., Nandi, P., & Levine, D.W. (2002). Conversation-enabled Web Services for agents and e-busincss. In Proceedings of the International Conference on Internet Computing (IC), (pp. 791-796). CSREA Press.
15. Holzmann, G.J. (1997). The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), 279-295.
16. IBM. (n.d.). Conversation Support Project. Retrieved from http://www.research.ibm.com/convsupport/
17. Java Message Service, (n.d.). Retrieved from http://java.sun.com/ products/jms/
18. Message Sequence Chart (MSC). (1994). ITU-T, Geneva Recommendation Z.120.
19. Microsoft Message Queuing Service, (n.d.). Retrieved from http://www.microsoft.com/msmq/
20. Narayanan, S., & McIlraith, S.A. (2002). Simulation, verification and automated composition of Web Services. In Proceedings of the 11th International World Wide Web Conference (WWW).
21. Web Service Choreography Interface (WSCI) 1.0. (n.d.). Retrieved August 2002, from http://www.w3.org/TR/2002/NOTE-wsci-20020808/
22. Web Services Description Language (WSDL) 1.1. (n.d.). Retrieved March 2001, from http://www.w3.org/TR/wsdl