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