Formal description of the Home UbiHealth model using denotational mathematics (Doctoral thesis)

Σαριβουγιούκας, Ιωάννης

Science and engineering support Healthcare contributing in well-being and prosperity. The scientific attainments complement the technological achievements of nano-technology, communications, and computing developing sustainable paradigms. The discrete levels of Health Systems are challenged by the scarcity of medically controllable facilities. The tertiary and secondary levels of the Health Systems strive to provide extremely specialized and costly hospitals. At the primary level, distinguished into formal and informal, the limited availability of health centers and medical offices of formal Primary Care raises issues related with medical risks, funding, and equity in access. The informal Primary Care refers to the provision of healthcare services at medically uncontrollable environments such as at homes. Research efforts for the provision of medical services at home, Home Healthcare, confronted by limited standardization in the domestic environment and adopted the use of technological paradigms such as Smart Home, Internet of Things, Cloud Computing and Ubiquitous Computing along with the medical paradigm of Medical Home in Primary Care. The challenges refer to make the informal Primary Care medically controllable capable to substitute specific accountabilities of the rest of the levels of the Health System reconfiguring the complex flows of information within the house and among Government Agencies, Health Authorities, Social Security, Insurances, and the Market. Home can be medically administrable with support from ubiquitous computing, adopting principles of Smart Home, relying on Internet of Things, and using Cloud Computing for its systemic integration. Home healthcare in ubiquitous computing environments, Home UbiHealth, must incorporate software with principles of autonomy, mobility, migration, and polymorphism. The complex healthcare processes, inside and outside of the house, requires the design and implementation of complicated software applications. Analytical mathematics have limited expressiveness along with the disadvantage of large volumes of tedious analyses and methods due to extensive calculations. Moreover, algebra and calculus are incapable to manipulate medical concepts, and formally describe the dynamic behavior of software applications. The contribution of this research work is the capability to describe rigorously and formally with Denotational Mathematics the Home UbiHealth model. In particular, this research work provides a tool set in a formally given framework for the description of the behavior of software ahead of its implementation.
Institution and School/Department of submitter: Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Η/Υ & Πληροφορικής
Subject classification: Ubiquitous computing
Keywords: Home UbiHealth,Denotational mathematics
Appears in Collections:Διδακτορικές Διατριβές

Files in This Item:
File Description SizeFormat 

 Please use this identifier to cite or link to this item:
  This item is a favorite for 0 people.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.