Projects per year
Abstract
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.
Original language | English |
---|---|
Title of host publication | Computer-Based Medical Systems (CBMS), 2014 IEEE 27th International Symposium on |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 257-262 |
Number of pages | 6 |
ISBN (Print) | 978-1-4799-4435-4 |
DOIs | |
Publication status | Published - May 2014 |
Keywords / Materials (for Non-textual outputs)
- formal verification
- health care
- medical computing
- medical information systems
- formal methods
- healthcare collaboration patterns
- intrahospital patient transfers
- tracheostomy transfers
- workflow modelling
- workflow verification
- Collaboration
- Documentation
- Guidelines
- Hospitals
- Surgery
- Visualization
- healthcare workflows
- intra-hospital transfers
- process model
- tracheostomy
Fingerprint
Dive into the research topics of 'Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers'. Together they form a unique fingerprint.Projects
- 1 Finished
-
The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.
1/08/11 → 31/07/15
Project: Research