Skip to main content
SpringerLink
Log in

An ontology for software component matching

  • Special Section on Fundamental Approaches to Software Engineering
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development. We use description logics, which underlie Semantic Web ontology languages, such as OWL, 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 behaviour.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Szyperski C (2002) Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading

    Google Scholar 

  2. Leavens G.T., Sitamaran M. (2000) Foundations of Component-Based Systems. Cambridge University Press, Cambridge

    Google Scholar 

  3. Moorman Zaremski A., Wing J.M. (1997) Specification matching of software components. ACM Trans. Softw. Eng. Methods 6(4): 333–369

    Article  Google Scholar 

  4. DAML-S Coalition. DAML-S Web Services Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) Proccedings of the First International Semantic Web Conference ISWC 2002, pp. 279–291. LNCS 2342, Springer, Berlin Heidelbery New York (2002)

  5. Pahl C. (2003). An ontology for software component matching. In: Pezzè M. (eds). Proccedings of the Fundamental Approaches to Software Engineering FASE’2003, LNCS 2621, Springer, Berlin Heidelbery New York, pp. 6–21

    Google Scholar 

  6. W3C Semantic Web Activity: Semantic Web Activity Statement. http://www.w3.org/2001/sw. (visited 06/12/2004) 2004

  7. Baader F., McGuiness D., Nardi D., Schneider P.P. ed. (2003) The Description Logic Handbook. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  8. Schild, K. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proccedings of the 12th International Joint Conference on Artificial Intelligence (1991)

  9. Kozen D., Tiuryn J. (1990). Logics of programs. In: van Leeuwen J. (eds). Handbook of Theoretical Computer Science, vol. B, Elsevier, Amsterdam, pp. 789–840

    Google Scholar 

  10. Gastinger S., Hennicker R., Stabl R. (1995). Design of Modular Software Systems with Reuse. In: Broy M., Jähnichen S. (eds). KORSO – Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, Springer, Berlin Heidelberg New York, pp. 112–127

    Chapter  Google Scholar 

  11. Meyer B. (1992) Applying design by contract. Computer 25(10): 40–51

    Article  Google Scholar 

  12. Inverardi, P., Tivoli, M. Software Architecture for Correct Components Assembly. In: Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. LNCS Series, Springer, Berlin Heidelberg New York (2003)

  13. Lara R., Roman D., Polleres A., Fensel D. (2004). A Conceptual Comparison of WSMO and OWL-S. In: Zhang L.-J., Jeckle M. (eds). European Conference on Web Services ECOWS 2004. LNCS 3250, Springer, Berlin Heidelberg New York, pp. 254–269

    Google Scholar 

  14. Reussner, R., Poernomo, I., Schmidt, H. Contracts and quality attributes for software components. In: Weck, W., Bosch, J., Szyperski, C. (eds.) Proccedings of the 8th International Workshop on Component-Oriented Programming WCOP’03 (2003)

Download references

Author information

Authors and Affiliations

  1. School of Computing, Dublin City University, Dublin 9, Ireland

    Claus Pahl

Authors
  1. Claus Pahl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claus Pahl.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pahl, C. An ontology for software component matching. Int J Softw Tools Technol Transfer 9, 169–178 (2007). https://doi.org/10.1007/s10009-006-0015-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-006-0015-9

Keywords

Search

Navigation