loading
Documents

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

ISBN: 978-989-8111-66-1

ISSN: 2184-433X

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.

PDF ImageFull Text

Download
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.234.241.200

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.; Hernando M. and (2009). MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE .In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8111-66-1, 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 - Volume 1: ICAART,},
year={2009},
pages={507-512},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001661405070512},
isbn={978-989-8111-66-1},
}

TY - CONF

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE
SN - 978-989-8111-66-1
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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.