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