Ensuring the Correctness and Well Modeling
of Intelligent Healthcare Management Systems
Samir Ouchani 1(B) and Moez Krichen 2,3
1 LINEACT, ´
Ecole d’Ing´ enieur CESI, 13545 Aix-en-Provence, France
souchani@cesi.fr
2 Faculty of CSIT, Al-Baha University, Al-Baha, Saudi Arabia
3 ReDCAD Laboratory, University of Sfax, Sfax, Tunisia
moez.krichen@redcad.org
Abstract. Recent research focus more and more on IoT systems and their applications in order to make people life easier and controllable. The main aim is
to expand IoT applications and services into various domains while ensuring
communication and automated exchange between them. Recent research handles
many issues related to IoT especially implementation, modeling, and deployment.
However, many challenges need more deep and thorough analysis especially in
terms of flexible modeling, extensible implementation, with respect to the privacy issue. This work focuses principally on modeling IoT systems dedicated to
smart healthcare case. We attempt to address the emergency service by initiating a modeling mechanism for Healthcare Management System (HMS) by using
UML diagrams, and propose an appropriate access control in order to reinforce
it. Then, we ensure the correctness of the developed HMS by relying on the verification and validation based on a formal analysis that showed significant results
by using Alloy tool.
Keywords: Healthcare Management Systems · IoT · UML · RBAC · Formal
validation · Alloy
1 Introduction
Nowadays, unfortunately people are busy and neglect their little health issues such as
low pulse rate, high blood pressure, etc. [6]. Among the most challenging objectives
of our contemporary society is enhancing healthcare. The provision of quality care to
patients while minimizing healthcare costs is a primary goal, while traditional patient
evaluation, care, management and supervision practices are often performed manually
by nurses [1]. Further, the emergency service is very sensitive for what the patient needs
to care in real-time during the treatment period depending the case. Therefor, in order
to support and improve healthcare processes we need a flexible system that make the
health care services more robust [1, 16] by covering more special cases and respecting
safety standards and users/patients privacy.
As evidence, one of the most important priorities of our society is to improve
the performance of biomedical systems and healthcare infrastructures [1, 11]. From
a research perspective, Internet of Things (IoT) [9, 10] innovations seek to build
c
The Author(s) 2020
M. Jmaiel et al. (Eds.): ICOST 2020, LNCS 12157, pp. 364–372, 2020.
https://doi.org/10.1007/978-3-030-51517-1_33
of Intelligent Healthcare Management Systems
Samir Ouchani 1(B) and Moez Krichen 2,3
1 LINEACT, ´
Ecole d’Ing´ enieur CESI, 13545 Aix-en-Provence, France
souchani@cesi.fr
2 Faculty of CSIT, Al-Baha University, Al-Baha, Saudi Arabia
3 ReDCAD Laboratory, University of Sfax, Sfax, Tunisia
moez.krichen@redcad.org
Abstract. Recent research focus more and more on IoT systems and their applications in order to make people life easier and controllable. The main aim is
to expand IoT applications and services into various domains while ensuring
communication and automated exchange between them. Recent research handles
many issues related to IoT especially implementation, modeling, and deployment.
However, many challenges need more deep and thorough analysis especially in
terms of flexible modeling, extensible implementation, with respect to the privacy issue. This work focuses principally on modeling IoT systems dedicated to
smart healthcare case. We attempt to address the emergency service by initiating a modeling mechanism for Healthcare Management System (HMS) by using
UML diagrams, and propose an appropriate access control in order to reinforce
it. Then, we ensure the correctness of the developed HMS by relying on the verification and validation based on a formal analysis that showed significant results
by using Alloy tool.
Keywords: Healthcare Management Systems · IoT · UML · RBAC · Formal
validation · Alloy
1 Introduction
Nowadays, unfortunately people are busy and neglect their little health issues such as
low pulse rate, high blood pressure, etc. [6]. Among the most challenging objectives
of our contemporary society is enhancing healthcare. The provision of quality care to
patients while minimizing healthcare costs is a primary goal, while traditional patient
evaluation, care, management and supervision practices are often performed manually
by nurses [1]. Further, the emergency service is very sensitive for what the patient needs
to care in real-time during the treatment period depending the case. Therefor, in order
to support and improve healthcare processes we need a flexible system that make the
health care services more robust [1, 16] by covering more special cases and respecting
safety standards and users/patients privacy.
As evidence, one of the most important priorities of our society is to improve
the performance of biomedical systems and healthcare infrastructures [1, 11]. From
a research perspective, Internet of Things (IoT) [9, 10] innovations seek to build
c
The Author(s) 2020
M. Jmaiel et al. (Eds.): ICOST 2020, LNCS 12157, pp. 364–372, 2020.
https://doi.org/10.1007/978-3-030-51517-1_33