Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework

Medical Diagnosis System is widely used in health care domain. Nowadays, advent of the era of Medical Diagnosis System means healthcare services at any time and at any places, which leads to advance studying and exploring of Medical Diagnosis Systems based on context-awareness framework. As a typical complex and widely used context aware system, reliable and complete designment of Medical Diagnosis System is espacially important. In this paper, we would analyze the modelling of a Medical Diagnosis System based on context-awareness theory in detail, proposes a new method of modelling, simulation and verification of such system, we would also present a typical illustration of context aware Medical Diagnosis System in this paper.