An ontology for software component matching

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2621, Issue , 2003, Pages 6-21

  Pahl, Claus ^a  

^a DUBLIN CITY UNIVERSITY   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; SEMANTIC WEB; SOFTWARE ENGINEERING;

DAML+OIL; DESCRIPTION LOGIC; MODAL LOGIC; SEMANTIC WEB ONTOLOGIES; SEMANTIC WEB TECHNOLOGY; SERVICE BEHAVIOURS; SOFTWARE COMPONENT; WEB ENVIRONMENT;

SOFTWARE DESIGN;

EID: 35248859734     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_2     Document Type: Article

References (16)

1. C. Szyperski. Component Software: Beyond Object-Oriented Programming - 2nd Ed. Addison-Wesley, 2002.
2. G.T. Leavens and M. Sitamaran. Foundations of Component-Based Systems. Cambridge University Press, 2000.
3. A. Moorman Zaremski and J.M. Wing. Specification Matching of Software Components. ACM Trans. on Software Eng. and Meth., 6(4):333-369, 1997.
4. 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.
5. 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-Verlag, 2002.
6. W3C Semantic Web Activity. Semantic Web Activity Statement, 2002. http://www.w3.org/sw.
7. I. Horrocks, D. McGuiness, and C. Welty. Digital Libraries and Web-based Information Systems. In F. Baader, D. McCuiness, D. Nardi, and P.P. Schneider, editors, The Description Logic Handbook. Cambridge University Press, 2003.
8. F. Baader, D. McGuiness, D. Nardi, and P.P. Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003. (to appear).
9. K. Schild. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. 12th Int. Joint Conference on Artificial Intelligence. 1991.
10. 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.
11. C. Pahl. Components, Contracts and Connectors for the Unified Modelling Language. In Proc. Symposium Formal Methods Europe 2001, Berlin, Germany. Springer-Verlag, LNCS-Series, 2001.
12. M. Casey. Towards a Web Component Framework: an Investigation into the Suitability of Web Service Technologies for Web-based Components. M.Sc. Dissertation. Dublin City University, 2002.
13. F.W. Lawvere and S. Schanuel. Conceptual Mathematics. Cambridge University Press, 1998.
14. DAML Initiative. DAML+OIL Ontology Markup. http://www.daml.org,2001.
15. R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
16. 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.