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 typica...

Full description

Saved in:
Bibliographic Details
Main Authors: Shujun Zou, Kaiyu Wan, Zongyuan Yang
Format: Conference Proceeding
Language:English
Subjects:
Arrays
Calculus
Context
Context modeling
Context-aware services
Context-awarness Framework
Medical diagnosis
Medical Diagnosis System
Modelling
UPPAAL
Verifying
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2159-6301
DOI:10.1109/FCST.2010.66