Improving Medical Protocols Through Formalisation: A Case Study Export

@misc{citeulike:4959917, abstract = {Medical practice protocols or guidelines contain more or less precise recommendations to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements. Medical bodies worldwide have made efforts in this direction, but mostly using informal methods such as peer review of protocols. In this paper we present a different approach, namely the quality improvement of medical protocols through formalisation. The research question that we trytoanswerinthispaperis:can formalisation contribute to improve the quality of medical protocols? In order to answer this question, we have carried out two case studies on protocol formalisation, using two separate protocols. As a result of our formalisation effort, we have uncovered a significant number of anomalies in these two protocols. This is a surprising result, since the two selected protocols are of the highest quality produced by the medical profession.}, author = {Marcos, Mar and Roomans, Hugo and Teijeþ, Annette T.}, citeulike-article-id = {4959917}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5657}, keywords = {healthcare, modeling, verification}, posted-at = {2009-06-25 19:38:27}, priority = {0}, title = {Improving Medical Protocols Through Formalisation: A Case Study}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5657}, year = {2002} }

TY - ELEC ID - citeulike:4959917 L3 - citeulike-article-id:4959917 N2 - Medical practice protocols or guidelines contain more or less precise recommendations to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements. Medical bodies worldwide have made efforts in this direction, but mostly using informal methods such as peer review of protocols. In this paper we present a different approach, namely the quality improvement of medical protocols through formalisation. The research question that we trytoanswerinthispaperis:can formalisation contribute to improve the quality of medical protocols? In order to answer this question, we have carried out two case studies on protocol formalisation, using two separate protocols. As a result of our formalisation effort, we have uncovered a significant number of anomalies in these two protocols. This is a surprising result, since the two selected protocols are of the highest quality produced by the medical profession. TI - Improving Medical Protocols Through Formalisation: A Case Study KW - healthcare KW - modeling KW - verification AU - Marcos, Mar AU - Roomans, Hugo AU - Teijeþ, Annette PY - 2002/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5657 ER -