A formal MDA approach for mobile health systems

D.H. Akehurst (Editor), Valerie M. Jones, Arend Rensink, T.C. Ruys, Hendrik Brinksma, Aart van Halteren

Research output: Contribution to conferencePaper

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.
LanguageUndefined
Pages28-35
Number of pages8
StatePublished - Sep 2004

Keywords

  • IR-63479
  • EC Grant Agreement nr.: FP6/004341
  • EWI-7105

Cite this

Akehurst, D. H. (Ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H., & van Halteren, A. (2004). A formal MDA approach for mobile health systems. 28-35.
Akehurst, D.H. (Editor) ; Jones, Valerie M. ; Rensink, Arend ; Ruys, T.C. ; Brinksma, Hendrik ; van Halteren, Aart. / A formal MDA approach for mobile health systems. 8 p.
@conference{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 = "IR-63479, EC Grant Agreement nr.: FP6/004341, EWI-7105",
author = "D.H. Akehurst and Jones, {Valerie M.} and Arend Rensink and T.C. Ruys and Hendrik Brinksma and {van Halteren}, Aart",
year = "2004",
month = "9",
language = "Undefined",
pages = "28--35",

}

Akehurst, DH (ed.), Jones, VM, Rensink, A, Ruys, TC, Brinksma, H & van Halteren, A 2004, 'A formal MDA approach for mobile health systems' pp. 28-35.

A formal MDA approach for mobile health systems. / Akehurst, D.H. (Editor); Jones, Valerie M.; Rensink, Arend; Ruys, T.C.; Brinksma, Hendrik; van Halteren, Aart.

2004. 28-35.

Research output: Contribution to conferencePaper

TY - CONF

T1 - A formal MDA approach for mobile health systems

AU - Jones,Valerie M.

AU - Rensink,Arend

AU - Ruys,T.C.

AU - Brinksma,Hendrik

AU - van Halteren,Aart

A2 - Akehurst,D.H.

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 - IR-63479

KW - EC Grant Agreement nr.: FP6/004341

KW - EWI-7105

M3 - Paper

SP - 28

EP - 35

ER -

Akehurst DH, (ed.), Jones VM, Rensink A, Ruys TC, Brinksma H, van Halteren A. A formal MDA approach for mobile health systems. 2004.