Web服务集成协调框架中的基于语义锁的死锁检测与解除

为了保证Web服务集成时的一致性和可靠性,IBM和Microsoft发布了Web服务协作(Web Services Coordination)规范以及Web服务事务(Web Services Transaction)规范,它们负责协调整个业务流程中多个Web服务的协调与合作.但是由WS-Coordination和WS-Transaction所定义的框架并没有对Web服务环境中多个事务并发执行时所出现的死锁问题提供相应的解决方案.因此我们设计了一种适合于Web服务环境的语义锁模式,这种锁模式能够极大地提高Web服务环境中事务间的并发度,提高企业的经济效益,并提出了一种能够根据语义锁中的语义信息最大限度地减少企业经济损失的死锁解除方法.     

基于Web服务的SOA原型系统架构

基于SOA生命周期的建模、组装、部署和管理四个阶段,提出了一个基于Web服务标准的SOA原型系统架构.在组装阶段的服务选择引入基于本体的服务匹配器,并引入了服务质量(QoS)管理器;在管理阶段保证组合服务的正确执行提供了监控器、异常处理器和事务适配器和基于多值背景值依赖的方法的组合服务QoS管理器.提出了在组装阶段和管理阶段的双层QoS管理,为Web服务组合和SOA架构的研究提供了参考.     

基于Web服务的事务处理

随着Web服务发展和广泛应用，为了保证Web服务的一致性和可靠性，需要考虑在Web服务环境下的事务处理．讨论了基于Web服务对传统的原子型事务的处理方式，并分析了如何构架Web服务以加强对长事务即业务事务的支持。     

内容寻址网络的P2P语义Web服务组合系统架构

为了提高语义Web服务组合系统的扩展性、可靠性和稳定性,提出了一种基于P2P的语义Web服务(P2PSWS)组合系统架构.该架构结合了集中式和分布式结构的优点,将统一描述、发现和集成协议的功能分散于本地Web节点、组Web节点和公共Web节点;设计了一种基于内容寻址网络的P2P网络语义Web服务的定位机制,以保证每个共享服务按领域划分,按被所有节点所共享的公共Web节点来注册.原型系统运行表明,该架构有助于克服传统公共Web服务结构上的单一节点失败问题,扩展了P2P系统的能力,有效地实现了基于本体的语义Web服务的组合.     

基于NuSMV的Web服务失配限界模型检测

目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测.最后通过实验说明了该方法的可行性.     

基于Web服务的SOA原型系统架构

基于SOA生命周期的建模、组装、部署和管理四个阶段,提出了一个基于Web服务标准的SOA原型系统架构。在组装阶段的服务选择引入基于本体的服务匹配器,并引入了服务质量（QoS）管理器;在管理阶段保证组合服务的正确执行提供了监控器、异常处理器和事务适配器和基于多值背景值依赖的方法的组合服务QoS管理器。提出了在组装阶段和管理阶段的双层QoS管理,为Web服务组合和SOA架构的研究提供了参考。     

Web服务组合方法的研究

在Web技术迅速发展的今天,Web服务作为一种分布式应用技术正在引起越来越广泛的重视.随着用户对服务集成度和服务性能要求的不断提高,工业界和学术界关注的热点正在由单一的Web服务向组合的Web服务过渡.而语义是解决Web服务组合问题的重要使能技术,顺应这一趋势,展开对基于语义的Web服务组合相关问题的研究.     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

基于具体事务的补偿支持服务替换QoS模型

针对传统替换模型中缺乏事务支持而不可用的情况,提出了一种补偿支持的服务替换QoS模型.该模型充分考虑了服务间多关系以及事务Web服务特性,将事务补偿代价与替换选取代价有机结合,建立了全面评价补偿支持的替换服务QoS目标函数,在此基础上,提出了全新QoS驱动的补偿支持服务替换算法.实验证明该模型不仅保证了替换过程中事务原子性和数据一致性,而且提高了系统的可靠性和可信性.     

Web使用记录挖掘前的事务识别方法

Web使用记录挖掘是采用数据挖掘技术对Web服务器上日志文件中的数据进行挖掘,以发现用户访问Web的方式及页面间存在的某种关联,从而可以为网站设计、提供网络个性化服务及其他电子商务活动提供决策依据.事务识别是Web使用记录挖掘前的一种数据预处理技术,本文介绍事务识别的基本方法,并给出一个最大前向引用序列事务识别新方法.     

基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

一种基于最小覆盖的复杂Web服务组合方法

针对复杂Web服务的组合问题,提出了基于最小覆盖的Web服务组合方法(CWSCM).该方法从需求目标出发,将逻辑理论中的逻辑函数化简的最小覆盖思想运用于基于本体的多层交服务匹配的过程之中,从而建立了最小服务匹配集合,同时构造了优化的有序服务组合图,并将该图的形式化表示保存于扩充的Web服务描述之中,以便复用.实验表明,CWSCM可成功地组合复杂的Web服务,保证服务组合的成功率和效率,当组合满意度接近70%时,组合服务的成功率最高,而满意度对组合效率的影响比较小.     

面向物流应用场景的Web服务查询与组合

为解决物流行业中运输服务查询所存在的弊端,探索Web服务查询与组合的智能化方法.通过创建Juddi注册中心,将Juddi注册中心和UDl914J相结合,实现JSP页面的面向物流场景的Web服务发布与查询.利用业务流程执行语言(BPEL)技术对服务进行选择与组合,从而实现面向物流场景的智能化Web服务查询与组合.试验结果表明,组合结果符合实际要求.     

采用PDDL的Web服务组合方法研究

针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况,基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性,提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和PDDL中相应元素的转换,将Web服务组合问题成功地转换为规划问题.完成该转换后,就可自由选择AI规划器对Web服务进行组合.以查询天气信息作为组合案例,对本文提出的组合方法进行了验证,结果表明,文中所提的组合方法可用于解决Web服务组合问题,提高了AI规划器在Web服务组合问题上的普适性.     

基于组合的Web服务复杂网络的构建与分析

提出一种以Web服务为节点,服务间的调用关系为边来构建复杂网络模型的方法.通过模型来研究Web服务组合结构中的服务关系,找到大量Web服务中关键的Web服务,增加组合服务的健壮性及可靠性.实验结果证明了该方法的正确性以及有效性.该方法的提出把对Web服务的研究从传统的SOA模型中引领到复杂网络模型中,对Web服务组合的进一步研究具有指导意义.     

一种支持用户偏好的语义Web服务组合算法

Web服务组合是Web服务系统架构的重要组成部分,语义Web技术的出现使智能Web服务的实现成为可能。随着服务数量的指数级增长,支持用户偏好的服务质量度量技术在Web服务架构中发挥着越来越重要的作用。本文在现有的语义Web服务组合技术的基础上,提出基于服务质量度量的一种支持用户偏好的语义Web服务组合方法,在完成用户服务请求的同时,能够更好地满足用户的个性化需求。     

基于HTN规划的语义Web服务自动组合

面向服务体系结构(SOA)逐渐成为企业信息集成的主流技术,面对不断变更的用户需求和集成困难问题,自动化的服务组合是实现SOA的关键技术.语义Web服务使用本体描述语言对Web服务进行语义标注,使Web服务的自动发现、自动调用和自动组合成为可能.探讨了OWL-S和HTN规划等相关技术,给出了基于规划的语义Web服务组合方法,使用OWL-S API、JSHOP2规划器和JESS知识库,设计了一个基于HTN规划的语义Web服务自动组合系统.该系统由服务抽取器、服务编辑器、转换器、规划器、知识库和执行引擎等模块组成,实现了Web服务组合的自动化,并利用模糊约束表达用户偏好,使用分支限界法对HTN进行分解,实测结果表明用户满意度有显著提高.     

SOA环境下系统事务模型的研究与设计

在SOA环境下,各Web服务协作完成一个业务功能。而这些服务通常会对各自的本地数据和共享数据进行读写操作。因此系统能否正确和可靠地保证事务完整性是衡量能否投入使用的标准之一。通过提出一种对系统设计人员和开发人员统一的事务建模方法,使得业务分析师在系统设计时可以对系统事务进行整体建模;在实现时,开发人员可以将此事务模型简单地映射到具体的SOA实现技术中去。     

基于改进多目标蜂群算法的Web服务组合优化方法

为解决Web服务组合优化方法中的组合多样性和服务质量的问题,在人工蜂群算法上提出改进,通过在算法中引入反向学习算子、精英引导策略和组合变异策略等操作,使得种群个体有针对性地进行更新,在保证服务组合质量的前提下,提高了服务组合的多样性.结果表明,所提算法具有良好的算法收敛性和均匀性,同时在为Web服务组合优化方面,也取得了较好的优化效果,提高了寻优精度、解的质量和收敛速度.     

Web服务事务的动态补偿模型

对π-演算进行扩展,提出了作为Web服务事务动态补偿模型的Exπ-演算.该演算的补偿可随着Web服务的交互动态地建立起来,同时给出了结构同余关系和操作语义.为了保证事务的唯一性,定义了一个简单的类型系统.最后,将该简化的Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比其他演算更灵活,表达能力更强.