[1]廖青松 马光思.UML与B结合的软件开发研究与应用[J].计算机技术与发展,2007,(06):123-126.
　LIAO Qing-song,MA Guang-si.Integrating UML and B for Research and Application of Software Development Method[J].,2007,(06):123-126.
点击复制

UML与B结合的软件开发研究与应用()
分享到：

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

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

文章信息/Info

Title:
Integrating UML and B for Research and Application of Software Development Method
文章编号:
1673-629X（2007）06-0123-04
作者:
廖青松 马光思
西安建筑科技大学信控学院
Author(s):
LIAO Qing-song;  MA Guang-si
School of Infor. ＆ Control, Xi＇an Univ. of Arch, ＆ Tech.
关键词:
B方法; UML; 软件规格说明; 抽象机
Keywords:
B method;  UML;  specification of software;  abstract machine
分类号:
TP311.52
文献标志码:
A
摘要:
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式
Abstract:
B method uses primarily Abstract Machine to describe specification of software systems and there are many tools to support it. UML has been widely used in modeling for object - oriented technology and many projects and research results use it to express. The paper researchs software development procedure with integrating UML and B and translates from class diagram, sequence diagram and state diagram into B Abstract Machine（BAM） in the procedure by analysing projects and literature. At the end the paper describles the whole development procedure precisely

相似文献/References:

[1]余华平.基于UML的高校学生资助工作管理系统设计[J].计算机技术与发展,2010,(05):179.
　YU Hua-ping.Design of University Student Subsidized Work Management System Based on UML[J].,2010,(06):179.
[2]赵准 张立臣.基于面向方面的网格QoS建模方法[J].计算机技术与发展,2010,(06):63.
　ZHAO Zhun,ZHANG Li-chen.Grid QoS Modeling Method Based on Aspect-Oriented[J].,2010,(06):63.
[3]蓝天 张学军 郑丽英.基于面向对象的汽车防撞控制系统的设计[J].计算机技术与发展,2010,(06):237.
　LAN Tian,ZHANG Xue-jun,ZHENG Li-ying.Design of Vehicle Crash-Avoiding Controlling System Based on Oriented-Object[J].,2010,(06):237.
[4]汪贵生 夏阳.基于UML的MIS研究与设计[J].计算机技术与发展,2009,(04):69.
　WANG Gui-sheng,XIA Yang.Research and Design of MIS Based on UML[J].,2009,(06):69.
[5]柴明辉 严洪森 齐培娣.基于B／S的物料管理信息系统的设计与实现[J].计算机技术与发展,2008,(01):52.
　CHAI Ming-hui,YAN Hong-sen,QI Pei-di.Design and Implementation of Material Management Information System Based on B/S[J].,2008,(06):52.
[6]张海涛 龚龙庆.基于UML的SoC建模设计方法研究[J].计算机技术与发展,2008,(03):145.
　ZHANG Hai-tao,GONG Long-qing.Research of SoC Modeling Design Method Based on UML[J].,2008,(06):145.
[7]赵若曼 张川.基于UML的网上作业系统研究与实现[J].计算机技术与发展,2008,(03):225.
　ZHAO Ruo-man,ZHANG Chuan.Research and Implementation of Web - Based Exercise System Based on UML[J].,2008,(06):225.
[8]张凌晓 刘克成.基于UML的全程办税系统的建模与实现[J].计算机技术与发展,2008,(10):210.
　ZHANG Ling-xiao,LIU Ke-cheng.Modeling and Implementation of Whole Process Tax System Based on UML[J].,2008,(06):210.
[9]张术梅 孙辉.基于UML的面向对象软件静态测试方法的研究[J].计算机技术与发展,2007,(01):125.
　ZHANG Shu-mei,SUN Hui.Research on Method of Object - Oriented Software Static Testing Based on UML[J].,2007,(06):125.
[10]郁书好 苏守宝 刘仁金.UML和OWL在本体建模中的比较研究[J].计算机技术与发展,2007,(01):155.
　YU Shu-hao,SU Shou-bao,LIU Ren-jin.A Comparative Studies of UML and OWL in Ontology Modeling[J].,2007,(06):155.

备注/Memo

备注/Memo:
廖青松（1982-）,男,湖南临湘人,硕士研究生,研究方向为软件复用; 马光思,教授,硕士生导师,研究方向为软件复用
更新日期/Last Update: 1900-01-01