Smart environment is being used in many areas to deliver more services to individuals in a physical
space, such as a hospital. In the UK, the National Health Service (NHS) provides free and high quality healthcare
service for all residents. Smart hospital environment is able to support NHS and provide more convenience. Patient
flow scheduling is a crucial section in a smart hospital environment. Smart hospital environment aims to provide a
smart environment in the hospital to facilitate individual experience and improve the quality of healthcare service.
First of all, this paper investigates a real world patient flow scenario of a hospital in the UK and models a general
scheduling scheme based on the scenario using a compositional formal approach, i.e. performance evaluation
process algebra (PEPA). This scheduling scheme uses an easy-implemented solution (the grouping scheme) to
reduce the waiting queue in the hospital. Secondly, fluid flow analysis is used for the performance analysis by
generating a set of ordinary differential equations (ODEs) in terms of the PEPA model.
CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁 杰)
. Performance Modelling of Patient Flow Scheduling Through a Formal Method[J]. Journal of Shanghai Jiaotong University(Science), 2017
, 22(1)
: 66
-071
.
DOI: 10.1007/s12204-017-1801-0
[1] GARTNER D, KOLISCH R. Scheduling the hospitalwideflow ofelective patients [J]. European Journal ofOperational Research, 2014, 233(3): 689-699.
[2] KORTBEEK N, ZONDERLAND M E, BRAAKSMAA, et al. Designing cyclic appointment schedules foroutpatient clinics with scheduled and unscheduledpatientarrivals [J]. Performance Evaluation, 2014, 80:5-26.
[3] HILLSTON J. Fluid flow approximation of PEPAmodels [C]//Proceedings of the Second InternationalConference on the Quantitative Evaluation of Systems.[s.l.]: IEEE, 2005: 1-10.
[4] HILLSTON J. A compositional approach to performancemodelling [M]. London, UK: Cambridge UniversityPress, 1996.
[5] TANG J F, YAN C J, CAO P P. Appointment schedulingalgorithm consideringroutine and urgent patients[J]. Expert Systems with Applications, 2014, 41(10):4529-4541.
[6] CHEN R R, ROBINSON L W. Sequencing andscheduling appointmentswith potential call-in patients[J]. Production and Operations Management, 2014,23(9): 1522-1538.
[7] CHEN X, WANG L M, DING J, et al. Patient flowscheduling and capacity planning in a smart hospitalenvironment [J]. IEEE Access, 2016, 4(1): 135-147.
[8] CHEN X, WANG L M. Exploring trusted data disseminationin a vehicular social network with a formalcompositional approach C]//Proceedings of 40th AnnualComputer Software and Applications Conference(2016 COMPSAC). Atlanta, USA: IEEE, 2016: 616-617.
