Model Driven Development of m-Health Systems (with a Touch of Formality)

Valerie M. Jones

    Research output: Book/ReportReportProfessional

    7 Citations (Scopus)
    167 Downloads (Pure)


    We propose a model driven design and development methodology augmented with formal validation and verification (V&V) for the development of mobile health systems. Systems which deliver healthcare services remotely should be developed using robust and trusted engineering technologies. The methodology instantiates steps in the MDA trajectory using formal methods to verify critical properties of models, to test preservation of those properties in the derived implementations and to effect model transformations by correctness preserving transformations. The methodology is described and some initial modelling is reported.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Jan 2006

    Publication series

    NameCTIT Technical Report Series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology
    ISSN (Print)1381-3625


    • METIS-238652
    • EWI-5690
    • EC Grant Agreement nr.: FP6/517352
    • IR-66170

    Cite this