Web服务组合动态演化的实例可迁移性.pdf

第 32卷 第 9期 计 算 机 学 报 Vo1．32 NO．9 2009年 9月 CHINESEJOURNALOFCOMPUTERS Sept．2009 Web服务组合动态演化的实例可迁移性 宋 巍 马晓星 昌 建 (南京大学计算机软件新技术 国家重点实验室 南 京 210093) (南京大学计算机软件研究所 南京 210093) 摘 要 组合 网络上既有 Web服务 以构造新 的增值服务正逐渐成为一种主流软件形态．而 Web服务组合常需进 行修改演化 以优化服务组合 的内部业务流程，适应开放的工作环境．在服务组合演化时，为让尽可能多的执行 中的 服务组合实例享受到新业务流程带来的好处，应尽可能地将其动态地迁移到新流程下继续执行．同时为避免实例 迁移到新流程后引发死锁等动态演化错误 ，需对这些迁移实例加 以约束．文 中提 出了一个服务组合动态演化过程 框架，在此框架下形式化地定义了一种新的实例可迁移性标准，并给出了相应的判定算法．与已有的可迁移性标准 相 比，该标准在确保不会产生动态演化错误的同时，可允许更多的实例迁移 ．最后 ，通过一个旅行代理的服务组合 案例 ，说 明了文中工作 的有效性和可行性． 关键词 服务组合 ；动态演化 ；实例级迁移 ；可迁移性标准 ；Petri网 中图法分类号 TP311 DOI号 ：10．3724／SP．J．1016．2009．01816 InstanceM igration inDynamicEvolutionofW eb ServiceCompositions SONG Wei MA Xiao—Xing LU Jian (StateKeyLaboratoryforNovelSoftwareTechnology，NanjingUniversity，Nanjing 210093) (Instituteo／ComputerSoftware，NanjingUniversity，Nanjing 210093) Abstract Constructingnew ，value added W eb servicesbycomposingexistingonesisstepping intothemainstream ofsoftwaredevelopment．Toadaptto theopen environmentsandoptimize theinnerbusinessprocesses，W eb servicecompositionsoften need to evolve dynamically．To maximizethebenefitoftheevolvement，asmanyrunninginstancesaspossibleshouldbemigrated tothenew versionoftheservicecompositionspecification．Howevernotallrunninginstancescan migratesafelybecausesomedynamicchangebugs (e．g．，deadlocks)couldoccurafterthesein— stanceshavemigratedtothenew version．Thispaperpresentsaframeworkto supportthedy— namicevolutionofW ebservicecompositionsunderwhichanew forma1migratabilitycriterion is proposed．Italsoproposesthealgorithm to check whetheran instanceofaservicecomposition canmigratetothenew version