• Record: found
  • Abstract: found
  • Article: found
Is Open Access

Rigorous development of computer based Integrated Care Pathways for HIV patients

, , , , , ,

BCS Health Informatics Scotland (HIS) (HIS)

BCS Health Informatics Scotland (HIS)

2 - 3 September 2014

integrated care pathways, human immunodeficiency virus, workflow, artificial intelligence

Read this article at

      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.


      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.

      Related collections

      Author and article information

      University of Edinburgh
      NHS Greater Glasgow and Clyde
      NHS Lothian
      September 2014
      September 2014
      : 1-2
      © Petros Papapanagiotou et al. Published by BCS Learning and Development Ltd. BCS Health Informatics Scotland (HIS), Glasgow, UK

      This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit

      BCS Health Informatics Scotland (HIS)
      Glasgow, UK
      2 - 3 September 2014
      Electronic Workshops in Computing (eWiC)
      BCS Health Informatics Scotland (HIS)
      Product Information: 1477-9358 BCS Learning & Development
      Self URI (journal page):
      Electronic Workshops in Computing


      Comment on this article