A formal MDA approach for mobile health systems

Val Jones, Arend Rensink, Theo Ruys, Ed Brinksma, Aart van Halteren

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationSecond European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations
Subtitle of host publicationSeptember 7th-8th 2004 Canterbury, UK: Proceedings
EditorsD.H. Akehurst
PublisherUniversity of Kent
Pages28-35
Number of pages8
Publication statusPublished - Sep 2004
Event2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004 - Canterbury, United Kingdom
Duration: 7 Sep 20048 Sep 2004
Conference number: 2

Publication series

NameTechnical Report
PublisherUniversity of Kent
Number17-04

Conference

Conference2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004
Abbreviated titleMDA
CountryUnited Kingdom
CityCanterbury
Period7/09/048/09/04

Fingerprint

Formal methods
Security systems
Health
mHealth

Keywords

  • EC Grant Agreement nr.: FP6/004341

Cite this

Jones, V., Rensink, A., Ruys, T., Brinksma, E., & van Halteren, A. (2004). A formal MDA approach for mobile health systems. In D. H. Akehurst (Ed.), Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings (pp. 28-35). (Technical Report; No. 17-04). University of Kent.
Jones, Val ; Rensink, Arend ; Ruys, Theo ; Brinksma, Ed ; van Halteren, Aart. / A formal MDA approach for mobile health systems. Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. editor / D.H. Akehurst. University of Kent, 2004. pp. 28-35 (Technical Report; 17-04).
@inproceedings{a94b0ef0f5634b3ca1f220f0b9423ed0,
title = "A formal MDA approach for mobile health systems",
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.",
keywords = "EC Grant Agreement nr.: FP6/004341",
author = "Val Jones and Arend Rensink and Theo Ruys and Ed Brinksma and {van Halteren}, Aart",
year = "2004",
month = "9",
language = "English",
series = "Technical Report",
publisher = "University of Kent",
number = "17-04",
pages = "28--35",
editor = "D.H. Akehurst",
booktitle = "Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations",

}

Jones, V, Rensink, A, Ruys, T, Brinksma, E & van Halteren, A 2004, A formal MDA approach for mobile health systems. in DH Akehurst (ed.), Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. Technical Report, no. 17-04, University of Kent, pp. 28-35, 2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004, Canterbury, United Kingdom, 7/09/04.

A formal MDA approach for mobile health systems. / Jones, Val; Rensink, Arend; Ruys, Theo; Brinksma, Ed; van Halteren, Aart.

Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. ed. / D.H. Akehurst. University of Kent, 2004. p. 28-35 (Technical Report; No. 17-04).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A formal MDA approach for mobile health systems

AU - Jones, Val

AU - Rensink, Arend

AU - Ruys, Theo

AU - Brinksma, Ed

AU - van Halteren, Aart

PY - 2004/9

Y1 - 2004/9

N2 - 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.

AB - 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.

KW - EC Grant Agreement nr.: FP6/004341

M3 - Conference contribution

T3 - Technical Report

SP - 28

EP - 35

BT - Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations

A2 - Akehurst, D.H.

PB - University of Kent

ER -

Jones V, Rensink A, Ruys T, Brinksma E, van Halteren A. A formal MDA approach for mobile health systems. In Akehurst DH, editor, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. University of Kent. 2004. p. 28-35. (Technical Report; 17-04).