Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Rigorous development of computer based Integrated Care Pathways for HIV patients

    BCS Health Informatics Scotland (HIS)

    Glasgow, UK, 2 - 3 September 2014

    AUTHORS

    Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki, Andrew Winter, Rak Nandwani, Daniel Clutterbuck & David Wilks

    ABSTRACT

    We describe ongoing work on the modelling, verification, and implementation of Integrated Care Pathways (ICPs) for HIV patients in Scotland. Healthcare knowledge, including existing policies, guidelines, and best practices, is encoded in formal, process-based, workflow models. This is achieved through the use of our logic-based, modelling framework WorkflowFM, which provides high levels of rigour and trust about the designed ICPs. We believe this effort will result in a formally verified, easily maintainable, computer based implementation of HIV ICPs that will greatly improve the current standard of care.

    PAPER FORMATS

    PDF filePDF Version of this Paper (99kb)