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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
C. Szyperski. Component Software: Beyond Object-Oriented Programming-2nd Ed. Addison-Wesley, 2002.
G.T. Leavens and M. Sitamaran. Foundations of Component-Based Systems. Cambridge University Press, 2000.
A. Moorman Zaremski and J.M. Wing. Specification Matching of Software Components. ACM Trans. on Software Eng. and Meth., 6(4):333–369, 1997.
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.
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.
W3C Semantic Web Activity. Semantic Web Activity Statement, 2002. http://www.w3.org/sw.
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.
F. Baader, D. McGuiness, D. Nardi, and P.P. Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003. (to appear).
K. Schild. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. 12th Int. Joint Conference on Artificial Intelligence. 1991.
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.
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.
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.
F.W. Lawvere and S. Schanuel. Conceptual Mathematics. Cambridge University Press, 1998.
DAML Initiative. DAML+OIL Ontology Markup. http://www.daml.org,2001.
R. Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pahl, C. (2003). An Ontology for Software Component Matching. In: Pezzè, M. (eds) Fundamental Approaches to Software Engineering. FASE 2003. Lecture Notes in Computer Science, vol 2621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36578-8_2
Download citation
DOI: https://doi.org/10.1007/3-540-36578-8_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00899-6
Online ISBN: 978-3-540-36578-5
eBook Packages: Springer Book Archive