基于事务的分布式虚拟化环境下服务替换方法
【文章页数】:14 页
【部分图文】:
图3“商务旅行”服务组合EH_CPN模型Fig.3TheEH_CPNmodelofbusinesstravelservicecomposition
ucture图2服务组合控制结构为使服务变迁在没有数据依赖时推动组合流程继续执行,在EH_CPN模型中引入控制托肯,只有当变迁获得控制托肯才能被触发.控制托肯可以单独的在网内流动,也可以和数据托肯混合流动,所构成的控制流不影响模型数据流的分析.对于需要根据服务组件的特定状态来决定....
图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
服务组合中的控制结构复杂多样,因此需要根据服务组合过程模型的控制结构和数据依赖关系的不同来分别处理.首先定义补偿关系:定义9.补偿关系.如果服务变迁ST2发生服务替换后需要对变迁ST1进行补偿来维护服务组合的一致性,则称服务变迁ST1和ST2之间存在间接依赖关系,记作Comp(S....
图5事务恢复的个数Fig.5Numberoftransactionrecovery
Fig.5Numberoftransactionrecovery图5事务恢复的个数恢复的成功率.通过实验结果可以看出,在故障率较低的条件下,服务组合中的事务能够通过重启成功执行或者补偿来恢复到初始状态,呈现出较好的事务恢复成功率;当故障率增高时,事务恢复的成功率有所下降,但均能维....
本文编号:3988427
本文链接:https://www.wllwen.com/jingjilunwen/jingjililun/3988427.html