An enhanced UML consistency checker using logical approach
In developing an information system, software specification is one of the common activities to any system development methodologies. A software model is among the ways to specify software functionalities and constraints. It is constructed as a way to understand the software prior to actually buil...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English English English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://eprints.uthm.edu.my/2012/1/24p%20NORAINI%20IBRAHIM.pdf http://eprints.uthm.edu.my/2012/2/NORAINI%20IBRAHIM%20COPYRIGHT%20DECLARATION.pdf http://eprints.uthm.edu.my/2012/3/NORAINI%20IBRAHIM%20WATERMARK.pdf |
| _version_ | 1825709644549455872 |
|---|---|
| author | Ibrahim, Noraini |
| author_facet | Ibrahim, Noraini |
| author_sort | Ibrahim, Noraini |
| collection | UTHM |
| description | In developing an information system, software specification is one of the common
activities to any system development methodologies. A software model is among the
ways to specify software functionalities and constraints. It is constructed as a way to
understand the software prior to actually building or modifying it, and it can help in
reducing defect density in the software design. In an object oriented based
development, Unified Modeling Language (UML) is a famous language used for
visualising, capturing and documenting software requirements. Currently, UML has
a set of fourteen (14) diagrams that permits modellers to describe different aspects of
a system. Each diagram comprises of graphical notations that adhered to UML
elements. These situations rendered UML model vulnerable to consistency problems
where two or more overlapping elements of different diagrams are not jointly
satisfiable. Even though the research in consistency between UML diagrams is
rapidly increased, there is still lack of researches of consistency based on use case in
use case diagram. UML consistency management is becoming a difficult task
because UML itself lacks of formal syntax and semantics and current approaches
using simplified version of UML make their approaches hard to implement in CASE
(Computer-aided Software Engineering) tool environment. Due to those problems,
this research introduces formal syntactical rules to UML elements of four (4) most
popular UML diagrams used by UML practitioners: use case diagram, activity
diagram, sequence diagram and class diagram. Referring to the formal syntactical
rules for UML elements, formal horizontal consistency rules based on use case are
also specified. The formal specifications introduced in this research are using logical
approach. Based on the syntactical and horizontal consistency rules, UML Checker is
implemented in the CASE tool environment. Then, the UML Checker is validated by
using UML model of Lecture Assessment System (LAS) as a case study. It shows
that the UML Checker can detect inconsistencies between four (4) UML diagrams in
the UML model and guide software modeller to correct them. |
| first_indexed | 2024-03-05T21:41:43Z |
| format | Thesis |
| id | uthm.eprints-2012 |
| institution | Universiti Tun Hussein Onn Malaysia |
| language | English English English |
| last_indexed | 2024-03-05T21:41:43Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | uthm.eprints-20122021-10-31T01:02:29Z http://eprints.uthm.edu.my/2012/ An enhanced UML consistency checker using logical approach Ibrahim, Noraini QA71-90 Instruments and machines QA75-76.95 Calculating machines In developing an information system, software specification is one of the common activities to any system development methodologies. A software model is among the ways to specify software functionalities and constraints. It is constructed as a way to understand the software prior to actually building or modifying it, and it can help in reducing defect density in the software design. In an object oriented based development, Unified Modeling Language (UML) is a famous language used for visualising, capturing and documenting software requirements. Currently, UML has a set of fourteen (14) diagrams that permits modellers to describe different aspects of a system. Each diagram comprises of graphical notations that adhered to UML elements. These situations rendered UML model vulnerable to consistency problems where two or more overlapping elements of different diagrams are not jointly satisfiable. Even though the research in consistency between UML diagrams is rapidly increased, there is still lack of researches of consistency based on use case in use case diagram. UML consistency management is becoming a difficult task because UML itself lacks of formal syntax and semantics and current approaches using simplified version of UML make their approaches hard to implement in CASE (Computer-aided Software Engineering) tool environment. Due to those problems, this research introduces formal syntactical rules to UML elements of four (4) most popular UML diagrams used by UML practitioners: use case diagram, activity diagram, sequence diagram and class diagram. Referring to the formal syntactical rules for UML elements, formal horizontal consistency rules based on use case are also specified. The formal specifications introduced in this research are using logical approach. Based on the syntactical and horizontal consistency rules, UML Checker is implemented in the CASE tool environment. Then, the UML Checker is validated by using UML model of Lecture Assessment System (LAS) as a case study. It shows that the UML Checker can detect inconsistencies between four (4) UML diagrams in the UML model and guide software modeller to correct them. 2013-05 Thesis NonPeerReviewed text en http://eprints.uthm.edu.my/2012/1/24p%20NORAINI%20IBRAHIM.pdf text en http://eprints.uthm.edu.my/2012/2/NORAINI%20IBRAHIM%20COPYRIGHT%20DECLARATION.pdf text en http://eprints.uthm.edu.my/2012/3/NORAINI%20IBRAHIM%20WATERMARK.pdf Ibrahim, Noraini (2013) An enhanced UML consistency checker using logical approach. Doctoral thesis, Universiti Tun Hussein Malaysia. |
| spellingShingle | QA71-90 Instruments and machines QA75-76.95 Calculating machines Ibrahim, Noraini An enhanced UML consistency checker using logical approach |
| title | An enhanced UML consistency checker using logical approach |
| title_full | An enhanced UML consistency checker using logical approach |
| title_fullStr | An enhanced UML consistency checker using logical approach |
| title_full_unstemmed | An enhanced UML consistency checker using logical approach |
| title_short | An enhanced UML consistency checker using logical approach |
| title_sort | enhanced uml consistency checker using logical approach |
| topic | QA71-90 Instruments and machines QA75-76.95 Calculating machines |
| url | http://eprints.uthm.edu.my/2012/1/24p%20NORAINI%20IBRAHIM.pdf http://eprints.uthm.edu.my/2012/2/NORAINI%20IBRAHIM%20COPYRIGHT%20DECLARATION.pdf http://eprints.uthm.edu.my/2012/3/NORAINI%20IBRAHIM%20WATERMARK.pdf |
| work_keys_str_mv | AT ibrahimnoraini anenhancedumlconsistencycheckerusinglogicalapproach AT ibrahimnoraini enhancedumlconsistencycheckerusinglogicalapproach |