An ontology for software component matching

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.

[1]  Dieter Fensel,et al.  A Conceptual Comparison of WSMO and OWL-S , 2004, ECOWS.

[2]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming, 2nd Edition , 2002, Addison-Wesley component software series.

[3]  Claus Pahl.  Components, Contracts, and Connectors for the Unified Modelling Language UML , 2001, FME.

[4]  Rolf Hennicker,et al.  Design of Modular Software Systems with Reuse , 1995, KORSO Book.

[5]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[6]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[7]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[8]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[9]  Ian Horrocks,et al.  Digital Libraries and Web-based Information Systems , 2003, Description Logic Handbook.

[10]  Gerhard Friedrich,et al.  Semantic Configuration Web Services in the CAWICOMS Project , 2002, SEMWEB.

[11]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .

[12]  Paola Inverardi,et al.  Software Architecture for Correct Components Assembly , 2003, SFM.

[13]  Jerzy Tiuryn,et al.  Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[14]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[15]  Joachim Peer,et al.  Bringing Together Semantic Web and Web Services , 2002, SEMWEB.

[16]  Manfred Broy,et al.  KORSO: Methods, Languages, and Tools for the Construction of Correct Software , 1995, Lecture Notes in Computer Science.

[17]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[18]  Ralf Reussner,et al.  Contracts and Quality Attributes of Software Components , 2003 .

[19]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[20]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[21]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[22]  Claus Pahl,et al.  An ontology for software component matching , 2003, International Journal on Software Tools for Technology Transfer.