000196314 001__ 196314
000196314 005__ 20190331182819.0
000196314 0247_ $$2doi$$a10.1142/S0218213014600033
000196314 02470 $$2ISI$$a000336744300005
000196314 037__ $$aARTICLE
000196314 245__ $$aRepresentation of Medical Guidelines with a Computer Interpretable Model
000196314 269__ $$a2014
000196314 260__ $$bWorld Scientific Publ Co Pte Ltd$$c2014$$aSingapore
000196314 300__ $$a24
000196314 336__ $$aJournal Articles
000196314 520__ $$aNowadays 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.
000196314 6531_ $$amedical guidelines
000196314 6531_ $$aformalization
000196314 6531_ $$atimed automaton
000196314 6531_ $$averification
000196314 700__ $$0245269$$g208977$$aSimalatsar, Alena
000196314 700__ $$0242425$$g190358$$aYou, Wenqi
000196314 700__ $$aGotta, Verena
000196314 700__ $$aWidmer, Nicolas
000196314 700__ $$aDe Micheli, Giovanni$$g167918$$0240269
000196314 773__ $$j23$$tInternational Journal on Artificial Intelligence Tools (IJAIT)$$k3$$q1460003
000196314 909C0 $$xU12523$$0252413$$pRISD
000196314 909C0 $$pLSI1$$xU11140$$0252283
000196314 909CO $$pSTI$$pIC$$particle$$ooai:infoscience.tind.io:196314
000196314 917Z8 $$x112915
000196314 917Z8 $$x112915
000196314 937__ $$aEPFL-ARTICLE-196314
000196314 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000196314 980__ $$aARTICLE