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

Toward a Process Algebra Based Software Dynamic Evolution Model

作　　者：张凌浩[1] 马晓星[1] 

机构地区：[1]南京大学软件新技术国家重点实验室,南京210093

出　　处：《计算机与数字工程》2008年第10期63-69,共7页Computer & Digital Engineering

基　　金：863计划(编号:2006AA01Z159)项目;江苏省自然科学基金(编号:BK2006712);江苏省六大人才高峰项目资助

摘　　要：许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化。因此确保软件在演化时以及演化后可以正确的执行变得十分重要。最近ZhangJi提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要以原文中的实例为基础,通过进程代数对其进行建模以及分析,为最终建立此模型积累一定的经验。Many long running software systems often need to evolve dynamically due to changing require-ments or changing environment. It is important to ensure the correctness of the software when and after evolving. In this paper we mainly try to create a process algebra based software dynamic evolution model. Based on the example in Zhang＇s paper, we build a process algebra based model, and do model checking against some properties, and this work is a foundation towards the process algebra based software dynamic evolution model.

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

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]