Authors:
Iñaki Martinez-Sarriegui
1
;
Hong Zhu
2
;
Lijun Shan
3
;
Gema García-Sáez
1
;
Enrique J. Gómez
1
and
M. Elena Hernando
1
Affiliations:
1
Politechnical University of Madrid, Spain
;
2
Oxford Brookes University, United Kingdom
;
3
National University of Defence Technology, China
Keyword(s):
Software agents, MAS Formal Specification, Modelling, Diabetes Care, Telemonitoring, Telemedicine.
Related
Ontology
Subjects/Areas/Topics:
Agent Models and Architectures
;
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Distributed and Mobile Software Systems
;
Enterprise Information Systems
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Multi-Agent Systems
;
Software Engineering
;
Symbolic Systems
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.