基于规则的UML设计模型的一致性检验

• 作者: 刘晓建 李战怀
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: UML 模型一致性 规则系统
• 年，卷（期）: 2006,（25）
• 所属期刊栏目: 博士论坛
• 页码范围: 1-5
• 页数: 5页
• 分类号: TP311
• 字数: 4672字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.25.001

摘要

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素.由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题.针对该问题,提出了一种基于规则的检验方法.该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性.我们使用自主开发的一种"面向对象-规则语言系统"作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李战怀	西北工业大学计算机学院	254	2139	21.0	35.0
2	刘晓建	西北工业大学计算机学院	4	30	3.0	4.0