Representation of medical guidelines with a computer interpretable model

Détails

ID Serval
serval:BIB_6F153FABAD97
Type
Article: article d'un périodique ou d'un magazine.
Sous-type
Synthèse (review): revue aussi complète que possible des connaissances sur un sujet, rédigée à partir de l'analyse exhaustive des travaux publiés.
Collection
Publications
Titre
Representation of medical guidelines with a computer interpretable model
Périodique
International Journal on Artificial Intelligence Tools
Auteur(s)
Simalatsar A., You W., Gotta V., Widmer N., De Micheli G.
ISSN
0218-2130
ISSN-L
1793-6349
Statut éditorial
Publié
Date de publication
2014
Peer-reviewed
Oui
Volume
23
Numéro
03
Pages
1460003/1-24
Langue
anglais
Résumé
Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system which requires their computer-interpretable representation of medical GLs. Until now most of the medical GLs are often represented in a textual format and therefore often suffer from such structural problems as incompleteness, inconsistencies, ambiguity and redundancy, which makes the translation process to the machine-interpretable language more complicated. Computer-based interpretation of GLs can improve the quality of protocols as well as the quality of medical service. Several GLs formal representation methods have been presented recently. Only some of them enable automatic formal verification by introducing an additional translation path to the existing model checking environments. However, if a verified property fails it is difficult to trace back the result needed to change the model. Moreover, these formalisms provide the notion of time mostly in terms of actions order. In this paper we preset the application of a well-know formal behaviour representation approach of embedded systems design domain to medical GLs interpretation. We use Timed Automata extended with Tasks (TAT) and TIMES toolbox to represent medical GLs as a system behaviour in a computer interpretable form. We discuss the verification issues with the help of the anticancer drug imatinib case study.
Mots-clé
Medical guidelines, formalization, timed automaton, verification
Web of science
Création de la notice
30/05/2014 10:48
Dernière modification de la notice
20/08/2019 14:28
Données d'usage