Identification and Check of Inconsistencies between UML Diagrams
- 1 School of Management, Henan University of Science and Technology, Luoyang, China
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.
- 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).