TAT-based formal representation of medical guidelines: imatinib case-study.
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.
Integrated Systems Laboratory, EPFL, 1015 Lausanne, Switzerland. alena.simalatsar@epfl.ch
Alena
A
Simalatsar
Giovanni
G
De Micheli
D001185:Artificial Intelligence; D001549:Benzamides / Q000008:administration & dosage*; D002985:Clinical Protocols / Q000592:standards; D020000:Decision Support Systems, Clinical; D000068877:Imatinib Mesylate; D009323:Natural Language Processing; D010879:Piperazines / Q000008:administration & dosage*; D017410:Practice Guidelines as Topic; D011743:Pyrimidines / Q000008:administration & dosage*; D012984:Software; D014481:United States; D014584:User-Computer Interface; D018875:Vocabulary, Controlled
D001549:Benzamides; D010879:Piperazines; D011743:Pyrimidines; D000068877:Imatinib Mesylate