构件技术是实现软件复用的有效途径，能大幅度提高软件的生产效率、降低软件开发和维护成本、提高软件质量。构件的描述和检索是实现软件复用的关键技术，对解决软件复用、降低软件成本和提高软件质量具有重要的意义。 传统的构件服务描述方法主要有基于框架、基于3C模型、基于演绎和基于刻面的构件描述。这些方法对于构件的接口作了许多考虑，但多数都没有提供对构件的准确规范的语义描述，以至于构件服务提供者和构件请求者无法对构件语义信息共享。而且由于上述方法都没有对构件服务的前后置条件进行有效的描述，因此，造成了构件服务使用者对构件检索或使用失败率很高。 本文在基于本体描述的框架下，设计了契约式构件描述与检索原型。针对当前构件语义描述中只对I/O部分进行描述的现状，结合OWL语言和SWRL规则语言，提出了基于本体的契约式构件描述语言COCDL及其描述方法，分别从构件的IOPE以及QoS等五个方面对构件进行全面准确地描述。本方法不仅在构件描述中加入了语义信息，而且引入了契约式设计的思想来规范构件服务的IOPE，从而使软件构件检索的自动化成为可能。 结合COCDL，本文在研究传统的构件匹配方法基础上，提出了基于契约的三步式匹配方法。运用相似度来量化匹配构件的I/O部分，结合SWRL规则并分成三类进行P/E推理匹配。