| 基于B的UML形式化需求分析 |
| |
| 引用本文： | 张志锋,徐洁,邓璐娟,任雪利. 基于B的UML形式化需求分析[J]. 计算机技术与发展, 2007, 17(8): 133-135,175 |
| |
| 作者姓名： | 张志锋 徐洁 邓璐娟 任雪利 |
| |
| 作者单位： | 1. 郑州轻工业学院,计算机与通信工程学院,河南,郑州,450002
2. 曲靖师范学院,信息与计算机科学系,云南,曲靖,655000 |
| |
| 基金项目： | 河南省新世纪优秀人才支持项目;河南省优秀中青年骨干教师支持项目 |
| |
| 摘 要： | 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。
|
| 关 键 词： | 形式化方法 B方法 统一建模语言 |
| 文章编号： | 1673-629X（2007）08-0133-03 |
| 收稿时间： | 2006-10-21 |
| 修稿时间： | 2006-10-21 |
Requirement Analysis Formalized Using UML Based on B |
| |
| ZHANG Zhi-feng,XU Jie,DENG Lu-juan,REN Xue-li. Requirement Analysis Formalized Using UML Based on B[J]. Computer Technology and Development, 2007, 17(8): 133-135,175 |
| |
| Authors: | ZHANG Zhi-feng XU Jie DENG Lu-juan REN Xue-li |
| |
| Affiliation: | 1. Dept. of Computer and Communication Eng., Zhengzhou Institute of Light Industry, Zhengzhou 450002, China; 2. Computer Science Dept. , Qujing Normal University, Qu. jing 655000,China |
| |
| Abstract: | To eliminate the incompleteness, inconsistence and ambiguity in the software requirement, the formal method could be used to describe the requirement. But it is not widely used because the professional knowledge are needed in such approach. In order to simplify the formal method, the paper proposed a new method to transfer the UML view to B formal requirement. The method is implemented in the real application, and gets some significant effect. |
| |
| Keywords: | formal method B method UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
