基于进程代数的软件动态演化模型初探
张凌浩
马晓星
1.南京大学软件新技术国家重点实验室,南京,2100932.南京大学软件新技术国家重点实验室,南京,210093
摘要：许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化.因此确保软件在演化时以及演化后可以正确的执行变得十分重要.最近Zhang Ji提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要以原文中的实例为基础,通过进程代数对其进行建模以及分析,为最终建立此模型积累一定的经验.
关键词：动态演化进程代数CCS模型检验
分类号：TP311.11(计算技术、计算机技术)
资助基金：863计划((2006AA012159)项目)江苏省自然科学基金(BK2006712)
论文发表日期：2008-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：7( 63-69 )
英文信息