Augmenting semantic web service description with compositional specification

Thirteenth International World Wide Web Conference Proceedings, WWW2004

Volumn , Issue , 2004, Pages 544-552

  Solanki, Monika ^a   Cau, Antonio ^a   Zedan, Hussein ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Assumption Commitment; Interval Temporal Logic; OWL; OWL S; Semantic Web services; SWRL; Web services

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FORMAL LOGIC; SEMANTICS; SYNCHRONIZATION; XML;

ASSUMPTION - COMMITMENT; INTERVAL TEMPORAL LOGIC; OWL; OWL-S; SEMANTIC WEB SERVICES; SWRL; WEB SERVICES;

WORLD WIDE WEB;

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

References (25)

1. An Ontology for ITL. http://www.cse.dmu.ac.uk/~monika/Pages/Ontologies/ ITLOnto.owl.
2. ITL and (Ana)Tempura Home page on the web. http://www.cse.dmu.ac.uk/~cau/ itlhomepage/itlhomepage.html.
3. The Rule Markup Initiative. http://www.dfki.uni-kl.de/ruleml/.
4. Anupriya Ankolekar, Frank Huch, Katia Sycara. Concurrent Execution Semantics for DAML-S with Subtypes. The First International Semantic Web Conference (ISWC), Sardinia (Italy), June 2002.
5. D. Fensel, C. Bussler. Web Services Modelling Framework, 2002. http://www.swsi.org/resources/wsmf-paper.pdf.
6. W.-P. de Roever et al. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, Cambridge, England, 2001.
7. E. W. Dijkstra. Solution of a problem in concurrent programming control. Number 8(9). CACM, 1965.
8. Drew McDermott and Dejing Dou. Representing Disjunction and Quantifiers in RDF Embedding Logic in DAML/RDF. International Semantic Web Conference, 2002.
9. Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, Mike Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Technical report, Version 0.5 of 19 November 2003.
10. Intalio, Sun Microsystems, BEA Systems, SAP. Web Service Choreography Interface (WSCI) 1.0 Specification, 2002.
11. Jones C.B. Specification and design of (parallel) programs. pages 321-332, Amsterdam, 1983. Proceedings of information processing'83, North Holland Publishing Co.
12. M. Dean, D. Connolly, F. van Harmelen, J. Hendler, I. Horrocks, D. Guinness, P. F. Patel-Schneider, L. A. Stein. Web Ontology Language (OWL) W3C Reference version 1.0, 18 August 2003. http://www.w3.org/TR/2002/WD-owl-ref- 20021112.
13. J. Misra and K. Chandy. Proofs of networks of processes. volume 7(7):417-426. IEEE Transactions on Software Engineering, 1981.
14. Monika Solanki, Antonio Cau, Hussein Zedan. Introducing compositionality in webservice descriptions. Paris, France, 2003. 3rd International Anwire Workshop on Adaptable Service Provision, Springer-Verlag.
15. Monika Solanki, Drew McDermott and David Martin. Discussions on the Semantic Web service Interest Group mailing list. http://www.w3.org/2002/ws/ swsig/.
16. B. Moszkowski. Executing temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.
17. B. Moszkowski. Programming Concepts, Methods and Calculi, IFIP Transactions, A-56., chapter Some Very Compositional Temporal Properties, pages 307-326. Elsevier Science B. V., North-Holland, 1994.
18. B. Moszkowski. Compositionality: The Significant Difference, volume 1536 of LNCS, chapter Compositional reasoning using Interval Temporal Logic and Tempura, pages 439-464. Springer Verlag, Berlin, 1996.
19. Motta, E., Domingue, J., Cabral, L. and Gaspari, M. IRS-II: A Framework and Infrastructure for Semantic Web Services. In Proceedings of the 2nd International Semantic Web Conference, 2003.
20. S. Narayan and S. A.Mcllraith. Simulation, Verification and Automated Composition of Web Services. Hawaii, USA, 2002. Eleventh International World Wide Web Conference.
21. Roberto Chinnic, Martin Gudgin,Jean-Jacques Moreau, Sanjiva Weerawarana. Web Services Description Language (WSDL) Version 1.2, 2003. http://www.w3.org/ TR/2003/WD-wsdl12-20030124/#intro.
22. M. Sheshagiri, M. desJardins, and T. Finin. A Planner for Composing Services Described in DAML-S. In Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering, 2003.
23. The OWL-S Coalition. OWL-S 1.0 (Beta) Draft Release., 2003. http://www.daml.org/services/owl-s/1.0/.
24. Tony Andrews et al. Business Process Execution Language for Web Services, Version 1.1, 2003. http://www-106.ibm.com/developerworks/library/ws-bpel/.
25. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S Services Composition Using SHOP2. In Proceedings of the 2nd International Semantic Web Conference, 2003.