| 基于Z规格的UML模型形式化转换及验证 |
| |
| 引用本文： | 张杨,段富. 基于Z规格的UML模型形式化转换及验证[J]. 计算机工程与设计, 2013, 34(6) |
| |
| 作者姓名： | 张杨 段富 |
| |
| 作者单位： | 太原理工大学 计算机科学与技术学院,山西 太原,030024 |
| |
| 基金项目： | 山西省自然科学基金项目，山西省科技攻关基金项目 |
| |
| 摘 要： | 统一建模语言(UML)所建立的模型的正确性无法通过其本身进行形式化验证,为解决这个问题,根据UML模型的静态性质和动态模块行为两个方面提出结合形式化规格说明语言的模型形式化方案,以此为基础提出将UML目标模型转化为Z规格说明的形式化方法,并用Z-EVES工具形式化检测Z规格描述的正确性.通过实例分析验证了该方法的可行性.
|
| 关 键 词： | 形式化方法 形式化验证 统一建模语言 Z规格 Z-EVES |
Formal transformation and verification of UML model based on specification Z |
| |
| ZHANG Yang , DUAN Fu. Formal transformation and verification of UML model based on specification Z[J]. Computer Engineering and Design, 2013, 34(6) |
| |
| Authors: | ZHANG Yang DUAN Fu |
| |
| Abstract: | |
| |
| Keywords: | formal method formal verification UML Z specification Z-EVES |
| 本文献已被 万方数据 等数据库收录！ |
|
