一种验证软件演化过程行为的代数推导方法

• 作者: 代飞 张璇 朱锐 王黎霞 谢仲文
• 来源期刊: 江苏大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件过程验证 行为验证 代数推导 Petri网 ACP 公理系统
• 年，卷（期）: 2013,（5）
• 页码范围: 548-555
• 页数: 8页
• 分类号: TP311.5
• 字数: 8989字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7775.2013.05.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张璇	云南大学软件学院	37	266	8.0	15.0
5	谢仲文	云南大学软件学院	26	97	6.0	8.0
9	代飞	云南大学软件学院	26	93	6.0	8.0
13	王黎霞	云南大学经济学院	13	70	4.0	7.0
14	朱锐	云南大学软件学院	19	64	5.0	7.0