Identification and Check of Inconsistencies between UML Diagrams

Author

Xianhong Liu

Author_Institution

Sch. of Manage., Henan Univ. of Sci. & Technol., Luoyang, China

fYear

2013

fDate

14-15 Dec. 2013

Firstpage

487

Lastpage

490

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.

Keywords

Unified Modeling Language; information systems; UML diagrams; Unified Modeling Language diagram; activity diagrams; automatic maintenance; class diagrams; communication diagrams; compulsory restriction; consistency rules; dynamic check; inconsistency checking; inconsistency identification; information systems analysis; information systems design; manual check; sequence diagrams; state machine diagrams; use case diagrams; Computational modeling; Computers; Educational institutions; Information systems; Object oriented modeling; Receivers; Unified modeling language; UML; check; identify; inconsistency;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Sciences and Applications (CSA), 2013 International Conference on

Conference_Location

Wuhan

Type

conf

DOI

10.1109/CSA.2013.119

Filename

6835646