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 proceedingConference contributionAcademicpeer-review

    15 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 languageEnglish
    Title of host publicationSecond European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations
    Subtitle of host publicationSeptember 7th-8th 2004 Canterbury, UK: Proceedings
    EditorsD.H. Akehurst
    PublisherUniversity of Kent
    Pages28-35
    Number of pages8
    Publication statusPublished - Sep 2004
    Event2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004 - Canterbury, United Kingdom
    Duration: 7 Sep 20048 Sep 2004
    Conference number: 2

    Publication series

    NameTechnical Report
    PublisherUniversity of Kent
    Number17-04

    Conference

    Conference2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004
    Abbreviated titleMDA
    CountryUnited Kingdom
    CityCanterbury
    Period7/09/048/09/04

      Fingerprint

    Keywords

    • EC Grant Agreement nr.: FP6/004341

    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.