@inproceedings{9fd700c773424ed1b4e78a02f0ccdc17,
title = "Modelling and formal specification of a multiagent telemedicine system for diabetes care",
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.",
keywords = "Diabetes care, MAS formal specification, Modelling, Software agents, Telemedicine, Telemonitoring",
author = "I{\~n}aki Martinez-Sarriegui and Hong Zhu and Lijun Shan and Gema Garc{\'i}a-S{\'a}ez and G{\'o}mez, \{Enrique J.\} and Hernando, \{M. Elena\}",
year = "2009",
language = "English",
isbn = "9789898111661",
series = "ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence",
pages = "507--512",
booktitle = "ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence",
note = "1st International Conference on Agents and Artificial Intelligence, ICAART 2009 ; Conference date: 19-01-2009 Through 21-01-2009",
}
