UML状态图到B形式化规范的转换实现  

作　　者：滕飞[1] 杨静[1] 

机构地区：[1]贵州大学计算机科学与技术学院,贵州贵阳550025

出　　处：《软件导刊》2017年第1期6-10,共5页Software Guide

基　　金：国家自然科学基金项目(61562011)

摘　　要：统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。

关 键 词：UML状态图 B方法 转换工具 UML2B 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]