MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE
Iñaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez Aguilera, M. Elena Hernando · 2009
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.