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

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.

References

  1. Aldea, A. et al. 2001. A Multi-agent System for Organ Transplant Co-ordination. In the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine, LNCS 2101. Springer-Verlag.
  2. De Leiva, A., Lefèbvre P. and Nerup J., 1995. European dimension of Diabetes Research. Diabetologia, 39, p. 5-11.
  3. De Haan, G., O.B. Henkemans, and A. Aluwalia. 2005. Personal Assistants for Healthcare Treatment at Home. In the 2005 annual conference on European association of cognitive ergonomics. Ghania, Greece.
  4. Hernando, M.E., et al. 2003. Multi-agent Architecture for the Provision of Intelligent Telemedicine Services in Diabetes Management. In the workshop on Intelligent and Adaptive Systems in Medicine. Prague, Czech.
  5. Hernando, M.E, García-Sáez, G., Gómez, E.J. and del Pozo, F. 2004. Intelligent Alarms Integrated in a Multi-Agent Architecture for Diabetes Management. Transactions of the Institute of Meassurement & Control. 26(3), p 185-200.
  6. International Diabetes Federation, 2003. Diabetes Atlas, Brussels, 2nd Edition.
  7. Koutkias, V. et al. 2002. A Multiagent System Enhancing Home-Care Health Services for Chronic Disease Management. IEEE Transactions on Information Technology in Biomedicine, 9(4)
  8. Nealon, J.L. and Moreno, A., 2003. Agent-Based Applications in Health Care. In Applications of Software Agent Technology in the Health Care Domain. Basel, Germany. pp. 3-18.
  9. Rigla et al. 2007. A Telemedicine System that Includes a Personal Assistant Improves Glycemic Control in Pump Treated Patients with Type 1 Diabetes. Journal of Diabetes Science and Technology. 1(4), p. 505-510
  10. Shan, L., Shen, R., Wang, J., Zhu, H., 2006. Caste-centric Development of Agent Oriented Information Systems, Handbook of Research on Nature Inspired Computing for Economy and Management, Jean-Philippe Rennard (Ed.), Idea Group Inc. p. 692-707.
  11. Wooldridge, M. 2002. An introduction to Multiagent systems. John Wiley, Chichester.
  12. Zhang et al. 2008. Enhance Collaboration in Diabetic Healthcare for Children using Multi-agent Systems. AT2AI-6 Working Notes, From Agent Theory to Agent Implementation, AAMAS 2008, Estoril, Portugal, EU.
  13. Zhu, H., 2001. SLABS: A Formal Specification Language for Agent-Based Systems, International Journal of Software Engineering and Knowledge Engineering, Vol. 11. No. 5, pp. 529558.
  14. Zhu, H., 2003. A formal specification language for agentoriented software engineering, in Proc. of AAMAS'2003, Melbourne, Australia, pp 1174 - 1175.
  15. Zhu, H. 2005. Formal Reasoning about emergent behaviour in MAS, Proceedings of SEKE'05, Taipei, pp 280-285.
Download


Paper Citation


in Harvard Style

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 - Volume 1: ICAART, ISBN 978-989-8111-66-1, pages 507-512. DOI: 10.5220/0001661405070512


in Bibtex Style

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


in EndNote Style

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