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

^*Corresponding author for this work

Technical University of Madrid
Oxford Brookes University
National University of Defense Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Citations (Scopus)

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.

Original language	English
Title of host publication	ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence
Pages	507-512
Number of pages	6
Publication status	Published - 2009
Externally published	Yes
Event	1st International Conference on Agents and Artificial Intelligence, ICAART 2009 - Porto, Portugal Duration: 19 Jan 2009 → 21 Jan 2009

Publication series

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

Conference

Conference	1st International Conference on Agents and Artificial Intelligence, ICAART 2009
Country/Territory	Portugal
City	Porto
Period	19/01/09 → 21/01/09

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Keywords

Diabetes care
MAS formal specification
Modelling
Software agents
Telemedicine
Telemonitoring

Cite this

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. In 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. in 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

Abstract

Publication series

Conference

UN SDGs

Keywords

Other files and links

Fingerprint

Cite this