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

Valerie M. Jones

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Downloads (Pure)

    Abstract

    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 languageEnglish
    Title of host publicationFourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops
    Subtitle of host publicationPerCom 2006
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages580-584
    Number of pages5
    ISBN (Print)0-7695-2520-2
    DOIs
    Publication statusPublished - 2006
    EventFourth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006 - Pisa, Italy
    Duration: 13 Mar 200617 Mar 2006
    Conference number: 4
    http://cnd.iit.cnr.it/percom2006/

    Publication series

    Name
    PublisherIEEE Computer Society
    NumberWP06-03

    Workshop

    WorkshopFourth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2006
    Abbreviated titlePerCom
    CountryItaly
    CityPisa
    Period13/03/0617/03/06
    Internet address

    Keywords

    • EWI-8131
    • IR-66602
    • METIS-237603
    • EC Grant Agreement nr.: FP6/517352

    Fingerprint Dive into the research topics of 'Model Driven Development of m-Health Systems (with a Touch of Formality)'. Together they form a unique fingerprint.

    Cite this