Edinburgh Research Explorer

Rigorous development of computer based Integrated Care Pathways for HIV patients

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationProceedings of Health Informatics Scotland Conference 2014
Number of pages2
Publication statusPublished - 2014


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.

Download statistics

No data available

ID: 18629134