Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
Unified Modelling Language (UML) is the most popular modelling language use for software design in software development industries with a class diagram being the most frequently use diagram. Despite the popularity of UML, it is being affected by inconsistency problems of its diagrams at the sa...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English English English |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://eprints.uthm.edu.my/1622/1/24p%20NURAINI%20ABDULGANIYYI.pdf http://eprints.uthm.edu.my/1622/2/NURAINI%20ABDULGANIYYI%20COPYRIGHT%20DECLARATION.pdf http://eprints.uthm.edu.my/1622/3/NURAINI%20ABDULGANIYYI%20WATERMARK.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Unified Modelling Language (UML) is the most popular modelling language use for
software design in software development industries with a class diagram being the
most frequently use diagram. Despite the popularity of UML, it is being affected by
inconsistency problems of its diagrams at the same or different abstraction levels.
Inconsistency in UML is mostly caused by existence of various views on the same
system and sometimes leads to potentially conflicting system specifications. In
general, syntactic consistency can be automatically checked and therefore is
supported by current UML Computer-aided Software Engineering (CASE) tools.
Semantic consistency problems, unlike syntactic consistency problems, there exists
no specific method for specifying semantic consistency rules and constraints.
Therefore, this research has specified twenty-four abstraction rules of class‟s relation
semantic among any three related classes of a refined class diagram to semantically
equivalent relations of two of the classes using a logical approach. This research has
also formalized three vertical semantic consistency rules of a class diagram
refinement identified by previous researchers using a logical approach and a set of
formalized abstraction rules. The results were successfully evaluated using hotel
management system and passenger list system case studies and were found to be
reliable and efficient. |
|---|