Application of Linear Logic to Web Service Composition

Proceedings of the International Conference on Web Services

Volumn , Issue , 2003, Pages 3-9

  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

Linear Logic; Web Service Composition

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; LINEAR SYSTEMS; PROBLEM SOLVING; SEMANTICS; THEOREM PROVING;

LINEAR LOGIC (LL); WEB SERVICE COMPOSITION;

WORLD WIDE WEB;

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

References (12)

1. "IBM web services tutorial." [On-line]. Available: http://www-106.ibm.com/developerworks/webservices/
2. T. Bellwood et al., "Universal description, discovery and integration specification (UDDI) 3.0." [Online]. Available: http://uddi.org/pubs/uddi-v3.00-published-20020719.htm
3. E. Christensen et al., "Web services description language (WSDL) 1.1." [Online]. Available: http://www.w3.org/TR/wsdl/
4. D. Box et al., "Simple object access protocol (SOAP) 1.1," 2001. [Online]. Available: http://www.w3.org/TR/SOAP/
5. D. Martin et al., "DAML-S 0.7 draft release," January 2003. [On-line]. Available: http://www.daml.org/services/daml-s/0.7/
6. F. Curbera et al., "Business process execution language for web services (BPEL4WS) 1.0," July 2002. [Online]. Available: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
7. R. P. Shankar and F. Armando, "SWORD: A developer toolkit for web service composition," in The Eleventh International World Wide Web Conference, Honolulu, USA, 2002.
8. M. Matskin and J. Rao, "Using structual synthesis of programs to facilitate web services composition," in The. first workshop of Web Services, e-Business and the Semantic Web, Toronto, Canada, vol. LNCS 2512. Springer Verlag, 2002.
9. P. Lincoln, "Deciding provability of linear logic formulas," in London Mathematical Society Lecture Note Series. Cambridge University Press, 1995, vol. 222, pp. 109-122.
10. J.-Y. Girard, "Linear logic," Theoretical Computer Science, vol. 50, pp. 1-102, 1987.
11. A. Ankolekar et al., "DAML-S: Semantic markup for web services," in Proceedings of the International Semantic Web Workshop, 2001.
12. 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, 2003.