[1]张志锋 徐洁 邓璐娟 任雪利.基于B的UML形式化需求分析[J].计算机技术与发展,2007,(08):133-135.
　ZHANG Zhi-feng,XU Jie,DENG Lu-juan,et al.Requirement Analysis Formalized Using UML Based on B[J].,2007,(08):133-135.
点击复制

基于B的UML形式化需求分析()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2007年08期
页码:
133-135
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Requirement Analysis Formalized Using UML Based on B
文章编号:
1673-629X（2007）08-0133-03
作者:
张志锋1 徐洁1 邓璐娟1 任雪利2
[1]郑州轻工业学院计算机与通信工程学院[2]曲靖师范学院信息与计算机科学系
Author(s):
ZHANG Zhi-feng;  XU Jie;  DENG Lu-juan;  REN Xue-li
[1]Dept. of Computer and Communication Eng., Zhengzhou Institute of Light Industry[2]Computer Science Dept. , Qujing Normal Universit
关键词:
形式化方法; B方法; 统一建模语言
Keywords:
formal method;  B method; UML
分类号:
TP311.52
文献标志码:
A
摘要:
为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用。为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果
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

相似文献/References:

[1]廖青松 马光思.UML与B结合的软件开发研究与应用[J].计算机技术与发展,2007,(06):123.
　LIAO Qing-song,MA Guang-si.Integrating UML and B for Research and Application of Software Development Method[J].,2007,(08):123.
[2]李勇,曹子宁. 基于需求的形式化建模与验证方法研究[J].计算机技术与发展,2017,27(06):7.
　LI Yong,CAO Zi-ning. Investigation on Formal Modeling and Verification MethodBased on Specification[J].,2017,27(08):7.
[3]战芸娇,魏欧,胡军,等.面向驾驶舱显示系统需求的形式化建模与分析[J].计算机技术与发展,2018,28(03):20.[doi:10.3969/ j. issn.1673-629X.2018.03.005]
　ZHAN Yun-jiao,WEI Ou,HU Jun,et al.Formal Modeling and Analysis of Cockpit Display System Requirements[J].,2018,28(08):20.[doi:10.3969/ j. issn.1673-629X.2018.03.005]
[4]卜星晨,曹子宁,王福俊.基于组件自动机的概率连续行为的形式化模型[J].计算机技术与发展,2020,30(11):1.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
　BU Xing-chen,CAO Zi-ning,WANG Fu-jun.Formal Model of Probabilistic Continuous Behavior Based on Component Automata[J].,2020,30(08):1.[doi:10. 3969 / j. issn. 1673-629X. 2020. 11. 001]
[5]王 冠,郝晓星.一种面向 UEFI 模块的形式化建模与验证方法[J].计算机技术与发展,2021,31(12):116.[doi:10. 3969 / j. issn. 1673-629X. 2021. 12. 020]
　WANG Guan,HAO Xiao-xing.A Formal Modeling and Validation Method for UEFI Module[J].,2021,31(08):116.[doi:10. 3969 / j. issn. 1673-629X. 2021. 12. 020]
[6]耿 雪,邹盛荣*,刘晓莹,等.UML 到 Event-B 的系统化转换方法[J].计算机技术与发展,2023,33(12):113.[doi:10. 3969 / j. issn. 1673-629X. 2023. 12. 016]
　GENG Xue,ZOU Sheng-rong*,LIU Xiao-ying,et al.Systematic Transformation Method from UML to Event-B[J].,2023,33(08):113.[doi:10. 3969 / j. issn. 1673-629X. 2023. 12. 016]
[7]高丽萍 褚伟.基于B方法的组件开发[J].计算机技术与发展,2007,(07):28.
　GAO Li-ping,CHU Wei.An Approach of Component Development with B Method[J].,2007,(08):28.

备注/Memo

备注/Memo:
河南省新世纪优秀人才支持项目（2005HANCET-03）;河南省优秀中青年骨干教师支持项目张志锋（1978～），男，河南郸城人，硕士，研究方向为软件工程、数据库；邓璐娟，博士，教授，研究方向为自动控制理论与控制工程、计算机控制系统
更新日期/Last Update: 1900-01-01