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

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

^*Autor correspondiente de este trabajo

Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

5 Citas (Scopus)

Resumen

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.

Idioma original	Inglés
Título de la publicación alojada	ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence
Páginas	507-512
Número de páginas	6
Estado	Publicada - 2009
Publicado de forma externa	Sí
Evento	1st International Conference on Agents and Artificial Intelligence, ICAART 2009 - Porto, Portugal Duración: 19 ene 2009 → 21 ene 2009

Serie de la publicación

Nombre	ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence

Conferencia

Conferencia	1st International Conference on Agents and Artificial Intelligence, ICAART 2009
País/Territorio	Portugal
Ciudad	Porto
Período	19/01/09 → 21/01/09

ODS de las Naciones Unidas

Este resultado contribuye a los siguientes Objetivos de Desarrollo Sostenible

ODS 3: Salud y bienestar

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

Martinez-Sarriegui, I., Zhu, H., Shan, L., García-Sáez, G., Gómez, E. J., & Hernando, M. E. (2009). Modelling and formal specification of a multiagent telemedicine system for diabetes care. En ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence (pp. 507-512). (ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence).

Martinez-Sarriegui, Iñaki ; Zhu, Hong ; Shan, Lijun et al. / Modelling and formal specification of a multiagent telemedicine system for diabetes care. ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence. 2009. pp. 507-512 (ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence).

@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",

}

Martinez-Sarriegui, I, Zhu, H, Shan, L, García-Sáez, G, Gómez, EJ & Hernando, ME 2009, Modelling and formal specification of a multiagent telemedicine system for diabetes care. En ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence. ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence, pp. 507-512, 1st International Conference on Agents and Artificial Intelligence, ICAART 2009, Porto, Portugal, 19/01/09.

Modelling and formal specification of a multiagent telemedicine system for diabetes care. / Martinez-Sarriegui, Iñaki; Zhu, Hong; Shan, Lijun et al.
ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence. 2009. p. 507-512 (ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence).

Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

TY - GEN

T1 - Modelling and formal specification of a multiagent telemedicine system for diabetes care

AU - Martinez-Sarriegui, Iñaki

AU - Zhu, Hong

AU - Shan, Lijun

AU - García-Sáez, Gema

AU - Gómez, Enrique J.

AU - Hernando, M. Elena

PY - 2009

Y1 - 2009

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

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

KW - Diabetes care

KW - MAS formal specification

KW - Modelling

KW - Software agents

KW - Telemedicine

KW - Telemonitoring

UR - https://www.scopus.com/pages/publications/70349448676

M3 - Conference contribution

AN - SCOPUS:70349448676

SN - 9789898111661

T3 - ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence

SP - 507

EP - 512

BT - ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence

T2 - 1st International Conference on Agents and Artificial Intelligence, ICAART 2009

Y2 - 19 January 2009 through 21 January 2009

ER -

Martinez-Sarriegui I, Zhu H, Shan L, García-Sáez G, Gómez EJ, Hernando ME. Modelling and formal specification of a multiagent telemedicine system for diabetes care. En ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence. 2009. p. 507-512. (ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence).

Modelling and formal specification of a multiagent telemedicine system for diabetes care

Resumen

Serie de la publicación

Conferencia

ODS de las Naciones Unidas

Otros archivos y enlaces

Huella

Citar esto