形式化B方法到UML类图的转化研究及应用  

作　　者：邹盛荣[1] 郭忠伟[1] 彭昱静[1] 周塔[1] 顾爱华[1] 卫丽[1] 

机构地区：[1]扬州大学信息工程学院,江苏扬州225009

出　　处：《计算机时代》2009年第3期42-45,共4页Computer Era

基　　金：江苏省自然科学基金项目(BK2004052);扬州大学自然科学基金项目(KK0513109)

摘　　要：形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。

关 键 词：形式化方法 B方法 UML 类图 免疫系统 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]