Rigorous development of computer based Integrated Care Pathways for HIV patients

Petros Papapanagiotou; Jacques Fleuriot; Areti Manataki; A Winter; Rak Nandwani; D Clutterbuck; D. Wilks

Rigorous development of computer based Integrated Care Pathways for HIV patients

Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki, A Winter, Rak Nandwani, D Clutterbuck, D. Wilks

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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.

Original language	English
Title of host publication	Proceedings of Health Informatics Scotland Conference 2014
Number of pages	2
Publication status	Published - 2014

Access to Document

Papapanagiotou 2014 Rigorous development of computer basedAccepted author manuscript, 98.6 KB

http://ewic.bcs.org/content/ConWebDoc/54715

The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.
EPSRC
1/08/11 → 31/07/15
Project: Research

Cite this

@inproceedings{a30bb77473234bbab05a8a9b863a6480,

title = "Rigorous development of computer based Integrated Care Pathways for HIV patients",

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.",

author = "Petros Papapanagiotou and Jacques Fleuriot and Areti Manataki and A Winter and Rak Nandwani and D Clutterbuck and D. Wilks",

year = "2014",

language = "English",

booktitle = "Proceedings of Health Informatics Scotland Conference 2014",

}

TY - GEN

T1 - Rigorous development of computer based Integrated Care Pathways for HIV patients

AU - Papapanagiotou, Petros

AU - Fleuriot, Jacques

AU - Manataki, Areti

AU - Winter, A

AU - Nandwani, Rak

AU - Clutterbuck, D

AU - Wilks, D.

PY - 2014

Y1 - 2014

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

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

M3 - Conference contribution

BT - Proceedings of Health Informatics Scotland Conference 2014

ER -

Rigorous development of computer based Integrated Care Pathways for HIV patients

Abstract / Description of output

Access to Document

Fingerprint

Projects

The integration and interaction of multiple mathematical reasoning processes

Cite this