Model Driven Development of m-Health Systems (with a Touch of Formality)

We propose a model driven design and development methodology augmented with formal validation and verification (V&V) for the development of mobile health systems. Systems which deliver healthcare services remotely should be developed using robust and trusted engineering technologies. The methodology instantiates steps in the MDA trajectory using formal methods to verify critical properties of models, to test preservation of those properties in the derived implementations and to effect model transformations by correctness preserving transformations. The methodology is described and some initial modelling is reported

MOSAIC roadmap for mobile collaborative work related to health and wellbeing.

The objective of the MOSAIC project is to accelerate innovation in Mobile Worker Support Environments. For that purpose MOSAIC develops visions and illustrative scenarios for future collaborative workspaces involving mobile and location-aware working. Analysis of the scenarios is input to the process of road mapping with the purpose of developing strategies for R&D leading to deployment of innovative mobile work technologies and applications across different domains. One of the application domains where MOSAIC is active is health and wellbeing. This paper builds on another paper submitted to this same conference, which presents and discusses health care and wellbeing specific scenarios. The aim is to present an early form of a roadmap for validation

MOSAIC vision and scenarios for mobile collaborative work related to health and wellbeing

The main objective of the MOSAIC project is to accelerate innovation in Mobile Worker Support Environments by shaping future research and innovation activities in Europe. The modus operandi of MOSAIC is to develop visions and illustrative scenarios for future collaborative workspaces involving mobile and location-aware working. Analysis of the scenarios is input to the process of road mapping with the purpose of developing strategies for R&D leading to deployment of innovative mobile work technologies and applications across different domains. This paper relates to one specific domain, that of Health and Wellbeing. The focus is therefore is on mobile working environments which enable mobile collaborative working related to the domain of healthcare and wellbeing services for citizens. This paper reports the work of MOSAIC T2.2 on the vision and scenarios for mobile collaborative work related to this domain. This work was also an input to the activity of developing the MOSAIC roadmap for future research and development targeted at realization of the future Health and Wellbeing vision. The MOSAIC validation process for the Health and Wellbeing scenarios is described and one scenario – the Major Incident Scenario - is presented in detail

Extending remote patient monitoring with mobile real time clinical decision support

Large scale implementation of telemedicine services such as telemonitoring and teletreatment will generate huge amounts of clinical data. Even small amounts of data from continuous patient monitoring cannot be scrutinised in real time and round the clock by health professionals. In future huge volumes of such data will have to be routinely screened by intelligent software systems. We investigate how to make m-health systems for ambulatory care more intelligent by applying a Decision Support approach in the analysis and interpretation of biosignal data and to support adherence to evidence-based best practice such as is expressed in treatment protocols and clinical practice guidelines. The resulting Clinical Decision Support Systems must be able to accept and interpret real time streaming biosignals and context data as well as the patient’s (relatively less dynamic) clinical and administrative data. In this position paper we describe the telemonitoring/teletreatment system developed at the University of Twente, based on Body Area Network (BAN) technology, and present our vision of how BAN-based telemedicine services can be enhanced by incorporating mobile real time Clinical Decision Support. We believe that the main innovative aspects of the vision relate to the implementation of decision support on a mobile platform; incorporation of real time input and analysis of streaming\ud biosignals into the inferencing process; implementation of decision support in a distributed system; and the consequent challenges such as maintenance of consistency of knowledge, state and beliefs across a distributed environment

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. Recent 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 will have a personalized instance of the health BAN customized to their current set of needs. A health professional interacts with their\ud 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 recent modelling activities targeted at real implementations. In the context of the Awareness project BAN implementations will be trialled in a number of clinical settings including epilepsy management and management of chronic pain

MobiHealth-Innovative 2.5/3G mobile services and applications for health care

MobiHealth aims at introducing new mobile value added services in the area of healthcare, based on 2.5 (GPRS) and 3G (UMTS) technologies, thus promoting the use and deployment of GPRS and UMTS. This will be achieved by the integration of sensors and actuators to a Wireless Body Area Network (BAN). These sensors and actuators will continuously measure and transmit vital constants along with audio and video to health service providers and brokers, improving on one side the life of patients and allowing on the other side the introduction of new value-added services in the areas of disease prevention and diagnostic, remote assistance, para-health services, physical state monitoring (sports) and even clinical research. Furthermore, the MobiHealth BAN system will support the fast and reliable application of remote assistance in case of accidents by allowing the paramedics to send reliable vital constants data as well as audio and video directly from the accident site

Personalised mobile services supporting the implementation of clinical guidelines

Telemonitoring is emerging as a compelling application of Body Area Networks (BANs). We describe two health BAN systems developed respectively by a European team and an Australian team and discuss some issues encountered relating to formalization of clinical knowledge to support real-time analysis and interpretation of BAN data. Our example application is an evidence-based telemonitoring and teletreatment application for home-based rehabilitation. The application is intended to support implementation of a clinical guideline for cardiac rehabilitation following myocardial infarction. In addition to this the proposal is to establish the patient’s individual baseline risk profile and, by real-time analysis of BAN data, continually re-assess the current risk level in order to give timely personalised feedback. Static and dynamic risk factors are derived from literature. Many sources express evidence probabilistically, suggesting a requirement for reasoning with uncertainty; elsewhere evidence requires qualitative reasoning: both familiar modes of reasoning in KBSs. However even at this knowledge acquisition stage some issues arise concerning how best to apply the clinical evidence. Furthermore, in cases where insufficient clinical evidence is currently available, telemonitoring can yield large collections of clinical data with the potential for data mining in order to furnish more statistically powerful and accurate clinical evidence

Tele-education Process Modelling supported by the ODP Enterprise Viewpoint Language

This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity that aims at designing a tele-education system to support planning, execution and evaluation of dynamic distributed educational processes. We explore the ODP enterprise viewpoint as a basis for communication and co-operation between educational scientists and ODP systems designers involved in the design process. Our application of the enterprise viewpoint involves four main steps. First, an educational language is proposed to describe educational processes in generic terms. Second, a set of appropriate enterprise language concepts is selected. Third, a relationship is established between the educational language and enterprise language concepts. Fourth, an educational process is modelled in terms of an entity-oriented model and a behaviour-oriented model. It is hoped that the experience gained in this exercise will provide useful feedback to both the educational and ODP communitie

BAN-Based m-health Services: Experiences and Prospects

The University of Twente and partners are developing and prototyping Body Area networks (BANs) for healthcare. We define a BAN as a network of devices worn on or around the body which communicate amongst themselves and perform a set of services for the user. Our work began with the European MobiHealth project whose objective was to investigate the potential of 2.5 and 3G wireless communication technologies to support useful services and applications. In this article we discuss the main aims and results of the MobiHealth project. On the basis of these results we further discuss a particular methodology which we believe gives leverage on the problem of managing the complex of objectives and expectations of the different parties involved in the process of design, development and implementation of ICT systems for healthcare. This methodology aims at articulation and translation of the visions and expectations of both designers and prospective users in future development scenarios. These scenarios may be used to specify potential uses of health BAN technology in particular contexts, to anticipate and evaluate possible outcomes and effects, and to feed back insights obtained from this anticipatory technology assessment into the ongoing process of design, development and deployment

Web-Support for Activating Use of Theory in Group-Based Learning

This paper describes a series of experiments conducted within the context of a\ud course on organisational theory which is taught at the Department of Management \ud Sciences at the University of Twente. In 1997 a group-based learning approach was adopted but after the first year it was apparent that acquisition and application of theory by student groups was inadequate. In an attempt to remedy this problem a Web-based collaborative work environment was introduced in 1998 with the intention of encouraging students to read relevant theoretical material and also to reflect more on what they had read. In addition to hosting a ‘theory repository’, the collaborative work environment was designed to control the flow of work and to enforce rules for groups’ access to the output of other groups, based on their own performance. Further changes were made and a third edition of the course was run and evaluated in 1999. A description of the educational setting and the Web-based "Theory repository" is presented. The evaluation results over the period 1997-1999 are presented and discussed. The extent to which the discipline of reading improved was evaluated, as were the effects on insight into theory. It turns out that the technical realisation works well. Uptake of the instructional tasks for reflection, however, only takes place if these tasks are perceived as being helpful