254
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Rigorous development of computer based Integrated Care Pathways for HIV patients

      proceedings-article
      , , , , , ,
      BCS Health Informatics Scotland (HIS) (HIS)
      BCS Health Informatics Scotland (HIS)
      2 - 3 September 2014
      integrated care pathways, human immunodeficiency virus, workflow, artificial intelligence
      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            September 2014
            September 2014
            : 1-2
            Affiliations
            [0001]University of Edinburgh
            [0002]NHS Greater Glasgow and Clyde
            [0003]NHS Lothian
            Article
            10.14236/ewic/HIS2014.7
            69a99d5b-4e7c-468d-b90a-720bad6ab0c9
            © 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-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
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            integrated care pathways,workflow,human immunodeficiency virus,artificial intelligence

            Comments

            Comment on this article