摘要
基于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.
出处
《计算机应用研究》
CSCD
北大核心
2013年第5期1423-1426,共4页
Application Research of Computers
