期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
UML状态图到B形式化规范的转换实现
1
作者 滕飞 杨静 《软件导刊》 2017年第1期6-10,共5页
统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化... 统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。 展开更多
关键词 UML状态图 B方法 转换工具 uml2b
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部