A formal MDA approach for mobile health systems
Jones, Val, Arend Rensink, Theo C. Ruys, Ed Brinksma, Aart van Halteren, D.H. Akehurst · University of Twente Research Information · 2004
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. 1