{"id":{"repo_id":"uthm","oai_identifier":"oai:eprints.uthm.edu.my:1622"},"canonical_url":"https://search.dev.ndltd.org/etd/uthm/oai:eprints.uthm.edu.my:1622","repository":{"repo_id":"uthm","name":"Universiti Tun Hussein Onn Malaysia","base_url":"http://eprints.uthm.edu.my/cgi/oai2"},"display":{"title":"Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Nuraini Abdulganiyyi, Nuraini"],"institution":"Universiti Tun Hussein Onn Malaysia","degree_name":"mphil","degree_level":"masters","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-12","date_published":"2014-12","updated_at":"2026-07-24T05:48:36Z","subjects":["QA Mathematics","QA76 Computer software"],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Nuraini Abdulganiyyi, Nuraini"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-12"]},{"key":"dc:date.issued","label":"Date","values":["2014-12"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Fakulti Sains Komputer dan Teknologi Maklumat"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["Universiti Tun Hussein Onn Malaysia"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["http://eprints.uthm.edu.my/1622/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["masters"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["mphil"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["QA Mathematics","QA76 Computer software"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["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"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format","label":"Dc Format","values":["text"]},{"key":"dc:title","label":"Title","values":["Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach"]}]}],"canonical_facts":{"dc:creator":["Nuraini Abdulganiyyi, Nuraini"],"dc:date":["2014-12"],"dc:date.issued":["2014-12"],"dc:description.abstract":["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."],"dc:format":["text"],"dc:identifier.uri":["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"],"dc:language":["en"],"dc:publisher.department":["Fakulti Sains Komputer dan Teknologi Maklumat"],"dc:publisher.institution":["Universiti Tun Hussein Onn Malaysia"],"dc:relation.isreferencedby":["http://eprints.uthm.edu.my/1622/"],"dc:subject":["QA Mathematics","QA76 Computer software"],"dc:title":["Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["masters"],"dc:type.qualificationname":["mphil"]},"updated_at":"2026-07-24T05:48:36Z"}