Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth

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]  Yingxu Wang,et al.  On the mathematical laws of software , 2005, Canadian Conference on Electrical and Computer Engineering, 2005..

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

[3]  Guilherme V. Raffo,et al.  Towards an Ontology for Autonomous Robots , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[5]  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..

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

[7]  Roy H. Campbell,et al.  Mobile polymorphic applications in ubiquitous computing environments , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

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

[9]  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.

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

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

[12]  Werner Ceusters,et al.  Toward an Ontological Treatment of Disease and Diagnosis , 2009, Summit on translational bioinformatics.

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

[14]  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..

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

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

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

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

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

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

[21]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

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