Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Mobile health systems can extend the enterprise computing system of the healthcare provider by bringing services to the patient any time and anywhere. We propose a model-driven design and development methodology for the development of the m-health components in such extended enterprise computing systems. The methodology applies a model-driven design and development approach augmented with formal validation and verification to address quality and correctness and to support model transformation. Work on modelling applications from the healthcare domain is reported. One objective of this work is to explore and elaborate the proposed methodology. At the University of Twente we are developing m-health systems based on body area networks (BANs). One specialization of the generic BAN is the health BAN, which incorporates a set of devices and associated software components to provide some set of health-related services. A patient has a personalized instance of the health BAN customized to their current set of needs. A health professional interacts with their patients' BANs via a BAN professional system. The set of deployed BANs are supported by a server. We refer to this distributed system as the BAN System. The BAN system extends the enterprise computing system of the healthcare provider. Development of such systems requires a sound software engineering approach and this is what we explore with the new methodology. The methodology is illustrated with reference to modelling activities targeted at real implementations. In the context of the awareness project BAN implementations are tested in a number of clinical settings including epilepsy management and management of chronic pain.

[1]  Tafazolli,et al.  The Book of Visions 2001 Visions of the Wireless World , 2001 .

[2]  Theodorus Cornelis Ruys,et al.  Towards effective model checking , 2001 .

[3]  Theo C. Ruys,et al.  Managing the verification trajectory , 2003, International Journal on Software Tools for Technology Transfer.

[4]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[5]  Jan Tretmans,et al.  Automatic Testing with Formal Methods , 1999 .

[6]  Ivan Kurtev,et al.  Adaptability of model transformations , 2005 .

[7]  Ing Widya,et al.  BANip: Enabling Remote Healthcare Monitoring with Body Area Networks , 2003, FIDJI.

[8]  Ivan Kurtev Ivanov,et al.  Adaptability of model transformations , 2005 .

[9]  Thomas G. Zimmerman,et al.  Wireless Networked Digital Devices: A New Paradigm for Computing and Communication , 1999, IBM Syst. J..

[10]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[11]  Dimitri Konstantas,et al.  MobiHealth-Innovative 2.5/3G mobile services and applications for health care , 2002 .

[12]  Valerie M. Jones.  Engineering an implementation of the OSI CCR Protocol using the information systems engineering techniques of formal specification and program transformation , 1997 .

[13]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[14]  Arend Rensink,et al.  Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise , 2005, EDOC.

[15]  João Paulo A. Almeida,et al.  Model-Driven Design of Distributed Applications , 2004, OTM Workshops.

[16]  Ed Brinksma.  Formal Methods for Conformance Testing: Theory Can Be Practical , 1999, CAV.

[17]  Valerie M. Jones,et al.  Software design and prototyping using me too , 1989 .

[18]  Arend Rensink,et al.  A formal MDA approach for mobile health systems , 2004 .

[19]  Valerie M. Jones,et al.  Mobihealth: Wireless mobile services and applications for healthcare , 2002 .

[20]  D. C. Ince.  Software design and prototyping using me too , 1990 .

[21]  Valerie M. Jones.  REALIZATION OF CCR IN C , 1995 .

[22]  J. van Leeuwen,et al.  Scientific Engineering of Distributed Java Applications , 2003, Lecture Notes in Computer Science.

[23]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[24]  I. Widya,et al.  Telematic requirements for a mobile and wireless healthcare system derived from enterprise models , 2003, Proceedings of the 7th International Conference on Telecommunications, 2003. ConTEL 2003..

[25]  Ing Widya,et al.  Mobihealth-Wireless body area networks for healthcare , 2004 .

[26]  Dimitri Konstantas,et al.  Healthcare PANs: Personal Area Networks for trauma care and home care , 2001 .

[27]  Val Jones.  Model driven development of m-health systems (with a touch of formality) , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[28]  Diego Latella,et al.  Correctness Preserving Transformations for the Early Phases of Software Development , 1992 .