ISSN: 1813-0410

Keywords : Logical approach

A methods of ensuring consistency between UML Diagrams

Ihab L.Hussein Alsammak; Humam M. Abdul Sahib; Wasan H.Itwee

journal of kerbala university, Volume 14, Issue 1, Pages 407-417

The Unified Modelling Language (UML), is the first step of developing an object-oriented design method and a standard notation for the modelling of real-world objects and it consists of fourteen various diagram types. The complex relationships between UML diagrams will lead to the inconsistencies among the unified modelling language (UML) diagrams therefore, it is so important to verify model in the early phase before implement it because early error detection will be easier to fix than later phase.
This paper focuses on in what the way to determine and identify inconsistencies between unified modelling language diagrams. Eleven of the consistency rules will be applied to check the consistency models between mostly used categories of unified modelling language diagrams in the field of systems design and systems analysis. As follows state of these diagrams: (Use Case Diagram, Class Diagram, Communication Diagram, and Sequence Diagram). To check inconsistencies between unified modelling language diagrams there are four ways: dynamic check, automatic maintenance, manual check, and compulsory restriction. Using these methods and rules are useful for developers to model material systems. In the consistency rules each diagram has elements are described by a logical approach.