形式化B方法到UML类图的转化研究及应用 |
| |
作者姓名: | 邹盛荣 郭忠伟 彭昱静 周塔 顾爱华 卫丽 |
| |
作者单位: | 扬州大学信息工程学院,江苏,扬州,225009;扬州大学信息工程学院,江苏,扬州,225009;扬州大学信息工程学院,江苏,扬州,225009;扬州大学信息工程学院,江苏,扬州,225009;扬州大学信息工程学院,江苏,扬州,225009;扬州大学信息工程学院,江苏,扬州,225009 |
| |
基金项目: | 江苏省自然科学基金,扬州大学自然科学基金 |
| |
摘 要: | 形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。
|
关 键 词: | 形式化方法 B方法 UML 类图 免疫系统 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|