| 形式化B方法和UML的结合 |
| |
| 引用本文： | 徐阳,邹盛荣,朱勇,刘智霞,张宏.形式化B方法和UML的结合[J].南通航运职业技术学院学报,2008,7(1):64-68. |
| |
| 作者姓名： | 徐阳 邹盛荣 朱勇 刘智霞 张宏 |
| |
| 作者单位： | 扬州大学信息工程学院,江苏扬州,225002 |
| |
| 摘 要： | 形式化B方法和UML存在很大的互补性，二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。
|
| 关 键 词： | B方法 UML 形式化方法 |
| 文章编号： | 1671-9891(2008)01-0064-05 |
| 修稿时间： | 2007年9月10日 |
On Combination of Formal Method B with UML |
| |
| XU Yang,ZOU Sheng-rong,ZHU Yong,LIE Zhi-xia,ZHANG Hong.On Combination of Formal Method B with UML[J].Journal of Nantong Vocational & Technical Shipping College,2008,7(1):64-68. |
| |
| Authors: | XU Yang ZOU Sheng-rong ZHU Yong LIE Zhi-xia ZHANG Hong |
| |
| Institution: | ( Information Engineering College, Yangzhou University, Yangzhou 2252002, China ) |
| |
| Abstract: | The formal method B can just compensate those disadvantages of UML. It is significant to improve the reliability of software through combining formal method B with UML. This paper gives a way to transfer UML diagram into B specifications. |
| |
| Keywords: | Method B UML Formal method |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
