Improving medical protocols by formal methods

摘要: Objectives: During the last decade, evidence-based medicine has given rise to an increasing number of medical practice guidelines and protocols. However, work done on developing distributing protocols outweighs efforts guaranteeing their quality. Indeed, anomalies like ambiguity incompleteness are frequent in Recent have tried address problem protocol improvement, but they not sufficient since rely informal processes notations. Our objective is improve quality Approach: The solution we suggest improvement consists utilisation formal methods. It requires definition adequate representation language, development techniques for analysis described that language and, more importantly, evaluation feasibility approach based formalisation verification real-life For first two aspects earlier from fields knowledge third aspect, i.e. use methods protocols, constitutes our main objective. steps with which carried out this following: (1) take reference cover a wide variety characteristics; (2) formalise these protocols; (3) check interesting properties; (4) determine how many errors can be uncovered way. Results: results are: consolidated model each both modelled formalised; list properties should satisfy; proofs perspectives potentials approach. been evaluated by panel experts, who judged problems detected help were serious avoided. Conclusions: We succeeded demonstrating improving