Abstract
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.
Similar content being viewed by others
References
GARTNER D, KOLISCH R. Scheduling the hospitalwide flow ofelective patients [J]. European Journal of Operational Research, 2014, 233(3): 689–699.
KORTBEEK N, ZONDERLAND M E, BRAAKSMA A, et al. Designing cyclic appointment schedules for outpatient clinics with scheduled and unscheduledpatient arrivals [J]. Performance Evaluation, 2014, 80: 5–26.
HILLSTON J. Fluid flow approximation of PEPA models [C]// Proceedings of the Second International Conference on the Quantitative Evaluation of Systems. [s.l.]: IEEE, 2005: 1–10.
HILLSTON J. A compositional approach to performance modelling [M]. London, UK: Cambridge University Press, 1996.
TANG J F, YAN C J, CAO P P. Appointment scheduling algorithm consideringroutine and urgent patients [J]. Expert Systems with Applications, 2014, 41(10): 4529–4541.
CHEN R R, ROBINSON L W. Sequencing and scheduling appointmentswith potential call-in patients [J]. Production and Operations Management, 2014, 23(9): 1522–1538.
CHEN X, WANG L M, DING J, et al. Patient flow scheduling and capacity planning in a smart hospital environment [J]. IEEE Access, 2016, 4(1): 135–147.
CHEN X, WANG L M. Exploring trusted data dissemination in a vehicular social network with a formal compositional approach C]// Proceedings of 40th Annual Computer Software and Applications Conference (2016 COMPSAC). Atlanta, USA: IEEE, 2016: 616–617.
Author information
Authors and Affiliations
Corresponding author
Additional information
Foundation item: the National Natural Science Foundation of China (Nos. 61502206 and 61472343), the Natural Science Foundation of Jiangsu Province (Nos. BK20160543 and BK20150523), and the Open Project of Key Laboratory of Jiangsu Province (No. BM20082061507)
Rights and permissions
About this article
Cite this article
Chen, X., Thomas, N. & Ding, J. Performance modelling of patient flow scheduling through a formal method. J. Shanghai Jiaotong Univ. (Sci.) 22, 66–71 (2017). https://doi.org/10.1007/s12204-017-1801-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12204-017-1801-0
Key words
- scheduling
- performance valuation
- patient flow
- performance evaluation process algebra (PEPA)
- ordinary differential equations (ODEs)