Ontology support for web service processes

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 208-216

  Pahl, C ^a   Casey, M ^a  

^a DUBLIN CITY UNIVERSITY   (Ireland)

Author keywords

ontologies; service choreography; web services

Indexed keywords

DESCRIPTION LOGIC; FORMAL ONTOLOGY; INDIVIDUAL SERVICE; KNOWLEDGE REPRESENTATION AND REASONING; LOGIC REASONING; MODAL LOGIC; PROCESS CALCULI; SERVICE CHOREOGRAPHY; SOFTWARE SERVICES; WEB SERVICE CHOREOGRAPHY; WEB TECHNOLOGIES;

COMPUTER SOFTWARE; DATA DESCRIPTION; KNOWLEDGE REPRESENTATION; ONTOLOGY; WEB SERVICES;

SEMANTIC WEB;

EID: 24644469888     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940099     Document Type: Conference Paper

References (32)

1. A. Banerji et.al. Web Services Conversation Language. http://www.w3.org/TR/wscl10/, 2003.
2. R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology, 6(3):213-249, 1997.
3. F. Baader, D. McGuiness, D. Nardi, and P.P. Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
4. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, 284(5), May 2001.
5. A. Brogi, E. Pimentel, and A.M. Roldán. Compatibility of Linda-based Component Interfaces. In A. Brogi and E. Pimentel, editors, Proc. ICALP Workshop on Formal Methods and Component Interaction. Elsevier Electronic Notes in Theoretical Computer Science, 2002.
6. I. Crnkovic and M. Larsson, editors. Building Reliable Component-based Software Systems. Artech House Publishers, 2002.
7. F. Curbera, N. Mukhi, and S. Weerawarana. On the Emergence of a Web Services Component Model. In Proc. 6th Workshop on Component-Oriented Programming WCOP'01. 2001.
8. DAML Initiative. DAML+OIL Ontology Markup. http://www.daml.org, 2001.
9. DAML-S Coalition. DAML-S: Web Services Description for the Semantic Web. In I. Horrocks and J. Hendler, editors, Proc. First International Semantic Web Conference ISWC 2002, LNCS 2342, pages 279-291. Springer-Verlag, 2002.
10. A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker. Semantic Configuration Web Services in the CAWICOMS Project. In I. Horrocks and J. Hendler, editors, Proc. First International Semantic Web Conference ISWC 2002, LNCS 2342, pages 279-291. Springer-Verlag, 2002.
11. D. Fensel and C. Bussler. The Web Services Modeling Framework. Technical report, Vrije Universiteit Amsterdam, 2002.
12. M. Gruninger and J. Lee. Ontology - Applications and Design. Communications of the ACM, 45(2):39-41, Feb 2002.
13. I. Horrocks, D. McGuiness, and C. Welty. Digital Libraries and Web-based Information Systems. In F. Baader, D. McGuiness, D. Nardi, and P.P. Schneider, editors, The Description Logic Handbook. Cambridge University Press, 2003.
14. H. Kim. Predicting How Ontologies for the Semantic Web Will Evolve. Communications of the ACM, 45(2):48-54, Feb 2002.
15. Dexter Kozen and Jerzy Tiuryn. Logics of programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 789-840. Elsevier Science Publishers, 1990.
16. F. Leymann. Web Services Flow Language (WSFL 1.0), 2001. http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
17. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying Distributed Software Architectures. In W. Schäfer and P. Botella, editors, Proc. 5th European Software Engineering Conf. (ESEC 95), volume 989, pages 137-153. Springer-Verlag, 1995.
18. Bertrand Meyer. Applying Design by Contract. Computer, pages 40-51, October 1992.
19. S. Narayanan and S.A. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. World-Wide Web Conference WWW'2002. ACM, 2002.
20. Oscar Nierstrasz. Regular types for active objects. In Proceedings OOPSLA '93, ACM SIGPLAN Notices, pages 1-15, October 1993.
21. C. Pahl. A Formal Composition and Interaction Model for a Web Component Platform. In A. Brogi and E. Pimentel, editors, Proc. ICALP Workshop on Formal Methods and Component Interaction. Elsevier Electronic Notes in Theor. Computer Science, 2002.
22. C. Pahl. An Ontology for Software Component Matching. In Proc. Fundamental Approaches to Software Engineering FASE'2003. Springer-Verlag, LNCS Series, 2003.
23. M. Paolucci, T. Kawamura, T.R. Payne, and K. Sycara. Semantic Matching of Web Services Capabilities. In I. Horrocks and J. Hendler, editors, Proc. 1st Int. Semantic Web Conference ISWC 2002, LNCS 2342, pages 279-291. Springer, 2002.
24. J. Peer. Bringing Together Semantic Web and Web Services. In I. Horrocks and J. Hendler, editors, Proc. First International Semantic Web Conference ISWC 2002, LNCS 2342, pages 279-291. Springer, 2002.
25. D. Sangiorgi and D. Walker. The π-calculus - A Theory of Mobile Processes. Cambridge University Press, 2001.
26. K. Schild. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. 12th Joint Conference on Artificial Intelligence. 1991.
27. C. Szyperski. Component Software: Beyond Object-Oriented Programming - 2nd Ed. Addison-Wesley, 2002.
28. W3C Semantic Web Activity. Semantic Web Activity Statement, 2002. http://www.w3.org/sw.
29. J.B. Warmer and A.G. Kleppe. The Object Constraint Language - Precise Modeling With UML. Addison-Wesley, 1998.
30. World-Wide Web Conference WWW'2003. Semantic Web Services Panel. ACM, 2003.
31. World Wide Web Consortium. Web Services Framework. http://www.w3.org/ 2002/ws, 2003.
32. A. Moorman Zaremski and J.M. Wing. Specification Matching of Software Components. ACM Trans. on Software Eng. and Meth. 6(4):333-369. 1997.