Wu, Hao and Hinsberger, Laure and Timoney, Joseph (2018) A workflow for healthcare systems via OCL and SMT solving: Short paper. In: SEHS'18, 27 May 2018, Gothenburg, Sweden.

Preview

Download (525kB) | Preview

Abstract

Modelling can be applied to all aspects of healthcare systems but one area in particular, clinical pathways, are of great interest currently due to many flow-oriented issues that are well-documented in the media. These pathways typically describe sequences of sorting and treatment activities such as surgical procedures or the care process for managing injuries, for example bone fractures. Previous efforts in using modelling languages have not been promoted as being highly generalizable nor have emphasised the inclusion of constraints defining rules for particular treatment activities. In this paper, we propose a workflow for building flexible models for healthcare systems by exploiting the combination of UML, OCL, and SMT solving. This paper serves as an exposition of an idea that can be developed into a more complete framework that could be used to create workflow models for improving the efficiency and safety of more complex clinical activities. A good application would be to tackle the prevalent problems of emergency departments and some of the challenges in this respect are discussed.

Item Type:	Conference or Workshop Item (Paper)
Keywords:	Healthcare systems; UML; OCL; SMT; workflow models;
Academic Unit:	Faculty of Science and Engineering > Computer Science
Item ID:	13321
Depositing User:	Joseph Timoney
Date Deposited:	29 Sep 2020 16:09
Refereed:	Yes
URI:
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads