TAT-based Formal Representation of Medical Guidelines : Imatinib Case-study

Computer-based interpretation of medical guide- lines (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 in:
Proceedings of the 34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2012)
Presented at:
34th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2012), San Diego, California, USA, August 28 - September 1, 2012
Year:
2012
Publisher:
New York, Ieee
ISBN:
978-1-4577-1787-1
Laboratories:




 Record created 2012-07-05, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)