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.

[1]  J. Cromwell,et al.  The cost of cancer , 1979, The Laryngoscope.

[2]  Randolph A. Miller,et al.  Review: Medical Diagnostic Decision Support Systems - Past, Present, And Future: A Threaded Bibliography and Brief Commentary , 1994, J. Am. Medical Informatics Assoc..

[3]  T A Pryor,et al.  Rationale for the Arden Syntax. , 1994, Computers and biomedical research, an international journal.

[4]  Robert A. Greenes,et al.  Research Paper: The GuideLine Interchange Format: A Model for Representing Guidelines , 1998, J. Am. Medical Informatics Assoc..

[5]  Yuval Shahar,et al.  The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines , 1998, Artif. Intell. Medicine.

[6]  Joseph V. Simone,et al.  Ensuring Quality Cancer Care , 1999 .

[7]  Gabor Karsai,et al.  The Model-Integrated Computing toolsuite: Metaprogrammable tools for embedded control system design , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[8]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[9]  Lori A. Clarke,et al.  Experience in using a process language to define scientific workflow and generate dataset provenance , 2008, SIGSOFT '08/FSE-16.

[10]  Anne Miller,et al.  A Model-Integrated, Guideline-Driven, Clinical Decision-Support System , 2009, IEEE Software.

[11]  Sandeep Neema,et al.  Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages , 2009, Int. J. Semantic Comput..

[12]  Lonny Reisman,et al.  Cost effectiveness of evidence-based treatment guidelines for the treatment of non-small-cell lung cancer in the community setting. , 2010, Journal of oncology practice.

[13]  Cancer Facts & Figures 2021 , 2010 .

[14]  Ethan K. Jackson,et al.  Components, platforms and possibilities: towards generic automation for MDA , 2010, EMSOFT '10.

[15]  Eileen M O'Reilly,et al.  Electronic Chemotherapy Order Entry: A Major Cancer Center's Implementation. , 2011, Journal of oncology practice.

[16]  Robert P Kocher,et al.  Physicians versus hospitals as leaders of accountable care organizations. , 2010, Maryland medicine : MM : a publication of MEDCHI, the Maryland State Medical Society.