Abstract
Software development has become a distributed, collaborative process based on the assembly of off-the-shelf and purpose-built components. The selection of software components from component repositories and the development of components for these repositories requires an accessible information infrastructure that allows the description and comparison of these components.
General knowledge relating to software development is equally important in this context as knowledge concerning the application domain of the software. Both form two pillars on which the structural and behavioural properties of software components can be expressed. Form, effect, and intention are the essential aspects of process-based knowledge representation with behaviour as a primary property.
We investigate how this information space for software components can be organised in order to facilitate the required taxonomy, thesaurus, conceptual model, and logical framework functions. Focal point is an axiomatised ontology that, in addition to the usual static view on knowledge, also intrinsically addresses the dynamics, i.e. the behaviour of software. Modal logics are central here — providing a bridge between classical (static) knowledge representation approaches and behaviour and process description and classification.
We relate our discussion to the Web context, looking at Web services as components and the Semantic Web as the knowledge representation framework.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
BAADER, F., MCGUINESS, D., NARDI, D. and SCHNEIDER, P. (Eds.) (2003): The Description Logic Handbook. Cambridge University Press.
BERNERS-LEE, T., HENDLER, J. and LASSILA, O. (2001): The Semantic Web. Scientific American, 284(5).
CRNKOVIC, I. and LARSSON, M. (Eds.) (2002): Building Reliable Componentbased Software Systems. Artech House Publishers.
DACONTA, M.C., OBRST, L.J. and SMITH, K.T. (2003): The Semantic Web — A Guide to the Future of XML, Web Services, and Knowledge Management. Wiley & Sons.
DAML-S COALITION (2002): DAML-S: Web Services Description for the Semantic Web. In: I. Horrocks and J. Hendler (Eds.): Proc. First International Semantic Web Conference ISWC 2002. Springer-Verlag, Berlin, 279–291.
HORROCKS, I., MCGUINESS, D. and WELTY, C. (2003): Digital Libraries and Web-based Information Systems. F. Baader, D. McGuiness, D. Nardi and P. Schneider (Eds.): The Description Logic Handbook. Cambridge University Press.
KOZEN, D. and TIURYN, J. (1990): Logics of programs. In: J. van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Vol. B. Elsevier Science Publishers, 789–840.
PAHL, C. (2003): An Ontology for Software Component Matching. In: Proc. Fundamental Approaches to Software Engineering FASE'2003. Springer-Verlag, Berlin, 208–216.
PAHL, C. and CASEY, M. (2003): Ontology Support for Web Service Processes. In: Proc. European Software Engineering Conference / Foundations of Software Engineering ESEC/FSE'03. ACM Press.
SATTLER, U., CALVANESE, D. and MOLITOR, R. (2003): Description Logic-Relationships with other Formalisms. In: F. Baader, D. McGuiness, D. Nardi and P. Schneider (Eds.): The Description Logic Handbook. Cambridge University Press.
SOWA, J.F. (2000): Knowledge Representation — Logical, Philosophical, and Computational Foundations. Brooks/Cole.
SCHILD, K. (1991): A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. 12th Int. Joint Conference on Artificial Intelligence.
W3C — WORLD WIDE WEB CONSORTIUM (2004): Web Services Framework. http://www.w3.org/2002/ws.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Pahl, C. (2005). Organising the Knowledge Space for Software Components. In: Weihs, C., Gaul, W. (eds) Classification — the Ubiquitous Challenge. Studies in Classification, Data Analysis, and Knowledge Organization. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-28084-7_8
Download citation
DOI: https://doi.org/10.1007/3-540-28084-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25677-9
Online ISBN: 978-3-540-28084-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)