Identification and Check of Inconsistencies between UML Diagrams

• 作者: Xianhong Liu
• 来源期刊: 软件工程与应用(英文)
• 学科: 医学
• 关键词: UML INCONSISTENCY IDENTIFY CHECK
• 年，卷（期）: 2013,（3）
• 页码范围: 73-77
• 页数: 5页
• 分类号: R73

摘要

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.