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.
Cite this paper
X. Liu, "Identification and Check of Inconsistencies between UML Diagrams," Journal of Software Engineering and Applications, Vol. 6 No. 3, 2013, pp. 73-77. doi: 10.4236/jsea.2013.63B016.
 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)
 Xiaojian Liu, Zhanhuai Li, “Checking consistency of UML class dia-gram with relational model”, Computer Engineering and Applications, vol.26, Sep.2006, pp.13-16. (in Chi-nese)
 Grady Booch,James Rumbaugh,Ivar Jacobson, The Unified Modeling Language User Guide. New Jersey: Addison-Wesley Professional,2005
 Yun Wang, Youcheng, Liu, “Model consistency checking mechanism in UML visual system”, Journal of Computer Research & Development, Vol.37, Jan.2000, pp.1-8. (in Chinese)
 Weizhong Shao, Fuqing Yang, Object-Oriented System Analysis and Design. beijing: Tsinghua University Press,2006
 Xi Chen, QingChun Wang. “Research on UML consistency”, SoftWare Guide, vol.8, Apr.2009, pp.26-27. (in Chinese).