Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care

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.

[1]  L. Shan,et al.  Caste-Centric Development of Agent-Oriented Information Systems , 2007 .

[2]  A de Leiva,et al.  European Dimension of Diabetes Research. , 1996, Diabetologia.

[3]  Hong Zhu,et al.  SLABS: A Formal Specification Language for Agent-Based Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[4]  E. Gómez,et al.  Multi-Agent Architecture for the Provision of Intelligent Telemedicine Services in Diabetes Management , 2003 .

[5]  O. B. Henkemans,et al.  Personal assistants for healthcare treatment at home , 2005 .

[6]  Hong Zhu.  A formal specification language for agent-oriented software engineering , 2003, AAMAS '03.

[7]  B. Carlsson,et al.  Enhance Collaboration in Diabetic Healthcare for Children using Multi-agent Systems , 2008 .

[8]  Antonio Moreno,et al.  A Multi-agent System for Organ Transplant Co-ordination , 2001, AIME.

[9]  Hong Zhu.  Formal Reasoning about Emergent Behaviours of Multi-Agent Systems , 2005, SEKE.

[10]  Vassilis Koutkias,et al.  A multiagent system enhancing home-care health services for chronic disease management , 2005, IEEE Transactions on Information Technology in Biomedicine.

[11]  Antonio Vallecillo,et al.  Agent-Based Applications in Health Care , 2003 .

[12]  Enrique J. Gómez,et al.  Intelligent alarms integrated in a multi-agent architecture for diabetes management , 2004 .

[13]  Fernando Alonso,et al.  A formal specification language for agent conversations , 2003 .

[14]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[15]  Enrique J. Gómez,et al.  A Telemedicine System That Includes a Personal Assistant Improves Glycemic Control in Pump-Treated Patients with Type 1 Diabetes , 2007, Journal of diabetes science and technology.