Title
A model-based approach for the specification and verification of clinical guidelines
Abstract
This paper presents a modeling methodology for clinical guidelines used in hospitals. The clinical guidelines are assumed to be given in a graphical form in a structure obtained by combining few elements. It is shown how the clinical guidelines represented with this syntax can be automatically converted into a mathematical model represented as Petri nets. The main advantage of the new model is the inclusion of resources and patient flow in the same model which makes possible its use in analysis and verification of the guidelines. Moreover, if different clinical guidelines in a hospital or department in a hospital are considered, the models can be used for resource optimization and performance evaluation. The clinical guideline of hip fracture from the ”Lozano Blesa” University hospital in Zaragoza is taken as an example.
Year
DOI
Venue
2014
10.1109/ETFA.2014.7005058
Emerging Technology and Factory Automation
Keywords
DocType
Citations 
Petri nets,formal specification,formal verification,health care,hospitals,medical information systems,Lozano Blesa University hospital,Petri nets,Zaragoza,clinical guideline modeling methodology,clinical guideline specification,clinical guideline syntax,clinical guideline verification,hip fracture,hospital department,mathematical model,model-based approach,performance evaluation,resource optimization
Conference
0
PageRank 
References 
Authors
0.34
3
4
Name
Order
Citations
PageRank
Bernardi, S.1403.85
José-Manuel Colom2172.43
Jorge Albareda301.01
Cristian Mahulea416119.50