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

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

Rule-based Consistency Checking for UML Models

UML(Unifying Modeling Language) is the well-known object-oriented modeling language,which provides anumber of visual notations for the system development.As there is no precisely defined relationship between these modeling elements,the consistency problem is often caused for UML models.This paper proposes a rule-based approach to checking the consistency problem.We map UML models and consistency conditions to the fact library and the rule library of the rule-based system respectively.If the facts do not match the rules,we can determine there must exist inconsistencies in the UML models.We use a hybrid rule-based system as the rule engine to check the consistency,which combines the object-oriented and the rule-based paradigms.The advantages of this system allow us to design and implement a checking tool by using C language,and to improve the performance of the consistency checking.