Journal of shanghai Jiaotong University (Science) ›› 2017, Vol. 22 ›› Issue (1): 66-071.doi: 10.1007/s12204-017-1801-0

Previous Articles     Next Articles

Performance Modelling of Patient Flow Scheduling Through a Formal Method

Performance Modelling of Patient Flow Scheduling Through a Formal Method

CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁 杰)   

  1. (1. School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang 212013, Jiangsu, China; 2. School of Computing Science, Newcastle University, Newcastle Upon Tyne, NE1 7RU, UK; 3. School of Information Engineering, Yangzhou University, Yangzhou 225127, Jiangsu, China)
  2. (1. School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang 212013, Jiangsu, China; 2. School of Computing Science, Newcastle University, Newcastle Upon Tyne, NE1 7RU, UK; 3. School of Information Engineering, Yangzhou University, Yangzhou 225127, Jiangsu, China)
  • Online:2017-02-28 Published:2017-04-04
  • Contact: CHEN Xiao1* (陈潇) E-mail:xiaochen@ujs.edu.cn

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.

Key words: scheduling, performance valuation| patient flow| performance evaluation process algebra (PEPA)| ordinary differential equations (ODEs)

摘要: 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.

关键词: scheduling, performance valuation| patient flow| performance evaluation process algebra (PEPA)| ordinary differential equations (ODEs)

CLC Number: