loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.142.201.93

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Martinez-Sarriegui, I.; Zhu, H.; Shan, L.; García-Sáez, G.; Gómez, E. and Hernando, M. (2009). MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE . In Proceedings of the International Conference on Agents and Artificial Intelligence - ICAART; ISBN 978-989-8111-66-1; ISSN 2184-433X, SciTePress, pages 507-512. DOI: 10.5220/0001661405070512

@conference{icaart09,
author={Iñaki Martinez{-}Sarriegui. and Hong Zhu. and Lijun Shan. and Gema García{-}Sáez. and Enrique J. Gómez. and M. Elena Hernando.},
title={MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE },
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - ICAART},
year={2009},
pages={507-512},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001661405070512},
isbn={978-989-8111-66-1},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - ICAART
TI - MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE
SN - 978-989-8111-66-1
IS - 2184-433X
AU - Martinez-Sarriegui, I.
AU - Zhu, H.
AU - Shan, L.
AU - García-Sáez, G.
AU - Gómez, E.
AU - Hernando, M.
PY - 2009
SP - 507
EP - 512
DO - 10.5220/0001661405070512
PB - SciTePress