文件名称：论文研究-一种基于Bigraph理论的软件演化过程模型研究.pdf
文件大小：829KB
文件格式：PDF
更新时间：2022-08-11 14:05:18
软件演化过程模型,Bigraph理论,Bigraph反应系统,动态性,完整性
基于Bigraph理论对软件演化过程模型进行研究, 目的是能更好地对软件演化过程中相关动态变化进行建模。利用Bigraph理论和软件演化过程的思想, 首先提出了一个形式化的软件演化过程模型, 然后用扩展的Bigraph来描述软件演化过程模型的结构, 使用Bigraph反应系统来描述软件演化过程模型的动态变化, 最后对软件演化过程模型动态调整后的完整性进行了验证。