TAT-based formal representation of medical guidelines: Imatinib case-study

Author

Simalatsar, Alena ; De Micheli, G.

Author_Institution

Integrated Syst. Lab., EPFL, Lausanne, Switzerland

fYear

2012

fDate

Aug. 28 2012-Sept. 1 2012

Firstpage

5078

Lastpage

5081

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.

Keywords

automata theory; formal verification; medical computing; Imatinib; TAT-based formal representation; TIMES toolbox; automatic formal verification; computer-based interpretation; medical guideline; medical protocol formal representation; timed automata extended with tasks; Automata; Clocks; Computational modeling; Conferences; Diseases; Guidelines; Protocols; Artificial Intelligence; Benzamides; Clinical Protocols; Decision Support Systems, Clinical; Natural Language Processing; Piperazines; Practice Guidelines as Topic; Pyrimidines; Software; United States; User-Computer Interface; Vocabulary, Controlled;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering in Medicine and Biology Society (EMBC), 2012 Annual International Conference of the IEEE

Conference_Location

San Diego, CA

ISSN

1557-170X

Print_ISBN

978-1-4244-4119-8

Electronic_ISBN

1557-170X

Type

conf

DOI

10.1109/EMBC.2012.6347135

Filename

6347135