QoS敏感的服务组合动态配置研究

针对静态配置的Web服务组合系统无法适应组件服务QoS的动态变化,以及对易错环境缺乏自适应性和不能反映系统不断演进特征的问题,提出了一种QoS敏感的服务组合系统动态配置方法.通过扩展Petri网对服务依赖关系进行建模,形成一个形式化的系统配置方案;利用无循环依赖关系验证算法和最终状态合法性验证算法验证了系统配置方案的正确性;提出了一种最优配置选择算法以选取具有最优QoS的服务配置.仿真实验对比了动态配置、静态配置和随机配置对用户服务请求满意度的影响,结果表明,所提建模方法和相应算法能大幅改善组合服务的QoS.     

Web服务组合系统扩展GSPN建模与化简规则

使用广义随机Petri 网(generalized stochastic Petri net, GSPN) 对具有复杂时间约束信息的大规模Web 服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸. 针对此问题提出一种扩展GSPN建模方法. 将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束
信息. 进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN 缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间. 多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web 服务组合系统进行快速性能分析.     

一组编制模式下组合Web服务模型的约简规则与算法

为了解决Web服务组合过程中状态空间庞大而导致性能求解的效率难以满足实时性要求的问题,提出了一种过程约简算法.在利用广义随机Petri网进行过程建模后,保留系统时间性能特征,通过对可约简子网的自动探察,剔除部分规则结构(序列、选择、并行、循环),孤立出可单独求解的子结构,由此在比较满意的时间内完成大规模模型约简.多种模型规模下的实验性能表明,所提算法可在动态服务组合与组合过程中自适应、快速地获得系统响应时间和吞吐量等性能指标,适用于多数服务组合过程的在线响应时间分析.     

基于公共信息模型的分布式系统业务管理

为了管理Web服务所依赖的底层资源，提出了不同体系结构管理集成的通用业务管理机制．该机制将业务管理的服务级协定(SLA)监视过程分解成配置服务、测量服务、条件评估服务和管理服务，并给出实现服务的最佳方案．建立了SLA参数与资源度量的映射，将SLA从Web服务环境配置到传统管理构架的公共信息模型对象管理器(CIMOM)，并将CIMOM的测量数据传回给Web服务，达到2种体系结构间管理的互操作性．通过主动资源代理，自觉请求检索新度量和计算SLA参数，无需外部触发，有效降低了系统的开销．仿真实验表明，该机制可提高分布式系统的业务监控能力。