DocumentCode
2439451
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
fYear
2012
fDate
4-5 June 2012
Firstpage
19
Lastpage
25
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering in Health Care (SEHC), 2012 4th International Workshop on
Conference_Location
Zurich
Print_ISBN
978-1-4673-1844-0
Type
conf
DOI
10.1109/SEHC.2012.6227014
Filename
6227014
Link To Document