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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Simalatsar, Alena, De Micheli, Giovanni
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Artificial Intelligence Automata Benzamides - administration & dosage Clinical Protocols - standards Clocks Computational modeling Conferences Decision Support Systems, Clinical Diseases Guidelines Imatinib Mesylate Natural Language Processing Piperazines - administration & dosage Practice Guidelines as Topic Protocols Pyrimidines - administration & dosage Software United States User-Computer Interface Vocabulary, Controlled
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	1094-687X 1557-170X 1558-4615
DOI:	10.1109/EMBC.2012.6347135