面向数据流的网构软件服务动态演化分析

网构软件需要组合多种异构服务并适应动态变化的网络环境，实现不间断服务和在线动态演化.为了将数据流显式地引入动态演化中，基于着色petri网提出了面向数据流和控制流的网构软件服务模型.分析5种动态演化操作可能引发的数据流错误.为有效避免数据流错误的发生，首先提出面向数据流的服务实例可迁移性准则，然后提出了关于数据流/控制流交叉依赖关系的服务实例可迁移性准则，完整地刻画服务实例动态迁移约束特性.通过实验及结果分析，可以看出所提出的方法具有可行性和适用性.