| UML与B结合的软件开发研究与应用 |
| |
| 引用本文： | 廖青松,马光思.UML与B结合的软件开发研究与应用[J].微机发展,2007,17(6):123-126. |
| |
| 作者姓名： | 廖青松 马光思 |
| |
| 作者单位： | 西安建筑科技大学信控学院 陕西西安710055 |
| |
| 摘 要： | B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。
|
| 关 键 词： | B方法 UML 软件规格说明 抽象机 |
| 文章编号： | 1673-629(2007)06-0123-04 |
| 修稿时间： | 2006年8月21日 |
Integrating UML and B for Research and Application of Software Development Method |
| |
| LIAO Qing-song,MA Guang-si.Integrating UML and B for Research and Application of Software Development Method[J].Microcomputer Development,2007,17(6):123-126. |
| |
| Authors: | LIAO Qing-song MA Guang-si |
| |
| 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. |
| |
| Keywords: | B method UML specification of software abstract machine |
| 本文献已被 CNKI 等数据库收录！ |
