本文通过对Web服务的服务行为与用户预期的一致性、服务评价的多属性关系、Web服务之间协作上下文的研究，提出了基于本体的服务发现与组合方法，该方法能够通过服务的统一描述、发现与组合，更有效的管理和共享信息并快速构建应用。首先提出了服务行为模型，该模型形式化的构造了Web服务的服务行为描述，建立了Web服务的服务行为和用户预期之间的一致性计算规则，设计了服务发现原型并对服务行为的目标和任务进行了匹配。服务行为模型从用户的功能需求和主观预期两个方面能够提高服务发现的准确性。其次针对服务发现的结果中存在着Web服务的处理能力空闲、服务请求过载和功能失效的问题，提出了多属性关系模型的解决方案并形式化的构造了Web服务的服务评价描述，进而构建了多属性关系计算规则并且证明了多属性关系的一致性。多属性关系模型从Web服务的性能方面进一步的优化了服务发现的结果。最后提出了协作上下文模型，该模型依据业务流程的上下文场景，形式化的构造了Web服务的服务协作描述并构建了协作上下文的计算规则，进而通过计算业务流程中Web服务节点和节点之间关联的上下文，建立了Web服务之间的协作上下文并设计了服务组合原型。协作上下文模型提高了Web服务的可共享性和服务组合的个性化程度。基于本体的服务发现与组合方法能够提高用户对服务发现的准确性、服务的可用性、服务的共享性及服务组合的个性化选择的满意度。在MSIDP和KaM平台的实验结果表明，该方法能够满足用户的服务需求。