Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
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. 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.
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. 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.
Verifying the Correctness of UML Statechart Outpatient Clinic Based on Common Modeling Language and SMV
Abdul Samat, Pathiah (Autor:in) / Azwarrudin, Muhammad Amsyar (Autor:in) / Mohd Ali, Norhayati (Autor:in) / Admodisastro, Novia (Autor:in)
30.05.2021
International Journal of Integrated Engineering; Vol 13 No 5 (2021): Special Issue: Electrical Engineering; 137-145 ; 2600-7916 ; 2229-838X
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
DDC:
690
Construction abroad: The Santa Isabella Outpatient Clinic, Spain
Online Contents | 1998
The "Santa Isabela" Outpatient Clinic in Saragozza, Spain
British Library Online Contents | 1998
Automating the Testing of Object Behaviour: A Statechart-Driven Approach
| BASE | 2007
| Online Contents | 2012
| Online Contents | 2014