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

• 作者: 杨静 滕飞
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: UML状态图 B方法 转换工具 UML2 B
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 6-10
• 页数: 5页
• 分类号: TP301
• 字数: 3760字
• 语种: 中文
• DOI: 10.11907/rjdk.162480

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨静	贵州大学计算机科学与技术学院	45	178	7.0	11.0
2	滕飞	贵州大学计算机科学与技术学院	4	26	3.0	4.0