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

QR Code

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

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/

Similar Items

Class diagram critic: a design critic tool for UML class diagram
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)

Compiling concurrency correctly: verifying software transactional memory
by: Hu, Liyang
Published: (2013)

SMV Tengku Ampuan Afzan johan reka cipta
by: UMP, LIB
Published: (2010)

A Code generator tool for the gamma design patterns / Novia Indriaty Admodisastro
by: Novia Indriaty, Admodisastro
Published: (2003)

Verifying the authenticity of digital certificates
by: Kamel Ariffin, Muhammad Rezal
Published: (2021)

Common modeling language for model checkers
by: Abdul Samad, Pathiah, et al.
Published: (2012)

The Evolution of UML
by: Platt, R., et al.
Published: (2015)

Clinic management system : outpatient management system
by: Nurzety Aqtar, Ahmad Azuan
Published: (2005)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Verifying requirements for resource-bounded agents
by: Abdur, Rakib
Published: (2011)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

UPM perkenal aplikasi certificate verifier
by: Utusan Malaysia
Published: (2017)

An architecture analysis approach for supporting black-box software development.
by: Admodisastro, Novia Indriaty, et al.
Published: (2011)

iXML : a process-pluggable ADL for supporting architectural analysis in component-based systems.
by: Admodisastro, Novia Indriaty, et al.

Usability requirements for architectural analysis tool to support CBD
by: Admodisastro, Novia Indriaty, et al.
Published: (2011)

iXML: a process-pluggable ADL for supporting architectural analysis in component-based systems
by: Admodisastro, Novia Indriaty, et al.
Published: (2012)

A code generator tool for the gamma design patterns
by: Admodisastro, Novia Indriaty, et al.
Published: (2002)

To verify or not to verify: using partial least squares to predict effect of online news on panic buying during pandemic
by: Tan, Kim Lim, et al.
Published: (2022)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Essays on strategic naivety and disclosure of verifiable information
by: Sheth, Jesal Dilip
Published: (2019)

An educational software design critiquing tool to support software design course
by: Mohd Ali, Norhayati, et al.
Published: (2013)

The Past, Present, and Future of UML
by: Platt, R., et al.
Published: (2018)

Modeling input validation in UML
by: Hayati, P., et al.
Published: (2008)

A Survey of UML Tools
by: Weng, Jie Thong, et al.
Published: (2015)

Application and Challenges in Implementation of Lean Thinking in Ophthalmology Outpatient Clinics
by: Abdul Karim, Mohamed Naved
Published: (2020)

Development of run-time UML for JAVA programming language
by: Mohd Nor, Sulaiman, et al.
Published: (2000)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

The necessity of laboratory analyses to verify the authenticity of halal products
by: Mustafa, Shuhaimi
Published: (2014)

A secure, anonymous and verifiable E-Voting system
by: Ooi, Elynn
Published: (2020)

Inconsistency detection of model and code via critic-based approach
by: Mohammed, Osman, et al.
Published: (2017)

A method of refinement in UML-B
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2015)

Use of simulation in solving outpatient clinic problems: a review of the literature
by: Tang, Sai Hong, et al.
Published: (2013)

Development of orthopaedic outpatient clinic scheduling information system for performance improvement
by: Pah , Pin Shang
Published: (2014)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

In situ target strength estimates of visually verified orange roughy
by: Macaulay, G., et al.
Published: (2013)

A test case generation framework based on UML statechart diagram
by: Salman, Yasir Dawood
Published: (2018)

Appointment system in an environment of limited resources: the case of outpatient department clinics in Thailand
by: Boonma, Pochara
Published: (2012)

Satisfaction of outpatients on service quality: a case study at two specialist clinics
by: Choong-Yeun Liong,, et al.
Published: (2009)

Barriers to mammography among women attending gynecologic outpatient clinics in Tehran, Iran
by: Ahmadian, Maryam, et al.
Published: (2011)