文献类型：期刊文章

作　　者：宋巍[1,2] 马晓星[1,2] 吕建[1,2]

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093 [2]南京大学计算机软件研究所,南京210093

出　　处：《计算机学报》

基　　金：国家"九七三"重点基础研究发展规划项目基金(2009CB320702);国家"八六三"高技术研究发展计划项目基金(2007AA01Z178;2009AA01Z117);国家自然科学基金(60736015;60721002)资助~~

年　　份：2009

卷　　号：32

期　　号：9

起止页码：1816-1831

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20094512438441)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到新业务流程带来的好处,应尽可能地将其动态地迁移到新流程下继续执行.同时为避免实例迁移到新流程后引发死锁等动态演化错误,需对这些迁移实例加以约束.文中提出了一个服务组合动态演化过程框架,在此框架下形式化地定义了一种新的实例可迁移性标准,并给出了相应的判定算法.与已有的可迁移性标准相比,该标准在确保不会产生动态演化错误的同时,可允许更多的实例迁移.最后,通过一个旅行代理的服务组合案例,说明了文中工作的有效性和可行性.

关 键 词：服务组合  动态演化  实例级迁移  可迁移性标准  PETRI网

分 类 号：TP311]