|
|||||
|
|
| 一种验证软件演化过程行为的代数推导方法 | |
| 引用本文： | 代飞,王黎霞,谢仲文,张璇,朱锐.一种验证软件演化过程行为的代数推导方法[J].江苏大学学报(自然科学版),2013,34(5). |
| 作者姓名： | 代飞 王黎霞 谢仲文 张璇 朱锐 |
| 作者单位： | 1. 云南大学软件学院,云南昆明650091;云南大学云南省软件工程重点实验室,云南昆明650091 2. 云南大学经济学院,云南昆明,650091 3. 云南大学软件学院,云南昆明,650091 |
| 基金项目： | 国家自然科学基金资助项目，云南省自然科学基金资助项目，云南省软件工程重点实验室开放基金资助项目 |
| 摘 要： | 针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性. |
| 关 键 词： | 软件过程验证 行为验证 代数推导 Petri网 ACP 公理系统 |
An algebraic reasoning approach for verifying behavior of software evolution processes |
|
| Dai Fei , Wang Lixia , Xie Zhongwen , Zhang Xuan , Zhu Rui.An algebraic reasoning approach for verifying behavior of software evolution processes[J].Journal of Jiangsu University:Natural Science Edition,2013,34(5). | |
| Authors: | Dai Fei Wang Lixia Xie Zhongwen Zhang Xuan Zhu Rui |
| Abstract: | |
| Keywords: | software process verification behavior verification algebraic reasoning Petri Nets ACP axiom system |
| 本文献已被 万方数据 等数据库收录！ | |