Administration of Medical Contexts with Denotational Mathematics in Ubiquitous Computing Home Environments

Home healthcare promises significant advantages over the traditional hospitalization, provided the support of the contemporary scientific and technological achievements. The ubiquitous computing paradigm suits the home healthcare provided that the dispersed computing devices in the home environment can actively participate in the interpretation of the developed, each time, medical context. Large numbers of disseminated sensors and computing devices, wirelessly and ad-hoc connected, present problems related to energy limitations and the patients' mobility introduce systemic complexity, uncertainty, and ambiguity. The formal description of such systems requires the inclusion of extensive details becoming tedious, if not impractical. Denotational Mathematics provides an alternative formal methodology framework capable to formally describe the constituting components, the performed operations, and the static and dynamic behaviors of complex system. Employing the expressive power of Denotational Mathematics, it is attempted to design a system that develops medically valid contextual contents adequate to support patients hospitalized at home. The formally described design provides the contents of the medical context enriched by the rules of the current state of medical knowledge. Denotational Mathematics provides the means to formally present the conceptual comparison between technically obtained medical contexts against predetermined medical contexts to obtain valid interpretations. The presented design has the ambition to formally describe the required cooperation of discrete ubiquitous computing applications to achieve the development of a commonly interpreted medical context at home.