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

总第228期 计算机与数字工程 VoL36No．10 2008年第10期 ComputerDigitalEngineering 63 基于进程代数的软件动态演化模型初探’ 张凌浩马晓星 (南京大学软件新技术国家重点实验室南京210093) 摘要许多软件系统由于需求和执行环境的变化，都需要在运行时动态的演化。因此确保软件在演化时以及演化后 可以正确的执行变得十分重要。最近ZhangJi提出一种基于状态的软件动态演化模型，论文尝试建立一种基于进程代数的 动态演化模型，并主要以原文中的实例为基础，通过进程代数对其进行建模以及分析，为最终建立此模型积累一定的经验。 关键词动态演化进程代数CCS模型检验 中图分类号TP311．II TowardaProcess BasedSoftware Algebra Dynamic Model Evolution Ma ZhangLinghaoXiaofing (StateLab．ForNovelSoftware 210093) Key Technology，NanjingUniversity，Nanjing software oftenneedtoevolve dueto or Abst鳅Manylongrunning systems dynamicallychangingrequire-ments envffonment．Itis toensurethecorrectnessofthesoftwarewhenandafter this we chanDng important evolving．Inpaper onthe in tocreatea basedsoftware evolutionmodel．Based paper， mainlytry processalgebra dynamic exampleZhang’s webuilda basedmodel，anddomodel some thisworkisafoundationto· processalgebra checkingagainstproperties，and wardsthe basedsoftware evolutionmodel． processalgebra dynamic words checking Key dynamicevolution，processalgebra，CCS，model CIml啮mlberTP311．U 作着，一旦停止下来损失将是不可估计的。还有一 1 引言 类系统，由于其执行环境的变化，也需要动态的根 软件系统在开发的时候，不可能一次完善所有 据这些变化来调整其结构和行为[2]。因此我们就 的功能需求，并使其可以面对未来所有可能出现的