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

作者：宋巍; 马晓星; 吕建

来源：计算机学报, 2009, (09): 1816-1831.

• 服务组合
• 动态演化
• 实例级迁移
• 可迁移性标准
• Petri网 Web service composition
• dynamic evolution
• instance-level migration
• migratability criterion
• Petri nets

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

• 单位
  南京大学; 计算机软件新技术国家重点实验室