MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE

Iñaki Martinez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando

2009

Abstract

This paper presents the modelling and formal specification of a telemedicine system for diabetes care. In such scenario, the multiagent technology supports the distributed autonomy of several Personal Assistants; the communications between them and the hospital´s agents; the control of the system´s access and multitask functionality; scalability; adaptability; robustness; and the provision to the physicians with the necessary automatic processing tools for the analysis of the large amounts of data generated by patients. We evaluated the AOIS meta-model and the CAMLE’s modelling environment concluding that this methodology is adequate to represent a complex medical system like the one presented. The model and the formal specification provide a more complete view of the system and contain very useful information to cope with the future system evolution.

Paper Citation

in Harvard Style

Martinez-Sarriegui I., Zhu H., Shan L., García-Sáez G., Gómez E. and Hernando M. (2009). MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8111-66-1, pages 507-512. DOI: 10.5220/0001661405070512

in Bibtex Style

@conference{icaart09,
author={Iñaki Martinez-Sarriegui and Hong Zhu and Lijun Shan and Gema García-Sáez and Enrique J. Gómez and M. Elena Hernando},
title={MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE },
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2009},
pages={507-512},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001661405070512},
isbn={978-989-8111-66-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE
SN - 978-989-8111-66-1
AU - Martinez-Sarriegui I.
AU - Zhu H.
AU - Shan L.
AU - García-Sáez G.
AU - Gómez E.
AU - Hernando M.
PY - 2009
SP - 507
EP - 512
DO - 10.5220/0001661405070512