小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2010年
12期
2305-2309
,共5页
动态演化%偶图%演化一致性%演化完整性
動態縯化%偶圖%縯化一緻性%縯化完整性
동태연화%우도%연화일치성%연화완정성
软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用Petri Net、演算及进程代数不同,Bigraph融合演算和移动Ambient 演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性.
軟件縯化中的行為一緻性、相容性以及繫統完整性約束,長期以來是動態縯化中研究的熱點.本文利用Milner等提齣的Bigraph理論對軟件縯化中的特性進行研究.與以往利用Petri Net、縯算及進程代數不同,Bigraph融閤縯算和移動Ambient 縯算的優勢,其目的為現有的移動和併髮理論建立統一的元模型,併且引入環境上下文參與繫統的遷移,使繫統的描述更為直觀和精確,從而適閤對動態縯化形式化.本文簡要介紹Bigraph的基本概唸和現狀,利用Bigraph建立縯化繫統的構件模型,併在Bigraph理論基礎上給齣分析和驗證完整性、一緻性和相容性相關規則,併通過具體實例驗證利用Bigraph對動態縯化建模的有效性.
연건연화중적행위일치성、상용성이급계통완정성약속,장기이래시동태연화중연구적열점.본문이용Milner등제출적Bigraph이론대연건연화중적특성진행연구.여이왕이용Petri Net、연산급진정대수불동,Bigraph융합연산화이동Ambient 연산적우세,기목적위현유적이동화병발이론건립통일적원모형,병차인입배경상하문삼여계통적천이,사계통적묘술경위직관화정학,종이괄합대동태연화형식화.본문간요개소Bigraph적기본개념화현상,이용Bigraph건립연화계통적구건모형,병재Bigraph이론기출상급출분석화험증완정성、일치성화상용성상관규칙,병통과구체실례험증이용Bigraph대동태연화건모적유효성.
