Compatibility analysis of web services

Proceedings - 2005 IEEE/WIC/ACM InternationalConference on Web Intelligence, WI 2005

Volumn 2005, Issue , 2005, Pages 483-486

  Shi, Yuliang ^a   Zhang, Liang ^a   Liu, Fangfang ^a   Lin, Lili ^a   Shi, Baue ^a  

^a FUDAN UNIVERSITY   (China)

Author keywords

Automata; Compatibility; Web services

Indexed keywords

COMPUTER SUPPORTED COOPERATIVE WORK; INFORMATION SERVICES; VIRTUAL REALITY;

COMPATIBILITY ANALYSIS; WEB SERVICES;

WORLD WIDE WEB;

EID: 33748875496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2005.50     Document Type: Conference Paper

References (10)

1. BPEL4WS Specification: Version 1.1 2003 http://www-106.ibm.com/ developerworks/library/ws-bpel
2. W3C, "Web Service Choreography Interface (WSCI) 1.0," World Wide Web Consortium (2002), available at http://www.w3.org/TR/wsci.
3. M. Mecella, B. Pernici, and P. Craca. Compatibility of e-services in a cooperative multi-platform environment. In Proc. of VLDB satellite workshop on Technologies for E-Services (TES), pages 44-57. Springer, 2001.
4. Y. Li and H. V. Jagadish. Compatibility determination in web services. In Proc. of ICEC eGovernment Services WS, 2003.
5. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web services choreographies. In Proc. of workshop on Web Services and Formal Methods (WS-FM), 2004.
6. A. Martens. On compatibility of web services. Petri Net Newsletter, 65,2003.
7. H. Foster, S. Uchitel, J. Magee, and J. Kramer.Compatibility verification for web service choreography. Proc. ICWS, pp. 738-741. IEEE, 2004.
8. L. Bordeaux, G. Salaun, D. Berardi, M. Mecella, When Are Two Web Services Compatible? In Proc. of the 5th VLDB International Workshop on Technologies for e-Services (VLDB-TES 2004).
9. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. of Int. Conf. on Implementation and Application of Automata (CIAA),2003.
10. 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 Int. World Wide Web Conf. (WWW), May 2003.