A formal MDA approach for mobile health systems

Share/Save/Bookmark

Jones, Val and Rensink, Arend and Ruys, Theo and Brinksma, Ed and Halteren van, Aart (2004) A formal MDA approach for mobile health systems. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, EWMDA-2, 7-8 September 2004, Canterbury, England.

[img]PDF
Restricted to UT campus only
: Request a copy
75Kb
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 Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63479
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page