A semantic specification framework for analyzing functional composability of autonomous web services

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 695-702

  Lin, Baoping ^a,b,c   Li, Qing ^b,c   Gu, Naijie ^a,b  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

^b University of Science and Technology of China   (China)

^c CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; INFORMATION THEORY; ONTOLOGY; SEMANTICS; SPECIFICATIONS; WEB SERVICES; WORLD WIDE WEB;

AUTOMATIC COMPOSITION; BUSINESS PROTOCOLS; COMPOSABILITY; FINITE-STATE-MACHINES (FSM); INTERNATIONAL CONFERENCES; MESSAGE EXCHANGING; POLYNOMIAL-TIME ALGORITHMS; SEMANTIC SPECIFICATION;

INTERNET PROTOCOLS;

EID: 46849092412     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.18     Document Type: Conference Paper

References (20)

1. D. Beyer, A. Chakrabarti, and T. Henzinger. Web Service Interfaces. Proc. WlVW'05,pp. 148-159, 2005.
2. D. Brand and P. Zafiropulo. On communicating finite-state machines. J ACM, 30(2):323-342, 1983.
3. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. Proc. WS-FM'04, pp. 73-94, 2004.
4. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. Proc. WWW'03, pp. 403-410, 2003.
5. D. Fensel. The semantic web and its languages. IEEE Intell. Syst., 15(6):67-73, 2000.
6. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Compatibility Verification for Web Service Choreography. Proc. ICWS'04, pp. 738-741, 2004.
7. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. Proc. CIAA '03, pp. 188-200, 2003.
8. B. Lin, N. Gu, and Q. Li. A Requester-based Mediation Framework for Dynamic Invocation of Web Services. Proc. SCC'06, pp. 445-454, 2006.
9. B. Medjahed, B. Benatallah, A. Bouguettaya, A. Ngu, and A. Elmagarmid. Business-to-business interactions: issues and enabling technologies. VLDB J., 12:59-85, 2003.
10. B. Medjahed, A. Bouguettaya, and A. Elmagarmid. Composing Web services on the Semantic Web. VLDB J., 12:333-351, 2003.
11. S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. Proc. WWW'02, pp. 77-88, 2002.
12. OWL-S. http://www.daml.org/services/owl-s/
13. SAWSDL. http://www.w3.org/2002/ws/sawsdl/
14. WS-BPEL. http://www.oasis-open.org/apps/org/ workgroup/wsbpel/
15. WS-CDL. http://www.w3.org/2002/ws/chor/
16. WSCI. http://www.w3.org/TR/wsci/
17. WSDL. http://www.w3.org/2002/ws/desc/
18. WSDL-S. http://www.w3.org/SubmissionAVSDL-S/
19. WSMO. http://www.wsmo.org/
20. XML Schema. http://www.w3.org/XML/Schema