摘要
随着用户智能终端的多样化，实时流服务已成为一种重要的Web服务被广泛地应用到各个领域中，使得保证服务行为和服务质量的一致性成为一项重要的研究课题。本文基于对服务提供者和服务请求者端的服务行为进行形式化分析，提出一种满足QoS一致性的实时流服务策略，该策略能够从众多具有相同功能但不同QoS属性的实时流服务中为用户选择既符合自身偏好需求，又保证返回的媒体质量是最优的。本文首先对服务行为和服务质量进行了统一的定量分析，并采用Petri网技术对服务提供者在提供实时流服务时的单一服务行为和组合服务行为进行形式化描述。然后对有QoS影响的服务行为进行分析，详细描述了服务提供者提供的QoS参数，根据服务行为的不同组合方式，分别给出服务质量参数的计算方法，并根据服务请求者的QoS偏好为客户端定义相应的QoS参数，进而对有QoS影响的服务行为流程进行基于Petri网的形式化分析。根据以上理论基础，提出一种具有QoS感知能力的实时流服务架构模型，在面向服务架构基础上增加QoS代理模块，该模块负责实时流服务的非功能属性匹配，根据给定的服务行为和服务质量参数，参照用户端的需求进行实时流服务的功能属性匹配、非功能属性匹配以及多目标全局优化的三层逐步逼近精确值的匹配，保证用户得到最优服务，最后证明该解决方案的可行性和优越性。
NETL