Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers
2014 IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS) (2014)
New York, NY, USA
May 27, 2014 to May 29, 2014
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CBMS.2014.50
We review a generic framework for rigorous workflow modelling and verification that was recently applied to healthcare collaboration patterns, and we show how it can be utilised to help both medical staff and health informaticians build a systematic understanding of informal practices followed during intra-hospital patient transfers. A case study is discussed, demonstrating how the logical foundations of our approach help capture and enforce significant aspects of intra-hospital transfers that are pertinent to their improvement.
Hospitals, Collaboration, Visualization, Guidelines, Documentation, Surgery
A. Manataki, J. Fleuriot and P. Papapanagiotou, "Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers," 2014 IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS), New York, NY, USA, 2014, pp. 257-262.