|
|||||
|
|
| UML模型到B抽象机的转换和实现 | |
| 作者姓名： | 仲晓敏 邹盛荣 |
| 作者单位： | 1. 扬州大学信息工程学院,江苏,扬州,225009;淮海工学院计算机科学系 2. 扬州大学信息工程学院,江苏,扬州,225009 |
| 摘 要： | 统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的. |
| 关 键 词： | UML 形式化方法 抽象机 B方法 模型 抽象机 转换 分析表 形式化方法 型转化 统一建模语言 中经 软件开发 规格说明 软件系统 描述 对象技术 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |