论文部分内容阅读
目前,Web服务已经成为实现面向服务体系结构的主要方式,日益增多的开发Web服务使得动态Web服务组合技术成为众多学者研究的热点。通过组合不同的Web服务资源,可以形成功能强大的服务为用户提供新的需求。本文以现有面向服务体系结构相关技术和方法为基础,研究了Web服务组合生命周期当中的四个关键技术,包括最优Web服务组合算法、Web服务组合形式化验证模型、Web服务组合异常监控方法与Web服务组合异常处理等关键技术等。为实现最优Web服务组合,研究了基于改进蚁群算法的最优Web服务组合算法；针对Web组合服务质量保证问题,研究了基于模糊Petri网的Web服务组合形式化验证模型；面向Web服务组合的运行正确性与可靠性,研究了基于事件演算的交互行为检测Web服务组合运行时监控算法；考虑Web服务环境的动态性与不稳定性,研究了基于贝斯网络的Web服务组合异常处理框架。本文的主要工作包括以下四个方面：1)提出了一种基于蚁群算法的最优Web服务组合算法,并对传统的蚁群算法状态转移概率和信息素更新规则进行了改进,提高了搜索时收敛速度。2)基于模糊Petri网理论,建立了基于模糊Petri网的Web服务组合形式化验证模型；并通过研究可达性、活性等系统结构特征与行为特征来验证服务的正确性；结合遗传算法,改进了模糊Petri网参数寻优难问题,提高Web服务组合形式化验证准确度。3)以事件演算理论为基础,构建了一种Web服务组合运行时监控机制；建立了Web组合服务的行为特性模型,并定义了非法行为的不一致判断标准；实现了Web服务运行行为正确性监控。4)设计了基于贝叶斯网络的Web服务组合异常处理框架；分析了Web服务组合与贝叶斯网络的映射关系,并根据先验概率和条件概率实现了Web服务组合异常的诊断；借助基于蚁群算法的Web服务组合算法,用最优候选Web服务组合实现异常处理。