基于Bigraph理论的动态演化软件相关特性分析与验证方法  

Analyzing and Verifying Method for Dynamic Evolution Software Based on Bigraphical Theory

作　　者：陈洪龙[1] 李仁发[1] 

机构地区：[1]湖南大学计算机与通信学院,湖南长沙410082

出　　处：《小型微型计算机系统》2010年第12期2305-2309,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60873074)资助;湖南省重点科技计划项目(2007GK2015)资助

摘　　要：软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用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.

关 键 词：动态演化 偶图 演化一致性 演化完整性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]