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

Valerie M. Jones

Research output: Book/ReportReportProfessional

6 Citations (Scopus)
36 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 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
No.06-35
ISSN (Print)1381-3625

Keywords

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

Cite this

Jones, V. M. (2006). Model Driven Development of m-Health Systems (with a Touch of Formality). (CTIT Technical Report Series; No. 06-35). Enschede: Centre for Telematics and Information Technology (CTIT).
Jones, Valerie M. / Model Driven Development of m-Health Systems (with a Touch of Formality). Enschede : Centre for Telematics and Information Technology (CTIT), 2006. (CTIT Technical Report Series; 06-35).
@book{4de19f767af449f0b1bd4fc64683f2c0,
title = "Model Driven Development of m-Health Systems (with a Touch of Formality)",
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.",
keywords = "METIS-238652, EWI-5690, EC Grant Agreement nr.: FP6/517352, IR-66170",
author = "Jones, {Valerie M.}",
note = "Imported from CTIT",
year = "2006",
month = "1",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "06-35",
address = "Netherlands",

}

Jones, VM 2006, Model Driven Development of m-Health Systems (with a Touch of Formality). CTIT Technical Report Series, no. 06-35, Centre for Telematics and Information Technology (CTIT), Enschede.

Model Driven Development of m-Health Systems (with a Touch of Formality). / Jones, Valerie M.

Enschede : Centre for Telematics and Information Technology (CTIT), 2006. (CTIT Technical Report Series; No. 06-35).

Research output: Book/ReportReportProfessional

TY - BOOK

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

AU - Jones, Valerie M.

N1 - Imported from CTIT

PY - 2006/1

Y1 - 2006/1

N2 - 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.

AB - 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.

KW - METIS-238652

KW - EWI-5690

KW - EC Grant Agreement nr.: FP6/517352

KW - IR-66170

M3 - Report

T3 - CTIT Technical Report Series

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

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

Jones VM. Model Driven Development of m-Health Systems (with a Touch of Formality). Enschede: Centre for Telematics and Information Technology (CTIT), 2006. (CTIT Technical Report Series; 06-35).