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...

Full description

Saved in:

Bibliographic Details
Main Author:	Ibrahim, Noraini
Format:	Thesis
Language:	English English English
Published:	2013
Subjects:	QA71-90 Instruments and machines QA75-76.95 Calculating machines
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
Tags:	Add Tag No Tags, Be the first to tag this record!

id	my-uthm-ep.2012
record_format	uketd_dc
spelling	my-uthm-ep.20122021-10-31T01:02:29Z An enhanced UML consistency checker using logical approach 2013-05 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 http://eprints.uthm.edu.my/2012/ http://eprints.uthm.edu.my/2012/1/24p%20NORAINI%20IBRAHIM.pdf text en public http://eprints.uthm.edu.my/2012/2/NORAINI%20IBRAHIM%20COPYRIGHT%20DECLARATION.pdf text en staffonly http://eprints.uthm.edu.my/2012/3/NORAINI%20IBRAHIM%20WATERMARK.pdf text en validuser phd doctoral Universiti Tun Hussein Malaysia Fakulti Pengurusan Teknologi dan Perniagaan
institution	Universiti Tun Hussein Onn Malaysia
collection	UTHM Institutional Repository
language	English English English
topic	QA71-90 Instruments and machines QA75-76.95 Calculating machines
spellingShingle	QA71-90 Instruments and machines QA75-76.95 Calculating machines Ibrahim, Noraini An enhanced UML consistency checker using logical approach
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.
format	Thesis
qualification_name	Doctor of Philosophy (PhD.)
qualification_level	Doctorate
author	Ibrahim, Noraini
author_facet	Ibrahim, Noraini
author_sort	Ibrahim, Noraini
title	An enhanced UML consistency checker using logical approach
title_short	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_sort	enhanced uml consistency checker using logical approach
granting_institution	Universiti Tun Hussein Malaysia
granting_department	Fakulti Pengurusan Teknologi dan Perniagaan
publishDate	2013
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
_version_	1747830899520569344

An enhanced UML consistency checker using logical approach

Similar Items