计算机应用(Web服务质量建模研究及其正确性验证20110710..doc

Web服务质量建模研究及其正确性验证 王玉标1，方蔚涛1,2，文俊浩2 WANG Yubiao1, FANG Weitao1, WEN Juhao2 (1.重庆大学 虎溪校区网络信息中心,重庆市 400030；2.重庆大学 计算机学院,重庆市 400030；) (1. Department of Information Center ,Chongqing University, Chongqing, 400030； 2. College of Computer Science, Chongqing University, Chongqing, 400030) Modeling for Quality of Web Service and its Composition Verification Validation Abstract: Aiming at the problem that ignore the area of service quality attributes of the current web service quality measurement model, this paper presents a combination of web service quality evaluation model, it introduces in specific areas of service quality attributes, and establish a quality of service tree and service weight of the tree, then they are carried out to quantify the combined services, to establish a Qos-driven service optimization algorithms in order to achieve the user to select the best combination of service. Finally, the measurement method of SOAP engine library to modify, the experimental results have been tested to verify that the model is correctly and effective. Key words: Web Services composition; Quality of Service(QoS); Service Composition model; Web Ontology Language(OWL) 摘 要：针对目前Web服务质量模型忽略了领域相关的服务质量属性问题，提出了一种新的Web服务组合模型，该模型引入了特定领域的服务质量属性，主要包括三个子模型，分别是服务质量子模型、量化指标子模型和权重子模型。在该模型中建立了相关的服务质量树和目标对象树，通过量化指标子模型对目标对象进行量化，形成相应的服务权重树，最后用网上订购机票构建服务质量模型，实验结果验证了该模型的正确性和有效性。 关键词：Web服务组合；服务质量；服务组合模型；Web本体语言 中图法分类号：TP393 文献标识码：A 文章编号： 1 引言 目前的Web服务组合模型主要考虑的都是通用的服务质量属性，并对其进行服务质量计算[1]，忽略了特定领域相关的服务质量属性在Web服务评价中的作用，以飞机票预订Web服务为例，乘客往往选择折扣率较高的航班提供的机票预定Web服务，而入住率则是顾客选择酒店的重要参考要素之一，因为入住率在很大程度上表明了酒店的总体服务水平，它们是用户在衡量Web服务的服务质量以及选择Web服务时的重要参考因素。 文献[2航空订票业务的Web 服务建模及组合兼容性验证] 采用Pi 演算对航空订票业务的Web 服务进行形式化建模，但是对基于Web 服务本体描述语言的多服务组合系统并未进行形式化描述和建模。文献[基于模糊数学的Web服务QoS建模3]主要考虑的传统的服务质量因素对服务组合的质量进行评价，没有考虑客户主观成分。 本文提出的Web服务质量评价模型提供一个自定义服务质量属性的框架，便于不同的Web服务应于于不同的服务领域，也便于领域研究者定制领域特定的服务质量属性。该模型可以通过对Web服务实例的量化来收集相关的服务质量属性的数据，使得Web服务的客户端可以在运行时根据服务质量属性值动态地选择合适的Web服务进行绑定。Web服务质量模型 该模型不仅包括通用服务