当前位置:主页 > 经济论文 > 经济理论论文 >

基于事务的分布式虚拟化环境下服务替换方法

发布时间:2024-06-03 19:58
  分布式虚拟化环境的动态性与异构性,随时会导致运行在其上的服务组合中出现失效等情况,从而导致整个业务流程中断,极大影响整个系统的可信性.作为应对服务失效最常用的方法,现有的服务替换方法由于缺少事务支持,会导致替换后的服务组合的一致性与正确性缺乏保障.对此,以服务组合事务级属性为核心,提出一种基于事务补偿的分布式虚拟化环境下服务替换方法.首先,提出了一个支持事务级属性的层次化服务组合模型,然后根据服务间数据依赖关系来识别服务事务粒度,最后基于事务粒度识别与服务补偿机制,提出了一种服务组合失效处理方法,促使服务组合的可信性增强演化.实验结果证明,该方法保证了替换过程中服务组合的事务原子性和数据一致性,具有良好的扩展性.

【文章页数】:14 页

【部分图文】:

图3“商务旅行”服务组合EH_CPN模型Fig.3TheEH_CPNmodelofbusinesstravelservicecomposition

图3“商务旅行”服务组合EH_CPN模型Fig.3TheEH_CPNmodelofbusinesstravelservicecomposition

ucture图2服务组合控制结构为使服务变迁在没有数据依赖时推动组合流程继续执行,在EH_CPN模型中引入控制托肯,只有当变迁获得控制托肯才能被触发.控制托肯可以单独的在网内流动,也可以和数据托肯混合流动,所构成的控制流不影响模型数据流的分析.对于需要根据服务组件的特定状态来决定....


图2服务组合控制结构Fig.2Servicecompositioncontrolstructure

图2服务组合控制结构Fig.2Servicecompositioncontrolstructure

型和数量是否符合要求,IC:I0→expr,且满足Type(IC(I0))=Bool.4)I0是初始状态.服务组合由一系列的服务或服务组合通过组合控制结构组合而成,通过分析其间逻辑关系,可以将这些控制结构分为5类[6],分别是Sequence,And-Join,Or-Join,A....


图4And-Join和And-Split时的补偿Fig.4ThecompensationofAnd-JoinandAnd-Split

图4And-Join和And-Split时的补偿Fig.4ThecompensationofAnd-JoinandAnd-Split

服务组合中的控制结构复杂多样,因此需要根据服务组合过程模型的控制结构和数据依赖关系的不同来分别处理.首先定义补偿关系:定义9.补偿关系.如果服务变迁ST2发生服务替换后需要对变迁ST1进行补偿来维护服务组合的一致性,则称服务变迁ST1和ST2之间存在间接依赖关系,记作Comp(S....


图5事务恢复的个数Fig.5Numberoftransactionrecovery

图5事务恢复的个数Fig.5Numberoftransactionrecovery

Fig.5Numberoftransactionrecovery图5事务恢复的个数恢复的成功率.通过实验结果可以看出,在故障率较低的条件下,服务组合中的事务能够通过重启成功执行或者补偿来恢复到初始状态,呈现出较好的事务恢复成功率;当故障率增高时,事务恢复的成功率有所下降,但均能维....



本文编号:3988427

资料下载
论文发表

本文链接:https://www.wllwen.com/jingjilunwen/jingjililun/3988427.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户4b023***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com