EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

7105 A formal MDA approach for mobile health systems

Home Policy Brochure Browse Search User Area Contact Help

Jones, V.M. and Rensink, A. and Ruys, T.C. and Brinksma, H. and van Halteren, A.T. (2004) A formal MDA approach for mobile health systems. In: EWMDA-2, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, 7-8 Sept 2004, Canterbury, England. pp. 28-35. University of Kent. ISBN not assigned

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
76 Kb

Abstract

M-health systems are safety critical systems intended for use by the public and are therefore characterized by especially strict requirements relating to safety, security, correctness, reliability, adaptability and user friendliness. This position paper proposes a methodology which realizes the MDA approach by utilizing formal methods to support verification, validation and transformation. The objective is to investigate the use of MDA enriched by formal methods to define a generic, evolvable architecture for m-health services which facilitates the rapid development and deployment of high quality adaptable m-health services.

Item Type:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-ASNA: Architecture and Services of Network Applications, EWI-FMT: Formal Methods and Tools, EWI-SE: Software Engineering
Research Program:	CTIT-eHealth: ICT-in-Healthcare
Research Project:	Freeband/Awareness: context AWARE mobile NEtworks and ServiceS
ID Code:	7105
Status:	Published
Deposited On:	19 December 2006
Refereed:	Yes
International:	Yes
More Information:	statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item