메뉴 건너뛰기




Volumn 19, Issue 6, 2007, Pages 832-846

Verification of medical guidelines using background knowledge in task networks

Author keywords

Background knowledge; Formal verification; Medical guidelines; Temporal logic

Indexed keywords

HOSPITAL DATA PROCESSING; MEDICAL APPLICATIONS; PATIENT TREATMENT; REGULATORY COMPLIANCE; TEMPORAL LOGIC;

EID: 34247564760     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2007.190611     Document Type: Article
Times cited : (25)

References (34)
  • 2
    • 0033852784 scopus 로고    scopus 로고
    • Evidence-Based Medicine and Practice Guidelines: An Overview
    • S.H. Woolf, "Evidence-Based Medicine and Practice Guidelines: An Overview," Cancer Control, vol. 7, pp. 362-367, 2000.
    • (2000) Cancer Control , vol.7 , pp. 362-367
    • Woolf, S.H.1
  • 3
    • 0037732628 scopus 로고    scopus 로고
    • Evidence-Based Medicine and Quality of Care
    • D. Dickenson and P. Vineis, "Evidence-Based Medicine and Quality of Care," Health Care Analysis, vol. 10, pp. 243-259, 2002.
    • (2002) Health Care Analysis , vol.10 , pp. 243-259
    • Dickenson, D.1    Vineis, P.2
  • 4
    • 0033585883 scopus 로고    scopus 로고
    • Potential Benefits, Limitations, and Harms of Clinical Guidelines
    • S. Woolf, R. Grol, A. Hutchinson, M. Eccles, and J. Grimshaw, "Potential Benefits, Limitations, and Harms of Clinical Guidelines," British Medical J., vol. 318, pp. 527-530, 1999.
    • (1999) British Medical J , vol.318 , pp. 527-530
    • Woolf, S.1    Grol, R.2    Hutchinson, A.3    Eccles, M.4    Grimshaw, J.5
  • 6
    • 2942617072 scopus 로고    scopus 로고
    • Approaches for Creating Computer-Interpretable Guidelines That Facilitate Decision Support
    • P.A. de Clercq, J.A. Blom, H.H.M. Korsten, and A. Hasman, "Approaches for Creating Computer-Interpretable Guidelines That Facilitate Decision Support," Artificial Intelligence in Medicine, vol. 31, no. 1, pp. 1-27, 2004.
    • (2004) Artificial Intelligence in Medicine , vol.31 , Issue.1 , pp. 1-27
    • de Clercq, P.A.1    Blom, J.A.2    Korsten, H.H.M.3    Hasman, A.4
  • 10
    • 0343342322 scopus 로고    scopus 로고
    • J. Fox, N. Johns, A. Rahmanzadeh, and R. Thomson, PROforma: A Method and Language for Specifying Clinical Guidelines and Protocols, Proc. 13th Medical Informatics Europe Int'l Congress (MIE '96), J. Brender, J. Christensen, S.J.R., and P. McNair, eds., pp. 516-520, 1996.
    • J. Fox, N. Johns, A. Rahmanzadeh, and R. Thomson, "PROforma: A Method and Language for Specifying Clinical Guidelines and Protocols," Proc. 13th Medical Informatics Europe Int'l Congress (MIE '96), J. Brender, J. Christensen, S.J.R., and P. McNair, eds., pp. 516-520, 1996.
  • 12
    • 26944499606 scopus 로고    scopus 로고
    • Asbru's Reference Manual, Asbru Version 7.3
    • Technical Report Asgaard-TR-20002-1, Inst. of Software Technology, Vienna Univ. of Technology
    • A. Seyfang, R. Kosara, and S. Misch, "Asbru's Reference Manual, Asbru Version 7.3," Technical Report Asgaard-TR-20002-1, Inst. of Software Technology, Vienna Univ. of Technology, 2002.
    • (2002)
    • Seyfang, A.1    Kosara, R.2    Misch, S.3
  • 13
    • 0032168169 scopus 로고    scopus 로고
    • The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines
    • Y. Shahar, S. Miksch, and P. Johnson, "The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines," Artificial Intelligence in Medicine, vol. 14, pp. 29-51, 1998.
    • (1998) Artificial Intelligence in Medicine , vol.14 , pp. 29-51
    • Shahar, Y.1    Miksch, S.2    Johnson, P.3
  • 15
    • 0034577047 scopus 로고    scopus 로고
    • From Guideline Modeling to Guideline Execution: Defining Guideline-Based Decision-Support Services
    • S. Tu and M. Musen, "From Guideline Modeling to Guideline Execution: Defining Guideline-Based Decision-Support Services," Proc. Am. Medical Informatics Assoc. Ann. Symp. (AMIA '99), pp. 863-867, 1999.
    • (1999) Proc. Am. Medical Informatics Assoc. Ann. Symp. (AMIA '99) , pp. 863-867
    • Tu, S.1    Musen, M.2
  • 16
    • 33644955795 scopus 로고    scopus 로고
    • Interpreting Procedures from Descriptive Guidelines
    • M. Peleg, L. Gutnik, V. Snow, and V.L. Patel, "Interpreting Procedures from Descriptive Guidelines," J. Biomedical Informatics, vol. 39, no. 2, pp. 184-195, 2006.
    • (2006) J. Biomedical Informatics , vol.39 , Issue.2 , pp. 184-195
    • Peleg, M.1    Gutnik, L.2    Snow, V.3    Patel, V.L.4
  • 22
    • 0033324496 scopus 로고    scopus 로고
    • Plan Management in the Medical Domain
    • S. Miksch, "Plan Management in the Medical Domain," AI Comm., vol. 12, no. 4, pp. 209-235, 1999.
    • (1999) AI Comm , vol.12 , Issue.4 , pp. 209-235
    • Miksch, S.1
  • 25
    • 0019004898 scopus 로고
    • Equality and Domain Closure in First-Order Data-bases
    • R. Reiter, "Equality and Domain Closure in First-Order Data-bases," J. ACM, vol. 27, pp. 235-249, 1980.
    • (1980) J. ACM , vol.27 , pp. 235-249
    • Reiter, R.1
  • 26
    • 0034230481 scopus 로고    scopus 로고
    • Bayesian Identification of a Population Compartmental Model of C-Peptide Kinetics
    • P. Magni, R. Bellazzi, G. Sparacino, and C. Cobelli, "Bayesian Identification of a Population Compartmental Model of C-Peptide Kinetics," Annals of Biomedical Eng., vol. 28, pp. 812-823, 2000.
    • (2000) Annals of Biomedical Eng , vol.28 , pp. 812-823
    • Magni, P.1    Bellazzi, R.2    Sparacino, G.3    Cobelli, C.4
  • 27
    • 34247629165 scopus 로고    scopus 로고
    • Formal Semantics of Asbru-v2.12
    • Univ. of Augsburg, June
    • M. Balser, C. Duelli, W. Reif, and J. Schmitt, "Formal Semantics of Asbru-v2.12," technical report, Univ. of Augsburg, June 2006, http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/.
    • (2006) technical report
    • Balser, M.1    Duelli, C.2    Reif, W.3    Schmitt, J.4
  • 29
    • 0001672032 scopus 로고    scopus 로고
    • Reasoning about Abstract State Machines: The WAM Case Study
    • G. Schellhorn and W. Ahrendt, "Reasoning about Abstract State Machines: The WAM Case Study," J. Universal Computer Science, vol. 3, no. 4, pp. 377-413, http://hyperg.iicm.tu-graz.ac.at/jucs/, 1997.
    • (1997) J. Universal Computer Science , vol.3 , Issue.4 , pp. 377-413
    • Schellhorn, G.1    Ahrendt, W.2
  • 30
    • 33749384522 scopus 로고    scopus 로고
    • The Mondex Challenge: Machine-Checked Proofs for an Electronic Purse
    • J. Misra, T. Nipkow, and E. Sekerinski, eds, pp
    • G. Schellhorn, H. Grandy, D. Haneberg, and W. Reif, "The Mondex Challenge: Machine-Checked Proofs for an Electronic Purse," Proc. 14th Int'l Symp. Formal Methods (FM '06), J. Misra, T. Nipkow, and E. Sekerinski, eds., pp. 16-31, 2006.
    • (2006) Proc. 14th Int'l Symp. Formal Methods (FM '06) , pp. 16-31
    • Schellhorn, G.1    Grandy, H.2    Haneberg, D.3    Reif, W.4
  • 31
    • 33749388023 scopus 로고    scopus 로고
    • Verifying Concurrent Systems with Symbolic Execution-Temporal Reasoning Is Symbolic Execution with a Little Induction,
    • PhD dissertation, Univ. of Augsburg, Augsburg, Germany
    • M. Balser, "Verifying Concurrent Systems with Symbolic Execution-Temporal Reasoning Is Symbolic Execution with a Little Induction," PhD dissertation, Univ. of Augsburg, Augsburg, Germany, 2005.
    • (2005)
    • Balser, M.1
  • 32
    • 0036679049 scopus 로고    scopus 로고
    • Verifying Concurrent Systems with Symbolic Execution
    • M. Baiser, C. Duelli, W. Reif, and G. Schellhorn, "Verifying Concurrent Systems with Symbolic Execution," J. Logic and Computation, vol. 12, no. 4, pp. 549-560, 2002.
    • (2002) J. Logic and Computation , vol.12 , Issue.4 , pp. 549-560
    • Baiser, M.1    Duelli, C.2    Reif, W.3    Schellhorn, G.4
  • 33
    • 34247638694 scopus 로고    scopus 로고
    • Support for Interactive Verification of Asbru in KIV
    • Technical Report 2006-16, Inst. of Informatics, Univ. of Augsburg, June
    • J. Schmitt, M. Baiser, and W. Reif, "Support for Interactive Verification of Asbru in KIV," Technical Report 2006-16, Inst. of Informatics, Univ. of Augsburg, June 2006.
    • (2006)
    • Schmitt, J.1    Baiser, M.2    Reif, W.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.