| 一种基于Bigraph理论的软件演化过程模型研究 |
| |
| 引用本文： | 刘培培,章 勇,莫 启,邵 振.一种基于Bigraph理论的软件演化过程模型研究[J].计算机应用研究,2013,30(5):1423-1426. |
| |
| 作者姓名： | 刘培培 章 勇 莫 启 邵 振 |
| |
| 作者单位： | 1. 南京航空航天大学 计算机科学与技术学院, 南京 210016; 2. 云南大学 软件学院, 昆明 650091 |
| |
| 摘 要： | 基于Bigraph理论对软件演化过程模型进行研究, 目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想, 首先提出了一个形式化的软件演化过程模型, 然后用扩展的Bigraph来描述软件演化过程模型的结构, 使用Bigraph反应系统来描述软件演化过程模型的动态变化, 最后对软件演化过程模型动态调整后的完整性进行了验证。
|
| 关 键 词： | 软件演化过程模型 Bigraph理论 Bigraph反应系统 动态性 完整性 |
Research on software evolution process model based on Bigraph theory |
| |
| LIU Pei-pei,ZHANG Yong,MO Qi,SHAO Zhen.Research on software evolution process model based on Bigraph theory[J].Application Research of Computers,2013,30(5):1423-1426. |
| |
| Authors: | LIU Pei-pei ZHANG Yong MO Qi SHAO Zhen |
| |
| Affiliation: | 1. College of Computer Science & Technology, Nanjing University of Aeronautics & Astronautics, Nanjing 210016, China; 2. College of Software, Yunnan University, Kunming 650091, China |
| |
| Abstract: | 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 evolution 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. |
| |
| Keywords: | model of software evolution process Bigraph theroy Bigraph reaction system dynamic integrity |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
