中文摘要：

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

英文摘要：

There is the need to combine internetware with various heterogeneous services and to adapt to the dynamic changing network environment to achieve uninterrupted service and online dynamic evolution. In order to explicitly draw the data flow into dynamic evolution, a data flow and control flow oriented internetware service model based on colored Petri nets （CPN） is put forward in this paper. Along with analyzing the data flow errors caused by five kinds of dynamic evolution operation, and in order to escape the data flow errors effectively, two data flow oriented service instance migratability criterions are given first. And then, a service instance migratability criterion about the cross dependencies between data flow and control flow is proposed to comprehensively describe the constraint attributes of service instance dynamic migration. The experiment results show that the methods provided in this paper are feasible and applicable to internetware service.