• DocumentCode
    755504
  • Title

    Join the IEEE Computer Society

  • Author

    Hommersom, Arjen ; Groot, P. ; Lucas, Peter J. F. ; Balser, M. ; Schmitt, J.

  • Author_Institution
    Inst. for Comput. & Inf. Sci., Radboud Univ. Nijmegen
  • Volume
    19
  • Issue
    5
  • fYear
    2007
  • fDate
    5/1/2007 12:00:00 AM
  • Firstpage
    727
  • Lastpage
    727
  • Abstract
    The application of a medical guideline to the treatment of a patient\´s disease can be seen as the execution of tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a "network of tasks," that is, as a sequence of steps that have a specific function or goal. In this paper, a novel methodology for verifying the quality of such guidelines is introduced. To investigate the quality of such guidelines, we propose to include medical background knowledge to task networks and to formalize criteria for good medical practice that a guideline should comply with. This framework was successfully applied to a guideline dealing with the management of diabetes mellitus type 2 by using KIV
  • Keywords
    decision support systems; diseases; formal verification; medical information systems; patient treatment; diabetes management; disease; formal method; medical guideline verification; patient treatment; task network;
  • fLanguage
    English
  • Journal_Title
    Knowledge and Data Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    1041-4347
  • Type

    jour

  • DOI
    10.1109/TKDE.2007.1030
  • Filename
    4138208