Licong Tian,Besheng Zhou, ”Research on model consis-tency checking mechanism in UML visual modeling tools”, Computer Applications and Software, vol. 22, Jan.2005, pp.24-26. (in Chinese)

has been cited by the following article:

• TITLE: Identification and Check of Inconsistencies between UML Diagrams

  AUTHORS: Xianhong Liu

  KEYWORDS: UML; Inconsistency; Identify; Check

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.6 No.3B, April 11, 2013

  ABSTRACT: Relationships between Unified Modeling Language (UML) diagrams are complex. The complexity leads to inconsistencies between UML diagrams easily. This paper focus on how to identify and check inconsistencies between UML diagrams. 13 consistency rules are given to identify inconsistencies between the most frequent 6 types of UML diagrams in the domain of information systems analysis and design. These diagrams are as follows: Use Case Diagrams, Class Diagrams, Activity Diagrams, State Machine Diagrams, Sequence Diagrams and Communication Diagrams. 4 methods are given to check inconsistencies between UML diagrams as follows: manual check, compulsory restriction, automatic maintenance, dynamic check. These rules and methods are helpful for developers to model information systems.