Using Denotational Mathematics for the Formal Description of Home UbiHealth Decision-Support Systems With Knowledge Flow

Using Denotational Mathematics for the Formal Description of Home UbiHealth Decision-Support Systems With Knowledge Flow

Aristides Vagelatos, John Sarivougioukas
DOI: 10.4018/IJSSCI.2021100101
OnDemand:
(Individual Articles)
Available
$37.50
No Current Special Offers
TOTAL SAVINGS: $37.50

Abstract

Home UbiHealth applications require support from decision-making and decision-support components. The decision process must possess a holistic perspective about the individual's healthcare condition and needs at home. Also, it shall consider and evaluate the available data, producing cognitive intelligence through appropriate processing. The present work describes a model for decision-making and decision-support in UbiHealth environments based on denotational mathematics. The decision-making component of the model provides the necessary actions to handle the connected devices. The decision-support component suggests actions to the user (physician). The decisions are drawn from a simulated operation of cooperating and co-existing semantic networks. The model is thoroughly described, and its positive impact is explained for all participating stakeholders including medical professionals, patients, information technology scientists, and technical personnel.
Article Preview
Top

1. Introduction

The World Health Organization (WHO) provides a systemic view of health from the perspective of systems theory (Nutbeam, 1986). This introduces the distinct input, processing, and output system components that determine the health status of an individual. Health status corresponds to an open, causal, and time-varying system that responds to external stimuli, occurring events, and time-sensitive problems. The system is responsible for the decision-making procedures that lead to problem solutions, promoting the survival of the organism. Thus, the terms “decision-making” and “problem-solving” are interchangeably used in the relative literature (Turban et al., 2005).

Systems that support the health status within a ubiquitous computing environment (Sarivougioukas et al., 2015) produce, control, adapt, and improve their decisions using positive (forward) or negative feedback and buffering mechanisms. Such looping mechanisms require the assistance of sensors and actuators that implement the organizational decisions. The rationality of the applying constraints through the looping mechanisms bound the system’s operation in order to achieve the desired behavior (Simon, 1972).

The performance of an open system is measured according to its effectiveness, i.e., the degree of achievement of its objectives. Additionally, the achievement of the objective in the right way represents its efficiency (Turban et al., 2005). The quantified effectiveness and efficiency also determine a quantification of the quality provided by the employed system.

The decision-making that affects the system’s performance involves four main phases (Turban et al., 2005). First, the intelligence phase defines the problem upon which a decision must be made. Second, the model phase determines the modeling solutions that properly suit the problem at hand. Third, the choice phase is about the selection of a (sub-) optimal solution that satisfies the needs according to predefined criteria. Finally, the fourth phase is about the execution of the decisions taken in the previous steps. An additional fifth phase(Turban et al., 2005) refers to a monitoring mechanism that plays the role of controller, observing the efficiency and effectiveness of the decisions and applying combinations of the aforementioned looping mechanisms.

By the term UbiHealth (Sarivougioukas et al., 2018) it is employed for the description of the ubiquitous nature of healthcare services and support. In particular, Home UbiHealth (Sarivougioukas & Vagelatos, 2020) refers to the provision of healthcare services at home supporting the largest part of the population which is about the healthy people. Unfortunately, there is limited support from the medical professionals while people are at home and where a number of decisions must be made related to the health status. In a Home UbiHealth environment (Sarivougioukas et al., 2016) the supported people need to make decisions based upon very specialized medical knowledge. Thus, there must be designed systems to support people at home using specialized knowledge which can be provided through internet. The Home UbiHealth model supporting people at home requires a continuous flow of knowledge to support the decision making process at home.

The present work provides a formal description of a decision-support system model for Home UbiHealth applications using Denotational Mathematics (Wang, 2008). The system also supports knowledge flow. The design provides the means to either integrate or couple the system with other systems through properly designed interfaces. Also, it facilitates software engineering principles to address its inherent complexity.

Complete Article List

Search this Journal:
Reset
Volume 16: 1 Issue (2024)
Volume 15: 1 Issue (2023)
Volume 14: 4 Issues (2022): 1 Released, 3 Forthcoming
Volume 13: 4 Issues (2021)
Volume 12: 4 Issues (2020)
Volume 11: 4 Issues (2019)
Volume 10: 4 Issues (2018)
Volume 9: 4 Issues (2017)
Volume 8: 4 Issues (2016)
Volume 7: 4 Issues (2015)
Volume 6: 4 Issues (2014)
Volume 5: 4 Issues (2013)
Volume 4: 4 Issues (2012)
Volume 3: 4 Issues (2011)
Volume 2: 4 Issues (2010)
Volume 1: 4 Issues (2009)
View Complete Journal Contents Listing