Rule-based Consistency Checking for UML Models
Xiaojian Liu, Zhanhuai Li · Computer Engineering and Applications Journal · 2006
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.