ملخص: Comme montré dans de nombreuses études, une partie significative de directives cliniques éditées est corrompue avec différents types d'erreurs sémantiques qui gênent leur application pratique. L'adaptation des directives génériques, rendue nécessaire par des circonstances telles que des limitations de ressource dans l'organisation d' application ou les événements inattendus surgissant au cours du soin patient, autre favorise l'introduction des défauts. Toujours, les approches les plus actuelles pour l'automatisation des directives cliniques manquent des mécanismes, qui contrôlent l'exactitude globale de leur sortie. En domaine de la technologie de la programmation en général et dans le domaine des systèmes basés sur la connaissance (KBS) en particulier, une stratégie commune pour examiner un système pour des défauts potentiels consiste en sa vérification. Le centre de ce travail doit présent une approche, qui aide à assurer l'exactitude sémantique des directives cliniques dans un processus en trois étapes. Nous employons un cahier des charges particulier Asbru appelé par langage de directive pour démontrer notre mécanisme de vérification. Une évaluation scénario-scenario-based de notre méthode est fournie a basé sur une directive pour la ventilation artificielle des enfants en bas âge nouveau-nés. L'approche décrite est maintenue suffisamment générale afin de permettre son application à plusieurs autres formats de représentation de directive.

لغة: إنجليزية