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

作     者：刘晓建 李战怀 LIU Xiao-jian;LI Zhan-huai

作者机构：西北工业大学计算机学院西安710072 

基　　金：国家自然科学基金资助项目(编号:60573096) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2006年第42卷第25期

页      码：1-5页

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

主 题 词：UML 模型一致性 规则系统 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2006.25.001

馆 藏 号：203150961...