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

    61 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
    Place of PublicationKent, UK
    PublisherUniversity of Kent
    Pages28-35
    Number of pages8
    Publication statusPublished - Sept 2004
    Event2nd European Workshop Model Driven Architecture with Emphasis on Methodologies and Transformations, MDA 2004 - Canterbury, United Kingdom
    Duration: 7 Sept 20048 Sept 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
    Country/TerritoryUnited Kingdom
    CityCanterbury
    Period7/09/048/09/04

    Keywords

    • EC Grant Agreement nr.: FP6/004341

    Fingerprint

    Dive into the research topics of 'A formal MDA approach for mobile health systems'. Together they form a unique fingerprint.

    Cite this