Formal Modelling and Verification of Health Care System Through Petri Nets

Authors

  • Saima Malik The Islamia University of Bahawalpur, Pakistan
  • Aima Aziz Kwaja fared University of Engineering and Technology, Pakistan
  • Azka Aziz Virtual University, Pakistan
  • Naveed Umar The Islamia University of Bahawalpur, Pakistan

Keywords:

Formal Modeling, Formal verifications, Formal methods, model checking, Color Petri Nets, Health care system

Abstract

Now a day's, research has focused on the health care system to make people's lives easier and more manageable. The primary objective is to extend health care systems and services across different domains while assuring connectivity and automated exchange. The health care system, modelling, and deployment are the focus of the recent study. However, several issues still need further investigation, particularly in flexible modelling, extendable implementation, and privacy. Formal verification and modelling using a formal analysis indicated several results. This contribution presents a realistic paradigm for the healthcare system, particularly for emergency services. The proposed model's correctness is confirmed by the results obtained. The first step is to generalize a meta-model to instantiate the model for a variety of services, not just health care. Our ultimate goal is a health care system that may be used in various ways. Extensible, secure services are built into the system, which can be used in several situations.

Author Biographies

Saima Malik, The Islamia University of Bahawalpur, Pakistan

MPhil Scholar, Department of Computer Science and Technology

Aima Aziz, Kwaja fared University of Engineering and Technology, Pakistan

MPhil Scholar, Computer Science and Information Technology

Azka Aziz, Virtual University, Pakistan

MPhil Scholar, Computer Science and Information Technology

Naveed Umar, The Islamia University of Bahawalpur, Pakistan

MPhil Scholar, Department of Computer Science and Technology

Downloads

Published

2020-12-31

How to Cite

Malik, S. ., Aziz, A. ., Aziz, A. ., & Umar, N. . (2020). Formal Modelling and Verification of Health Care System Through Petri Nets. IRASD Journal of Computer Science and Information Technology, 1(1), 45–54. Retrieved from https://internationalrasd.org/journals/index.php/jcsit/article/view/646