一种基于Bigraph理论的软件演化过程模型研究  

Research on software evolution process model based on Bigraph theory

作　　者：刘培培[1] 章勇[1] 莫启[2] 邵振[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016 [2]云南大学软件学院,昆明650091

出　　处：《计算机应用研究》2013年第5期1423-1426,共4页Application Research of Computers

摘　　要：基于Bigraph理论对软件演化过程模型进行研究,目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想,首先提出了一个形式化的软件演化过程模型,然后用扩展的Bigraph来描述软件演化过程模型的结构,使用Bigraph反应系统来描述软件演化过程模型的动态变化,最后对软件演化过程模型动态调整后的完整性进行了验证。This paper did some research about the model of software evolution process to model about the dynamic changes of software evolution process. Based on the Bigraph theory and software evolution process, firstly, it proposed a formal model of software evolution process, then utilized the expanded Bigraph theory to describe the structure of the model of software evolu- tion process and used the Bigraph reaction system to describe the dynamic changes in the model of software evolution process. Lastly, it verified the integrity of the model of software evolution process after dynamic adjustment.

关 键 词：软件演化过程模型 Bigraph理论 Bigraph反应系统 动态性 完整性 

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