A formal MDA approach for mobile health systems

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

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 proceeding › Conference contribution › Academic › peer-review

29 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 language	English
Title of host publication	Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations
Subtitle of host publication	September 7th-8th 2004 Canterbury, UK: Proceedings
Editors	D.H. Akehurst
Place of Publication	Kent, UK
Publisher	University of Kent
Pages	28-35
Number of pages	8
Publication status	Published - Sep 2004
Event	2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004 - Canterbury, United Kingdom Duration: 7 Sep 2004 → 8 Sep 2004 Conference number: 2

Publication series

Name	Technical Report
Publisher	University of Kent
Number	17-04

Conference

Conference	2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004
Abbreviated title	MDA
Country/Territory	United Kingdom
City	Canterbury
Period	7/09/04 → 8/09/04

Keywords

EC Grant Agreement nr.: FP6/004341

Access to Document

Jones2004formalAccepted author version, 75.7 KB
Jones2004formalFinal published version, 258 KB

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.

@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 = sep,

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",

note = "2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004, MDA ; Conference date: 07-09-2004 Through 08-09-2004",

}

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, Kent, UK, 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 et al.

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. Kent, UK : University of Kent, 2004. p. 28-35 (Technical Report; No. 17-04).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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

N1 - Conference code: 2

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

CY - Kent, UK

T2 - 2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004

Y2 - 7 September 2004 through 8 September 2004

ER -

A formal MDA approach for mobile health systems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this