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

摘要：

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

关键词：动态演化、进程代数、CCS、模型检验

所属期刊栏目：36

分类号：TP311.11(计算技术、计算机技术)

资助基金：863计划2006AA012159项目;江苏省自然科学基金BK2006712;江苏省六大人才高峰项目资助

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

页数：共7页

页码：63-69