Cancer treatment planning: Formal methods to the rescue

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.