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

针对现有的Web服务质量模型主要考虑的都是通用的服务质量属性，没有考虑特定的Web服务属性在评价中的作用，提出了一个新的Web服务质量模型，它引入了一个特定领域的服务质量属性，该模型包括三个子模型。模型中建立了相关的服务质量树和目标对象树，通过量化指标子模型对目标对象进行量化，形成相应的服务权重树。该模型既可适应用于单个的Web服务请求，也可以用于多个服务组合而成的请求。通过一个应用实例验证了模型的正确性和可用性。

Modeling and Correctness Verification for Quality of Web Service

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.