Realizability of conversation protocols with message contents

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 96-103

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

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITE SYMBOLIC LIBRARY; CONVERSATION PROTOCOLS; REALIZABILITY ANALYSIS; WEB SERVICES; CONSERVATION PROTOCOLS; DATA SEMANTICS; MESSAGE CONTENTS; SERVICE COMPOSITION;

ALGORITHMS; CODES (SYMBOLS); COMPUTER SIMULATION; DATA PROCESSING; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; PROBLEM SOLVING; QUEUEING NETWORKS; SEMANTICS; APPROXIMATION THEORY; AUTOMATION; COMMUNICATION SYSTEMS; WORLD WIDE WEB;

WORLD WIDE WEB; NETWORK PROTOCOLS;

EID: 4544223142     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Business Process Execution Language for Web Services (BPEL4WS), version 1.1. available at http://www.ibm.com/developerworks/library/ws-bpel.
2. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition, In Proc. of the Twelfth Int. World Wide Web Conference (WWW), pages 403-410, May 2003.
3. DAML Services Coalition. DAML-S: Semantic markup for web services. In Proceedings of the Intl. Semantic Web Working Symposium (SWWS), July 30-August 1 2001.
4. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. 18th IEEE Int. Conf. on Automated Software Engineering (ASE), 2003.
5. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web Services. To appear in Proceedings of 13th International Conference on World Wide Web (WWW).
6. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. 8th Int. Conf. on Implementation and Application of Automata (CIAA), volume 2759 of LNCS, pages 188-200, 2003.
7. X. Fu, T. Bultan, and J. Su. Realizability of conversation protocols with message contents. UCSB Computer Science Dept. Technical Report (2004-10), 2004.
8. J. E. Hanson, P. Nandi, and S. Kumaran. Conversation support for business process integration. In Proc. of 6th IEEE Int. Enterprise Distributed Object Computing Conference, 2002.
9. Java Message Service, http://java.sun.com/products/jms/.
10. ITU-T recommendation Z.120, Message Sequence Charts (MSC'96), 1996.
11. Microsoft Message Queuing Service. http://www.microsoft.com/msmq/.
12. S. Narayanan and S. A. Mcllraith. Simulation, verification and automated composition of web services. In Proceedings of the 11th International World Wide Web Conference, 2002.
13. W3C. Web Services Description Language (WSDL) version 1.1. available at http://www.w3.org/TR/wsdl.
14. Web Service Analysis Tool (WSAT). http://www.cs.ucsb.edu/~su/WSAT.
15. Web Service Choreography Interface (WSCI). http://www.w3.org/TR/wsci/.
16. XML Schema, available at http://www.w3c.org/XML/Schema.
17. T. Yavuz-Kahveci, M. Tuncer, and T. Bultan. A library for composite symbolic representations. In Proceedings of the 7th International conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of LNCS, pages 52-66. Springer, April 2001.