Web服务质量建模及其正确性验证  

Modeling and Correctness Verification for Quality of Web Service

作　　者：王玉标[1,2] 饶锡如[1] 

机构地区：[1]重庆大学计算机学院,重庆400030 [2]重庆大学虎溪校区网络信息中心,重庆400030

出　　处：《计算机技术与发展》2014年第1期18-21,共4页Computer Technology and Development

基　　金：国家自然科学基金资助项目(61075053);重庆市自然科学基金(CSTC;2010BB2244)

摘　　要：针对现有的Web服务质量模型主要考虑的都是通用的服务质量属性,没有考虑特定的Web服务属性在评价中的作用,提出了一个新的Web服务质量模型,它引入了一个特定领域的服务质量属性,该模型包括三个子模型。模型中建立了相关的服务质量树和目标对象树,通过量化指标子模型对目标对象进行量化,形成相应的服务权重树。该模型既可适应用于单个的Web服务请求,也可以用于多个服务组合而成的请求。通过一个应用实例验证了模型的正确性和可用性。Aiming at the problem that most existing QoS models focus on generic QoS properties while ignore domain-specific ones, which are also of great use in evaluating the QoS level of a Web service, propose a new Web quality of service model, which introduces a specific field service quality attributes, the model consists of three sub-models. A quality of service and the target object tree is estab- lished, then get the formation of the tree of corresponding service weight. This model is not only adapted for a single Web service request, but also used for a combination of multiple service requests. An example is used to illustrate the correctness and availability of this model.

关 键 词：WEB服务 服务质量模型 服务组合 正确性验证 WEB本体语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]