基于进程代数的软件动态演化模型初探

摘要：

许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化.因此确保软件在演化时以及演化后可以正确的执行变得十分重要.最近Zhang Ji提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要以原文中的实例为基础,通过进程代数对其进行建模以及分析,为最终建立此模型积累一定的经验.

关键词： 动态演化 进程代数 模型检验 软件系统 软件演化 演化模型

作者: 张凌浩 马晓星

作者单位: 南京大学软件新技术国家重点实验室,南京,210093

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 63-69

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）