Cover Image

Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV

Unified-modelling language (UML) is a standard general purpose modelling language, which is widely, used in system design of banking, biological, plantation and healthcare. Recently, there are many systems of healthcare are modeled using behavioral diagram such as UML statechart for design purposes....

Full description

Saved in:
Bibliographic Details
Main Authors: Abdul Samat, Pathiah, Azwarrudin, Muhammad Amsyar, Mohd Ali, Norhayati, Admodisastro, Novia Indriaty
Format: Article
Published: Universiti Tun Hussein Onn Malaysia 2021
Online Access:http://psasir.upm.edu.my/id/eprint/93541/
https://publisher.uthm.edu.my/ojs/index.php/ijie/article/view/8846
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.upm.eprints.93541
record_format eprints
spelling my.upm.eprints.935412024-01-23T08:15:47Z http://psasir.upm.edu.my/id/eprint/93541/ Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV Abdul Samat, Pathiah Azwarrudin, Muhammad Amsyar Mohd Ali, Norhayati Admodisastro, Novia Indriaty Unified-modelling language (UML) is a standard general purpose modelling language, which is widely, used in system design of banking, biological, plantation and healthcare. Recently, there are many systems of healthcare are modeled using behavioral diagram such as UML statechart for design purposes. However, the behavior of healthcare statechart is rarely verified to ensure it is behaving as we needed. In software engineering, a software should be verified before it is transform to the further phases. In this paper, a statechart of outpatient clinic is verified to ensuring the correctness of its design. Therefore, to achieve our objective, we have applied Common Modeling Language (CML) and SMV model checker for verification formal system modeling and specification of property of statechart outpatient clinic. The result shows that the statechart of outpatient clinic is behave as required and the statechart is allowable to transform to the next phase. Universiti Tun Hussein Onn Malaysia 2021-05 Article PeerReviewed Abdul Samat, Pathiah and Azwarrudin, Muhammad Amsyar and Mohd Ali, Norhayati and Admodisastro, Novia Indriaty (2021) Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV. International Journal of Integrated Engineering, 13 (5). 137 - 145. ISSN 2229-838X; EISSN: 2600-7916 https://publisher.uthm.edu.my/ojs/index.php/ijie/article/view/8846
institution Universiti Putra Malaysia
building UPM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Putra Malaysia
content_source UPM Institutional Repository
url_provider http://psasir.upm.edu.my/
description Unified-modelling language (UML) is a standard general purpose modelling language, which is widely, used in system design of banking, biological, plantation and healthcare. Recently, there are many systems of healthcare are modeled using behavioral diagram such as UML statechart for design purposes. However, the behavior of healthcare statechart is rarely verified to ensure it is behaving as we needed. In software engineering, a software should be verified before it is transform to the further phases. In this paper, a statechart of outpatient clinic is verified to ensuring the correctness of its design. Therefore, to achieve our objective, we have applied Common Modeling Language (CML) and SMV model checker for verification formal system modeling and specification of property of statechart outpatient clinic. The result shows that the statechart of outpatient clinic is behave as required and the statechart is allowable to transform to the next phase.
format Article
author Abdul Samat, Pathiah
Azwarrudin, Muhammad Amsyar
Mohd Ali, Norhayati
Admodisastro, Novia Indriaty
spellingShingle Abdul Samat, Pathiah
Azwarrudin, Muhammad Amsyar
Mohd Ali, Norhayati
Admodisastro, Novia Indriaty
Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
author_facet Abdul Samat, Pathiah
Azwarrudin, Muhammad Amsyar
Mohd Ali, Norhayati
Admodisastro, Novia Indriaty
author_sort Abdul Samat, Pathiah
title Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
title_short Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
title_full Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
title_fullStr Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
title_full_unstemmed Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
title_sort verifying the correctness of uml statechart outpatient clinic based on common modeling language and smv
publisher Universiti Tun Hussein Onn Malaysia
publishDate 2021
url http://psasir.upm.edu.my/id/eprint/93541/
https://publisher.uthm.edu.my/ojs/index.php/ijie/article/view/8846
_version_ 1789426939440660480
score 13.211869

Similar Items