1. TAT-based formal representation of medical guidelines: imatinib case-study.
- Author
-
Simalatsar A and De Micheli G
- Subjects
- Artificial Intelligence, Clinical Protocols standards, Imatinib Mesylate, United States, Benzamides administration & dosage, Decision Support Systems, Clinical, Natural Language Processing, Piperazines administration & dosage, Practice Guidelines as Topic, Pyrimidines administration & dosage, Software, User-Computer Interface, Vocabulary, Controlled
- Abstract
Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.
- Published
- 2012
- Full Text
- View/download PDF