Prerequisites of Autonomous Software Operations in Home UbiHealth Described Formally with Denotational Mathematics

In the home ubiquitous computing UbiComp environment the wirelessly and ad-hoc networked computing devices are connected with sensors and actuators monitoring, recording, and intervening in the performed activities. The unattended applications operating at this environment must be fault tolerant and redundant. However, the lack of standardization and the uncontrolled evolvement of the developed situations at home result in a hostile environment for computer applications. Also, the need to support the individual's mobility at home increases further the level of difficulty of the associated computing efforts. The individual's mobility is supported providing computing services which can migrate from the currently running device to the neighboring one in order to follow every inhabitant's disposition. Migration presupposes the selection of adequate policies supported by the suitable software infrastructure to exploit the conceptual implementation of polymorphism that allows the preservation of functionality while autonomously transferred to another computing device. This paper provides a formal description with Denotational Mathematics of the operational prerequisites of such an autonomous system that achieves the migration of applications for the continuous support of the individual's mobility. The infrastructure must be capable of enforcing strategies and policies related to migration either by transporting the supporting applications or by referencing them. The achievement of the provision of healthcare at the UbiComp home presupposes the continuous support of the individual's mobility.

[1]  Barry Smith,et al.  Vital Sign Ontology , 2011 .

[2]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors , 2010, Int. J. Softw. Sci. Comput. Intell..

[3]  Xiaolin Li,et al.  Autonomic and Trusted Computing Paradigms , 2006, ATC.

[4]  Jit Biswas,et al.  Deployment of assistive living technology in a nursing home environment: methods and lessons learned , 2013, BMC Medical Informatics and Decision Making.

[5]  Yingxu Wang,et al.  RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors , 2008, Int. J. Cogn. Informatics Nat. Intell..

[6]  Yingxu Wang,et al.  On the Cognitive Complexity of Software and its Quantification and Formal Measurement , 2009, Int. J. Softw. Sci. Comput. Intell..

[7]  Barry Smith,et al.  Biodynamic ontology: applying BFO in the biomedical domain. , 2004, Studies in health technology and informatics.

[8]  Yiyu Yao,et al.  On the System Algebra Foundations for Granular Computing , 2009, Int. J. Softw. Sci. Comput. Intell..

[9]  Yingxu Wang,et al.  Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing , 2009, Fundam. Informaticae.

[10]  Irene Antony Tharayil,et al.  A Framework for enabling Service migration in Ubiquitous Computing , 2013 .

[11]  Yingxu Wang,et al.  Design and Implementation of an Autonomic Code Generator Based on RTPA , 2010, Int. J. Softw. Sci. Comput. Intell..

[12]  Mark Weiser.  The computer for the 21st century , 1991 .

[13]  Qingtao Wu,et al.  Research on Grade Optimization Self-tuning Method for System Dependability Based on Autonomic Computing , 2012, J. Comput..

[14]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks , 2010, Int. J. Softw. Sci. Comput. Intell..

[15]  Yingxu Wang,et al.  On Concept Algebra for Computing with Words (CWW) , 2010, Int. J. Semantic Comput..

[16]  M. Rizwan Jameel Qureshi,et al.  A comparison of model view controller and model view presenter , 2014, ArXiv.

[17]  Valérie Issarny,et al.  Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing , 2006, RODIN Book.

[18]  Yingxu Wang,et al.  Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra , 2011, Int. J. Cogn. Informatics Nat. Intell..