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

摘要

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