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

Full description

Saved in:

Bibliographic Details
Main Author:	Nuraini Abdulganiyyi, Nuraini
Format:	Thesis
Language:	English English English
Published:	2014
Subjects:	QA Mathematics QA76 Computer software
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!

id	my-uthm-ep.1622
record_format	uketd_dc
spelling	my-uthm-ep.16222021-10-04T01:04:26Z Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach 2014-12 Nuraini Abdulganiyyi, Nuraini QA Mathematics QA76 Computer software 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. 2014-12 Thesis http://eprints.uthm.edu.my/1622/ http://eprints.uthm.edu.my/1622/1/24p%20NURAINI%20ABDULGANIYYI.pdf text en public http://eprints.uthm.edu.my/1622/2/NURAINI%20ABDULGANIYYI%20COPYRIGHT%20DECLARATION.pdf text en staffonly http://eprints.uthm.edu.my/1622/3/NURAINI%20ABDULGANIYYI%20WATERMARK.pdf text en validuser mphil masters Universiti Tun Hussein Onn Malaysia Fakulti Sains Komputer dan Teknologi Maklumat
institution	Universiti Tun Hussein Onn Malaysia
collection	UTHM Institutional Repository
language	English English English
topic	QA Mathematics QA76 Computer software
spellingShingle	QA Mathematics QA76 Computer software Nuraini Abdulganiyyi, Nuraini Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
description	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.
format	Thesis
qualification_name	Master of Philosophy (M.Phil.)
qualification_level	Master's degree
author	Nuraini Abdulganiyyi, Nuraini
author_facet	Nuraini Abdulganiyyi, Nuraini
author_sort	Nuraini Abdulganiyyi, Nuraini
title	Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
title_short	Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
title_full	Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
title_fullStr	Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
title_full_unstemmed	Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
title_sort	specification of vertical semantic consistency rules of uml class diagram refinement using logical approach
granting_institution	Universiti Tun Hussein Onn Malaysia
granting_department	Fakulti Sains Komputer dan Teknologi Maklumat
publishDate	2014
url	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
_version_	1747830831177531392

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach

Similar Items