【摘要】本文在EPMM的基础上,建立了以CCS为主要形式工具的软件演化过程的元模型CEPMM,它以任务不可分割为前提,支持软件演化过程全局层、过程层和活动层的形式建模与验证。本文致力于基于CEPMM建立的软件演化过程的建模,性质验证及性能评价,论文的主要工作如下。(1)在全局层和过程层,提出了EPMM白盒方法建模与CEPMM建模的转化准则,在活动层,本文定义一种AML(ActivityModell […]