An Ontology for Software Component Matching

  • Claus Pahl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2621)

Abstract

The Web is likely to be a central platform for software development in the future. We investigate how Semantic Web technologies, in particular ontologies, can be utilised to support software component development in a Web environment. We use description logics, which underlie Semantic Web ontology languages such as DAML+OIL, to develop an ontology for matching requested and provided components. A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component and service behaviour.

References

  1. 1.
    C. Szyperski. Component Software: Beyond Object-Oriented Programming-2nd Ed. Addison-Wesley, 2002.Google Scholar
  2. 2.
    G.T. Leavens and M. Sitamaran. Foundations of Component-Based Systems. Cambridge University Press, 2000.Google Scholar
  3. 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.CrossRefGoogle Scholar
  4. 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.Google Scholar
  5. 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.Google Scholar
  6. 6.
    W3C Semantic Web Activity. Semantic Web Activity Statement, 2002. http://www.w3.org/sw.
  7. 7.
    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.Google Scholar
  8. 8.
    F. Baader, D. McGuiness, D. Nardi, and P.P. Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003. (to appear).Google Scholar
  9. 9.
    K. Schild. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. 12th Int. Joint Conference on Artificial Intelligence. 1991.Google Scholar
  10. 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.Google Scholar
  11. 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.Google Scholar
  12. 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.Google Scholar
  13. 13.
    F.W. Lawvere and S. Schanuel. Conceptual Mathematics. Cambridge University Press, 1998.Google Scholar
  14. 14.
    DAML Initiative. DAML+OIL Ontology Markup. http://www.daml.org,2001.
  15. 15.
    R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.Google Scholar
  16. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Claus Pahl
    • 1
  1. 1.School of Computer ApplicationsDublin City UniversityDublin 9Ireland

Personalised recommendations