摘要
软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用PetriNet、演算及进程代数不同,Bigraph融合演算和移动Ambient演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性.
The behavior consistent,compatible and constraints of system integrity are the long term research focus of software evolution.In this paper,we utilize the theory of Bigraph,which proposed by Robin Milner,to do some research about such problems mentioned above.Bigraph is integrated with the advantages of pi-calculus and mobile Ambient.Its purpose is to set up a uniform metal model for existing theories of mobile and concurrency calculi and introduce context to contribute to transition,which provide more intuitive and accurate for system description and is suit for the formalization of dynamic evolution.This paper introduces Bigraphical theory and current research,and then utilizes Bigraph to set up a component model and some rules to verify some properties for dynamic system;finally give some example to show it＇s effective.
出处
《小型微型计算机系统》
CSCD
北大核心
2010年第12期2305-2309,共5页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(60873074)资助
湖南省重点科技计划项目(2007GK2015)资助
关键词
动态演化
偶图
演化一致性
演化完整性
dynamic evolution
bigraph
consistent evolution
evolutional integrity
