一种UML类图和状态图之间一致性检查方法

摘要：

面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的检查UML类图和状态图之间一致性的方法.首先将类图和状态图形式化为本体,然后将规则法中定义的一致性规则转换为本体操作,通过在转换得到的本体上实施这些操作实现一致性检查.

关键词： UML类图 状态图 一致性检查 统一建模语言 规则转换

作者: 宋自林 何红悦

作者单位: 解放军理工大学指挥自动化学院

会议类型: 国内会议

会议名称: 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会

会议地点: 南京

会议语种:中文

页码: 355-357

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