形式化方法B和UML的结合研究

摘要：

形式化方法B用抽象机符号来描述软件的规格说明,因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用,UML是面向对象的建模技术,它的半形式化的分析结果可被B方法所引用,此文通过从UML类图到B抽象机器的转换给出了一个UML和B结合的方法.

关键词： B方法 UML 形式化方法 规格说明语言 软件开发

作者: 邹盛荣 郑国梁

作者单位: 南京大学计算机科学与技术系(江苏南京)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 1488-1493

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）