| 基于B方法的UML类图形式化研究 |
| |
| 引用本文： | 徐阳.基于B方法的UML类图形式化研究[J].南通航运职业技术学院学报,2010,9(2):55-60. |
| |
| 作者姓名： | 徐阳 |
| |
| 作者单位： | 南通航运职业技术学院,管理信息系,江苏,南通,226010 |
| |
| 摘 要： | 统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。
|
| 关 键 词： | B方法 UML 形式化 类图 |
A Study of UML Diagram Formalization Based on B Method |
| |
| XU Yang.A Study of UML Diagram Formalization Based on B Method[J].Journal of Nantong Vocational & Technical Shipping College,2010,9(2):55-60. |
| |
| Authors: | XU Yang |
| |
| Institution: | XU Yang (Dept. of Management ＆ Information, Nantong Vocational ＆ Technical Shipping College, Nantong 226010, China) |
| |
| Abstract: | UML, the Unified Modeling Language, is a visual modeling language for developing intensive systems of software. However, UML is not a formal language, which tends to result in some problems owing to its lack of precise semantics. B method is a mature method of software formalization with the characteristics of accuracy and unambiguousness. In the paper, the notation B is used to represent the elements of the UML diagram in terms of semantics and correlation, and a way to describe the UML diagram with B method is given as well. |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
