RULE-BASED DETECTION OF INCONSISTENCY IN UML MODELS
WenQian Liu, Steve Easterbrook, John Mylopoulos · 2002
Abstract. Software design inconsistency can be hard to trace manually. Computer assistance in detecting and resolving inconsistency issues can help improve the quality of sophisticated software designs. This paper describes a rule-based (or production system) solution to the aforementioned problem. We characterize classes of inconsistency that occur in software design. We define a production system language and rules specific to software designs modeled in UML. Using this approach, we are able to detect inconsistencies, notify the users, recommend resolutions, and automatically fix the inconsistency during the design process. 1