Knowledge-based verification of clinical guidelines by detection of anomalies

Duftschmid, Georg; Miksch, Silvia

doi:10.1016/s0933-3657(00)00098-1

Cited by 35 publications

(28 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…-35 -(P [ [1,5], [3,7], [2,6],0]) (P1 [ [1,2], [8,9], [6,7],0] do-seq-ordered( (P2 [ [1,3], [4,6], [1,4],0]), (P3 [ [4,7], [8,9], [1,5],0]))) (P1 [ [1,2], [6,9], [4,7],0] do-seq-ordered( (P2 [[0,3], [4,6], [1,4],0]), (P3 [ [3,7], [8,9], [1,6],0]))) Figure 1. One-dimensional (left) and two-dimensional (right) graphical representation of time annotation [ [2,5], [6,11], [2,7], 0].…”

Section: Resultsmentioning

confidence: 99%

“…Whereas completeness is defined in an equivalent manner as Shiffman and Greenes have done, checking a guideline for coherency means looking for conjunctive actions, which exclude each other because of incompatible activation conditions. Duftschmid and Miksch [4] proposed a three-step method to verify conditions within a clinical guideline, modeled as a hierarchy of Asbru plans. In that study, a guideline is checked for the occurrence of anomalies, which represent violations of certain properties postulated from a legal guideline's condition set.…”

Section: Related Work On the Verification Of Guidelinesmentioning

confidence: 99%

See 1 more Smart Citation

Verification of temporal scheduling constraints in clinical practice guidelines

Duftschmid¹,

Miksch²,

Gall³

2002

Artificial Intelligence in Medicine

View full text Add to dashboard Cite

The computerization of clinical practice guidelines is a significant scientific challenge for the medical informatics community. One frequently reported factor hindering this objective is the existence of deficiencies within guideline knowledge. In this paper, we focus on the detection of flaws within temporal scheduling constraints. Temporal scheduling constraints are important elements of therapy management, and are frequently incorporated in clinical practice guidelines. We present a suitable verification method that is based on calculating the minimal network of temporal constraints on the execution of guideline activities. Our method serves three purposes: (1) it checks whether temporal scheduling constraints are consistent with scheduling constraints implied by control flow operators and the hierarchical structuring of a guideline; (2) it yields suggestions for an equivalent, yet more explicit representation of non-minimal constraints; (3) it can be used by the guideline interpreter to assemble feasible time intervals for the execution of each guideline activity.We evaluate our approach by applying it to a guideline specified in the Asbru language. For this purpose, we implemented a prototype verifier. Although we concentrate on the guideline representation language Asbru as the demonstration medium of our method within this paper, our approach can be reused to verify several alternative guideline-representation formats.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Related Work On the Verification Of Guidelinesmentioning

confidence: 99%

Verification of temporal scheduling constraints in clinical practice guidelines

Duftschmid¹,

Miksch²,

Gall³

2002

Artificial Intelligence in Medicine

View full text Add to dashboard Cite

show abstract

“…Strukturelle Eigenschaften werden in [22,23] definiert, um die ein Leitliniendokument zu validieren. Ziel ist es, eine Reihe von Aussagen zu definieren, die in der Regel von einer Leitlinie erfüllt sein sollen.…”

Section: Strukturelle Eigenschaftenunclassified

Modellierung und Verifikation medizinischer Leitlinien

Schmitt¹

2010

It - Information Technology

View full text Add to dashboard Cite

Zusammenfassung Medizinische Leitlinien sind ein Instrument zur Steigerung der Effizienz und Qualität medizinischer Behandlungen. Um dies zu erreichen, bündeln Leitlinien alles verfügbare Wissen zur Behandlung einer bestimmten Krankheit in einem kompakten Dokument, nach dem dann tausende von Patienten behandelt werden. Dies eröffnet die Frage, wie die Qualität der Leitlinien selbst sichergestellt werden kann. Der hier vorgestellte Ansatz überträgt Methoden der strukturierten Softwareentwicklung auf medizinische Leitlinien. Dadurch ist es erstmals möglich, Garantien bezüglich der Korrektheit von medizinischen Leitlinien zu geben.

show abstract

“…We consider work such as [30][31][32][33] as other approaches to the improvement of medical guidelines.…”

Section: Related Workmentioning

confidence: 99%

“…The work of [30] and [32] fit in the beginning of this spectrum, while the work of [31,33] fits in the end.…”

Section: Related Workmentioning

confidence: 99%

Improving medical protocols by formal methods

Teije

Marcos

Balser

et al. 2006

Artificial Intelligence in Medicine

View full text Add to dashboard Cite

Objectives During the last decade, evidence-based medicine has given rise to an increasing number of medical practice guidelines and protocols. However, the work done on developing and distributing protocols outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical protocols. Recent efforts have tried to address the problem of protocol improvement, but they are not sufficient since they rely on informal processes and notations. Our objective is to improve the quality of medical protocols. Results Our main results are: a consolidated formal language to model medical practice protocols; two protocols, each both modelled and formalised; a list of properties that medical protocols should satisfy; verification proofs for these protocols and properties; and perspectives of the potentials of this approach. Our results have been evaluated by a panel of medical experts, who judged that the problems we detected in the protocols with the help of formal methods were serious and should be avoided. ConclusionsWe have succeeded in demonstrating the feasibility of formal methods for improving medical protocols.

show abstract

Knowledge-based verification of clinical guidelines by detection of anomalies

Cited by 35 publications

References 23 publications

Verification of temporal scheduling constraints in clinical practice guidelines

Verification of temporal scheduling constraints in clinical practice guidelines

Modellierung und Verifikation medizinischer Leitlinien

Improving medical protocols by formal methods

Contact Info

Product

Resources

About