论文部分内容阅读
针对现有软件过程验证主要以结构验证和性质验证为主，缺乏行为验证的不足，提出了一种验证软件演化过程行为的代数方法．该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展，提出软件演化过程元模型代数EPMM—A．针对EPMM建模产生的软件演化过程模型，一方面使用EPMM—A形式定义软件演化过程模型的行为规约，另一方面在其公理系统的支持下，基于等式推导验证软件演化过程模型的行为与行为规约是否一致，使行为验证方式从模型推导（非形式化）变为代数推导（形式化）．为了说明代数推导的正确性，证明了软件演化过程元