软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2013年
12期
2797-2813
,共17页
网构软件%数据流%动态演化%迁移%着色Petri网
網構軟件%數據流%動態縯化%遷移%著色Petri網
망구연건%수거류%동태연화%천이%착색Petri망
internetware%data flow%dynamic evolution%migration%colored Petri net
网构软件需要组合多种异构服务并适应动态变化的网络环境,实现不间断服务和在线动态演化.为了将数据流显式地引入动态演化中,基于着色Petri网提出了面向数据流和控制流的网构软件服务模型.分析5种动态演化操作可能引发的数据流错误.为有效避免数据流错误的发生,首先提出面向数据流的服务实例可迁移性准则,然后提出了关于数据流/控制流交叉依赖关系的服务实例可迁移性准则,完整地刻画服务实例动态迁移约束特性.通过实验及结果分析,可以看出所提出的方法具有可行性和适用性.
網構軟件需要組閤多種異構服務併適應動態變化的網絡環境,實現不間斷服務和在線動態縯化.為瞭將數據流顯式地引入動態縯化中,基于著色Petri網提齣瞭麵嚮數據流和控製流的網構軟件服務模型.分析5種動態縯化操作可能引髮的數據流錯誤.為有效避免數據流錯誤的髮生,首先提齣麵嚮數據流的服務實例可遷移性準則,然後提齣瞭關于數據流/控製流交扠依賴關繫的服務實例可遷移性準則,完整地刻畫服務實例動態遷移約束特性.通過實驗及結果分析,可以看齣所提齣的方法具有可行性和適用性.
망구연건수요조합다충이구복무병괄응동태변화적망락배경,실현불간단복무화재선동태연화.위료장수거류현식지인입동태연화중,기우착색Petri망제출료면향수거류화공제류적망구연건복무모형.분석5충동태연화조작가능인발적수거류착오.위유효피면수거류착오적발생,수선제출면향수거류적복무실례가천이성준칙,연후제출료관우수거류/공제류교차의뢰관계적복무실례가천이성준칙,완정지각화복무실례동태천이약속특성.통과실험급결과분석,가이간출소제출적방법구유가행성화괄용성.