Logic-based web services composition: From service description to process model

Proceedings - IEEE International Conference on Web Services

Volumn , Issue , 2004, Pages 446-453

  Rao, Jinghai ^a   Küngas, Peep ^a   Matskin, Mihhail ^b  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL LOGIC; GRAPHICAL USER INTERFACES; JAVA PROGRAMMING LANGUAGE; SEMANTICS; THEOREM PROVING; COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; NETWORK PROTOCOLS; PROBLEM SOLVING; PROGRAM TRANSLATORS; SEARCH ENGINES; USER INTERFACES; WORLD WIDE WEB;

LINEAR LOGIC (LL); PROCESS MODEL; SERVICE DESCRIPTION; WEB SERVICES; AXIOMS; SEMANTIC REASONING; SYSTEM ARCHITECTURE;

WORLD WIDE WEB; TELECOMMUNICATION SERVICES;

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

References (20)

1. Jena - semantic web framework for java. Online: http://jena.sourceforge.net.
2. T. Andrews et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1. Online: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel, May 2003.
3. T. Bellwood et al. Universal Description, Discovery and Integration specification (UDDI) 3.0. Online: http://uddi.org/pubs/uddi-v3.00-published-20020719.htm.
4. D. Box et al. Simple Object Access Protocol (SOAP) 1.1. Online: http://www.w3.org/TR/SOAP/, 2001.
5. D. Brickley and R. V. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. Online: http://www.w3.org/TR/rdf-schema/.
6. R. Chinnici et al. Web Services Description Language (WSDL) 1.2. Online: http://www.w3.org/TR/wsdl/.
7. J. M. Dunn. Handbook of Philosophical Logic, volume III, chapter Relevance logic and entailment, pages 117-224. D. Reidel Publishing Company, 1986.
8. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
9. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In The 12th International Conference on the World Wide Web (WWW-2003, Budapest, Hungary, 2003.
10. I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide query containment under constraints using a description logic. In Proc. of LPAR'2000, 2000.
11. J. Lambek. The mathematics of sentence structure. American Mathematical Monthly, 65(3): 154-170, 1958.
12. J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. Jornal of Logic Programming, 11:217-242, 1991.
13. Z. Manna and R. Waldinger. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-704, 1992.
14. D. Martin et al. DAML-S (and OWL-S) 0.9 draft release. Online: http://www.daml.org/services/daml-s/0.9/, May 2003.
15. S. McIlraith and T. C. Son. Adapting golog for composition of semantic web services. In Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning(KR2002), Toulouse, France, April 2002.
16. R. Milner. The ployadic pi-calculus: a tutorial. Technical report, Laboratory for Foundations of Computer Science, University of Edinburgh, October 1991.
17. S. R. Ponnekanti and A. Fox. SWORD: A developer toolkit for web service composition. In The Eleventh World Wide Web Conference, Honolulu, HI, USA, 2002.
18. J. Rao, P. Küngas, and M. Matskin. Application of linear logic to web service composition. In The First International Conference on Web Services, Las Vegas, USA, June 2003. CSREA Press.
19. E. Sirin, J. Hendler, and B. Parsia. Semi-automatic composition of web services using semantic descriptions. In Web Services: Modeling, Architecture and Infrastructure" workshop in conjunction with ICEIS2003, 2002.
20. S. Thatte. XLANG: Web services for business process design. Online: http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm.