Title :
Cancer treatment planning: Formal methods to the rescue
Author :
Mathe, Janos ; Sztipanovits, Janos ; Levy, Mia ; Jackson, Ethan K. ; Schulte, Wolfram
Author_Institution :
Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN, USA
Abstract :
This paper describes the ongoing development of ATTENTION, a new kind of clinical decision support system for synthesizing and managing longitudinal treatment plans, such as cancer treatment plans. ATTENTION combines stateof- the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable.
Keywords :
cancer; decision support systems; medical computing; patient treatment; ATTENTION; adaptive treatment management in oncology system; clinical decision support system; clinical information systems; complex cancer treatment plans synthesis; constraint solving; formal methods; longitudinal treatment plans; Cancer; Drugs; Medical diagnostic imaging; Ontologies; Protocols; Semantics; Unified modeling language; Decision support systems; Formal Specifications; Oncology; Process planning;
Conference_Titel :
Software Engineering in Health Care (SEHC), 2012 4th International Workshop on
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1844-0
DOI :
10.1109/SEHC.2012.6227014
