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.

Contributors

Petros Papapanagiotou

Jacques Fleuriot

Areti Manataki

Andrew Winter

Rak Nandwani

Daniel Clutterbuck

David Wilks

Conference

Publication date: September 2014

Publication date (Print): September 2014

Pages: 1-2

Affiliations

University of Edinburgh

NHS Greater Glasgow and Clyde

NHS Lothian

Article

DOI: 10.14236/ewic/HIS2014.7

Copyright statement: © Petros Papapanagiotou et al. Published by BCS Learning and Development Ltd. BCS Health Informatics Scotland (HIS), Glasgow, UK

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: BCS Health Informatics Scotland (HIS)

Conference acronym: HIS

Conference number:

Conference location: Glasgow, UK

Conference date: 2 - 3 September 2014

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: BCS Health Informatics Scotland (HIS)

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/HIS2014.7

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing