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

Volumn , Issue , 2009, Pages 507-512

  Martinez Sarriegui, Iñaki ^a,b   Zhu, Hong ^c   Shan, Lijun ^d   García Sáez, Gema ^a,b   Gómez, Enrique J ^a,b   Hernando, M Elena ^a,b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b BIOMATERIALES Y NANOMEDICINA CIBER BBN   (Spain)

^c OXFORD BROOKES UNIVERSITY   (United Kingdom)

^d NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

Diabetes care; MAS formal specification; Modelling; Software agents; Telemedicine; Telemonitoring

Indexed keywords

AUTOMATIC PROCESSING; DIABETES CARE; DISTRIBUTED AUTONOMY; FORMAL SPECIFICATION; LARGE AMOUNTS OF DATA; MAS FORMAL SPECIFICATION; MEDICAL SYSTEMS; META MODEL; MODELLING; MODELLING ENVIRONMENT; MULTI-AGENT; MULTI-AGENT TECHNOLOGIES; PERSONAL ASSISTANTS; SYSTEM EVOLUTION; TELEMEDICINE SYSTEMS; TELEMONITORING;

ACCESS CONTROL; ARTIFICIAL INTELLIGENCE; HOSPITAL DATA PROCESSING; SPECIFICATIONS; TELEMEDICINE;

SOFTWARE AGENTS;

EID: 70349448676     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

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. 529-558.
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.