基于B的UML形式化需求分析  

Requirement Analysis Formalized Using UML Based on B

作　　者：张志锋[1] 徐洁[1] 邓璐娟[1] 任雪利[2] 

机构地区：[1]郑州轻工业学院计算机与通信工程学院,河南郑州450002 [2]曲靖师范学院信息与计算机科学系,云南曲靖655000

出　　处：《计算机技术与发展》2007年第8期133-135,175,共4页Computer Technology and Development

基　　金：河南省新世纪优秀人才支持项目(2005HANCET-03);河南省优秀中青年骨干教师支持项目

摘　　要：为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果。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.

关 键 词：形式化方法 B方法 统一建模语言 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]