Software design and prototyping using me too
Software design and prototyping using me too
Formal Methods for Conformance Testing: Theory Can Be Practical
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Supporting the developers of context-aware mobile telemedicine applications
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
SPLiCE: a software product line for healthcare
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Hi-index | 0.00 |
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 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 recent modelling activities targeted at real implementations. In the context of the Awareness project BAN implementations will be trialled in number of clinical settings including epilepsy management and management of chronic pain.