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

摘要

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