Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Computational Model for The ...

A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System

Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre, A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. Fundamenta Informaticae 168, 1–13, 2019.

http://dx.doi.org/10.3233/FI-2019-1800

Abstract:

How robust is a healthcare system? How does a patient navigate the system and what
is the cost (e.g., number of medical services required or number of times the medical provider had
to be changed to get access to the required medical services) incurred from the first symptoms
to getting cured? How will it fare in the wake to a sudden epidemic or a disaster? How are all
of these affected by administrative decisions such as allocating/diminishing resources in various
areas or centralising services? These are the questions motivating our study on a formal prototype
model for a healthcare system. We propose that a healthcare system can be understood as a
distributed system with independent nodes (healthcare providers) computing according to their
own resources and constraints, with tasks (patient needs) being allocated between the nodes. The
questions about the healthcare system become in this context questions about resource availability
and distribution between the nodes. We construct in this paper an Event-B model capturing the
basic functionality of a simplified healthcare system: patients with different types of medical
needs being allocated to suitable medical providers, and navigating between different providers
for their turn for multi-step treatments.

BibTeX entry:

@ARTICLE{jPeSaShPaTyPe19a,
  title = {A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System},
  author = {Petre, Luigia and Sanwal, Usman and Shah, Gohar and Panchal, Charmi and Tyagi, Dwitiya and Petre, Ion},
  journal = {Fundamenta Informaticae},
  volume = {168},
  pages = {1–13},
  year = {2019},
  ISSN = {0169-2968},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Computational Biomodeling Laboratory (Combio Lab)

Edit publication