Toward a decision support system for the clinical pathways assessment

被引:8
作者
Bernardi, Simona [1 ]
Mahulea, Cristian [1 ]
Albareda, Jorge [2 ]
机构
[1] Univ Zaragoza, Dept Comp Sci & Syst Engn, Zaragoza, Spain
[2] Univ Hosp Lozano Blesa, Dept Orthoped Surg, Zaragoza, Spain
来源
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2019年 / 29卷 / 01期
关键词
Healthcare systems; Clinical pathways; Unified modeling language; Petri nets; DISCRETE-EVENT SIMULATION; HEALTH-CARE; EMERGENCY-DEPARTMENT; EFFICIENCY; FRAMEWORK; MODEL;
D O I
10.1007/s10626-019-00279-9
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a decision support system to be used in hospital management tasks which is based on the clinical pathways. We propose a very simple graphical modeling language based on a small number of primitive elements through which the medical doctors could introduce a clinical pathway for a specific disease. Three essential aspects related to a clinical pathway can be specified in this language: (1) patient flow; (2) resource utilization; and (3) information interchange. This high-level language is a domain specific modeling language called Healthcare System Specification (HSS), and it is defined as an Unified Modeling Language (UML) profile. A model to model transformation is also proposed in order to obtain, from the pathways HSS specification, a Stochastic Well-formed Net (SWN) model that enables a formal analysis of the modeled system and, if needed, to apply synthesis methods enforcing specified requirements. The transformation is based on the application of local rules. The clinical pathway of hip fracture from the "Lozano Blesa" University hospital in Zaragoza is taken as an example.
引用
收藏
页码:91 / 125
页数:35
相关论文
共 52 条
[1]   The application of the unified modeling language in object-oriented analysis of healthcare information systems [J].
Aggarwal V. .
Journal of Medical Systems, 2002, 26 (5) :383-397
[2]  
[Anonymous], FORMAL110602 OMG
[3]  
[Anonymous], ILOG CPLEX OPT
[4]  
Aristovnik A, 2012, ACTUAL PROBL ECON, P305
[5]   A Modeling and Simulation Framework for Health Care Systems [J].
Augusto, Vincent ;
Xie, Xiaolan .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (01) :30-46
[6]   Measurement of hospital efficiency, using a latent class stochastic frontier model [J].
Barros, Carlos Pestana ;
de Menezes, Antonio Gomes ;
Vieira, Jose Cabral .
APPLIED ECONOMICS, 2013, 45 (01) :47-54
[7]   Implementing compositionality for stochastic Petri nets [J].
Bernardi S. ;
Donatelli S. ;
Horváth A. .
International Journal on Software Tools for Technology Transfer, 2001, 3 (04) :417-430
[8]   A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets [J].
Bernardi, Simona ;
Campos, Javier .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05) :1167-1181
[9]   Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets [J].
Bernardi, Simona ;
Campos, Javier .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2009, 5 (02) :168-180
[10]  
Bosilj-Vuksic V., 2001, ENTERPRISE INFORM SY, P143