Ensuring the Correctness and Well Modeling of Intelligent HMS
365
intelligent systems that support and improve healthcare, by using smart sensors, which
allow for automatic monitoring, tracking patients and collecting data from various
sources in real-time. Nevertheless, IoT plays an important role in supplying patients and
clinicians with convenience in the area of healthcare. This consists of a system which
communicates via a network that links internal and external facilities, applications and
devices that might support patients and doctors monitor, track and archive critical medical data. Some of the products include wearable health bands, smart meters, and smart
video cameras, fitness shoes and smart watches. In this same direction, smartphones
applications may contribute in sending medical records and in real time alerts to medical and emergency services [6, 15]. Such interconnected systems create a vast amount
of data and information that should be managed effectively. That is already a hard and
challenging task to achieve.
In the last few years, many substantial changes in the domain of IoT healthcare
are happening. The way human beings and other devices connect and communicate
is evolving and becoming better day after day. The ever-growing communication and
information technologies [6] allow the control of healthcare outcomes and the decrease
of healthcare costs. Consumers, patients and health experts need to think about some
creative and more efficient approaches to enjoy the benefits of the revolutionizing IoT in
healthcare. With the aid of the ability of IoT, they are now able to gather raw real-time
data from very high numbers of patients via smart devices linked to an interconnected
network during a continuous period of time. It will take a long time to completely realize
the capabilities of these modern technologies. People will see medical experts achieving
critical tasks in a much more reliable manner. These experts will not only produce
reliable results but they will also save a lot of time, which should be of maximum gain.
IoT’s capabilities are really infinite and ever-growing [6].
The basic idea of the proposed solution is to provide patients with reliable and efficient health services by creating a networked knowledge infrastructure so that experts
and physicians can make use of this data and make decisions quickly and efficiently.
The suggested system will be equipped with apps by which a physician may examine
patients anytime from anywhere. It will be also possible to work on emergency scenarios and give a warning to the doctor with the current status of the patient, and complete medical records. We model the whole system by relying on the standard modeling
language UML including class, sequence, and use cases diagrams. Further to ensure
the privacy of users (practitioners and patients) we develop a role based access control (RBAC) for the proposed health system. To fulfill the healthcare policies and the
well correctness of the reinforcement as well as the functionality of the system, the
proposed approach relies on Alloy analyzer in order to check automatically the requirements. Alloy [8] can express specifications of a system’s structure and behavior as an
abstract model to evolve and expand. Alloy language powered by Alloy Analyzer tool
can be used to edit, build, and test its specifications. The analyzer simulates the specification and shows the system’s flaws by checking the correctness and find the counterexamples that help to maintain the system. As well, it has the capabilities to present
solutions in graphical format with customizing option. Depending on all these benefits,
Alloy has been used for the analysis of many systems including security and software
architectures. The proposed solution models first the health care system as well as the
365
intelligent systems that support and improve healthcare, by using smart sensors, which
allow for automatic monitoring, tracking patients and collecting data from various
sources in real-time. Nevertheless, IoT plays an important role in supplying patients and
clinicians with convenience in the area of healthcare. This consists of a system which
communicates via a network that links internal and external facilities, applications and
devices that might support patients and doctors monitor, track and archive critical medical data. Some of the products include wearable health bands, smart meters, and smart
video cameras, fitness shoes and smart watches. In this same direction, smartphones
applications may contribute in sending medical records and in real time alerts to medical and emergency services [6, 15]. Such interconnected systems create a vast amount
of data and information that should be managed effectively. That is already a hard and
challenging task to achieve.
In the last few years, many substantial changes in the domain of IoT healthcare
are happening. The way human beings and other devices connect and communicate
is evolving and becoming better day after day. The ever-growing communication and
information technologies [6] allow the control of healthcare outcomes and the decrease
of healthcare costs. Consumers, patients and health experts need to think about some
creative and more efficient approaches to enjoy the benefits of the revolutionizing IoT in
healthcare. With the aid of the ability of IoT, they are now able to gather raw real-time
data from very high numbers of patients via smart devices linked to an interconnected
network during a continuous period of time. It will take a long time to completely realize
the capabilities of these modern technologies. People will see medical experts achieving
critical tasks in a much more reliable manner. These experts will not only produce
reliable results but they will also save a lot of time, which should be of maximum gain.
IoT’s capabilities are really infinite and ever-growing [6].
The basic idea of the proposed solution is to provide patients with reliable and efficient health services by creating a networked knowledge infrastructure so that experts
and physicians can make use of this data and make decisions quickly and efficiently.
The suggested system will be equipped with apps by which a physician may examine
patients anytime from anywhere. It will be also possible to work on emergency scenarios and give a warning to the doctor with the current status of the patient, and complete medical records. We model the whole system by relying on the standard modeling
language UML including class, sequence, and use cases diagrams. Further to ensure
the privacy of users (practitioners and patients) we develop a role based access control (RBAC) for the proposed health system. To fulfill the healthcare policies and the
well correctness of the reinforcement as well as the functionality of the system, the
proposed approach relies on Alloy analyzer in order to check automatically the requirements. Alloy [8] can express specifications of a system’s structure and behavior as an
abstract model to evolve and expand. Alloy language powered by Alloy Analyzer tool
can be used to edit, build, and test its specifications. The analyzer simulates the specification and shows the system’s flaws by checking the correctness and find the counterexamples that help to maintain the system. As well, it has the capabilities to present
solutions in graphical format with customizing option. Depending on all these benefits,
Alloy has been used for the analysis of many systems including security and software
architectures. The proposed solution models first the health care system as well as the