支持约束声明的服务描述技术

现有的研究仅关注描述服务的属性,而未描述服务的行为属性,如属性的取值范围以及属性取值之间的关系。为此,将约束声明引入到服务描述中,将属性的取值范围及其间的关联关系看作服务的约束条件,定义了约束的表达形式和分类,从而有效地描述Web服务的功能和行为特性。在此基础上给出基于约束的匹配算法来度量服务与请求之间的匹配程度。讨论了该模型的体系结构和实现机制,并在实际项目中得到了应用。