文献类型：期刊文章

作　　者：宋敏[1,2] 韦正现[3,1] 印桂生[1]

机构地区：[1]哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨150001 [2]北京外国语大学信息技术中心,北京100089 [3]中国船舶工业系统工程研究院,北京100036

出　　处：《软件学报》

基　　金：国家自然科学基金(61272185;61272186);中央高校基本科研业务费专项资金(2012XJ020;HEUCFZ1219;HEUCF 100608);黑龙江省自然科学基金(F201110;F201238;F020510)

年　　份：2013

卷　　号：24

期　　号：12

起止页码：2797-2813

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI(收录号：20140317204040)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：网构软件 数据流 动态演化  迁移 着色PETRI网

分 类 号：TP311]