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 - Sept 2004 |
Event | 2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004 - Canterbury, United Kingdom Duration: 7 Sept 2004 → 8 Sept 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