Blog
About

  • 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

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

      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.

      Related collections

      Author and article information

      Affiliations
      University of Edinburgh
      NHS Greater Glasgow and Clyde
      NHS Lothian
      Contributors
      Conference
      September 2014
      September 2014
      : 1-2
      10.14236/ewic/HIS2014.7
      © 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 http://creativecommons.org/licenses/by/4.0/

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

      Comments

      Comment on this article