More Web Proxy on the site http://driver.im/

research-article

Cancer treatment planning: formal methods to the rescue

Authors:

Janos Sztipanovits,

Ethan K. Jackson,

Wolfram SchulteAuthors Info & Claims

SEHC '12: Proceedings of the 4th International Workshop on Software Engineering in Health Care

Pages 19 - 25

Published: 04 June 2012 Publication History

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 state-of-the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable.

References

[1]

R. Kocher and N. R. Sahni, "Physicians versus hospitals as leaders of accountable care organizations," The New England Journal of Medicine, vol. 363, no. 27, pp. 2579--2582, Dec 2010.

[2]

American Cancer Society, "Cancer Facts & Figures 2010," Atlanta, 2010.

[3]

National Cancer Institute, "The Cost of Cancer," Jan 2011.

[4]

M. E. Hewitt and J. V. Simone, Ensuring Quality Cancer Care. National Academies Press, 1999.

[5]

M. A. Neubauer, R. J. Hoverman, M. Kolodziej, L. Reisman, S. K. Gruschkus, S. Hoang, A. A. Alva, M. McArthur, M. Forsyth, T. Rothermel, and R. A. Beveridge, "Cost effectiveness of evidence-based treatment guidelines for the treatment of non-small-cell lung cancer in the community setting," Journal of Oncology Practice/American Society of Clinical Oncology, vol. 6, no. 1, pp. 12--18, Jan 2010.

[6]

R. A. Miller, "Medical Diagnostic Decision Support SystemsPast, Present, And Future," Journal of the American Medical Informatics Association, vol. 1, no. 1, pp. 8--27, Jan 1994.

[7]

G. Hripcsak, P. Ludemann, A. T. Pryor, O. B. Wigertz, and P. D. Clayton, "Rationale for the Arden Syntax," Computers and Biomedical Research, vol. 27, no. 4, pp. 291--324, Aug 1994.

Digital Library

[8]

Y. Shahar, S. Miksch, and P. Johnson, "The ASGAARD Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines," in Artificial Intelligence in Medicine, 1998, pp. 29--51.

[9]

L. Ohno-Machado, J. H. Gennari, S. N. Murphy, N. L. Jain, S. W. Tu, D. E. Oliver, E. Pattison-Gordon, R. A. Greenes, E. H. Shortliffe, and O. G. Barnett, "The GuideLine Interchange Format: A Model for Representing Guidelines," Journal of the American Medical Informatics Association, vol. 5, no. 4, pp. 357--372, Jul 1998.

[10]

D. Sutton and J. Fox, "Syntax and semantics of PROforma," 2010.

[11]

L. J. Osterweil, L. A. Clarke, A. M. Ellison, R. Podorozhny, A. Wise, E. Boose, and J. Hadley, "Experience in using a process language to define scientific workflow and generate dataset provenance," in FSE 2008. ACM, 2008, pp. 319--329.

Digital Library

[12]

N. T. Sklarin, S. Granovsky, E. M. O'Reilly, and A. D. Zelenetz, "Electronic Chemotherapy Order Entry: A Major Cancer Center's Implementation," Journal of Oncology Practice/American Society of Clinical Oncology, vol. 7, no. 4, pp. 213--218, Jul 2011.

[13]

E. K. Jackson, E. Kang, M. Dahlweid, D. Seifert, and T. Santen, "Components, platforms and possibilities: towards generic automation for mda," in EMSOFT, 2010, pp. 39--48.

Digital Library

[14]

K. Chen, J. Porter, J. Sztipanovit, and S. Neema, "Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages," International Journal of Semantic Computing, vol. 3, no. 1, pp. 31--56, Mar 2009.

[15]

G. Karsai, A. Ledeczi, S. Neema, and J. Sztipanovits, "The Model-Integrated computing toolsuite: Metaprogrammable tools for embedded control system design." IEEE, Oct. 2006, pp. 50--55. {Online}. Available: http://chess.eecs.berkeley.edu/pubs/285.html

[16]

L. M. de Moura and N. Bjørner, "Z3: An Efficient SMT Solver," in TACAS, 2008, pp. 337--340.

Digital Library

[17]

J. Mathe, J. Martin, P. Miller, A. Ledeczi, L. Weavind, A. Nadas, A. Miller, D. Maron, and J. Sztipanovits, "A Model-Integrated, Guideline-Driven, Clinical Decision-Support System," IEEE Software, Special issue on Domain-Specific Languages & Modeling, vol. 26, no. 4, pp. 54--61, Aug 2009.

Digital Library

Cited By

Zhang QKecskes TMathe JSztipanovits JBures TSchmerl BFitzgerald JWeyns D(2019)Towards bridging the gap between model- and data- driven tool suites for cyber-physical systemsProceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1109/SEsCPS.2019.00009(7-13)Online publication date: 28-May-2019
https://dl.acm.org/doi/10.1109/SEsCPS.2019.00009
Afzal MHussain MAli Khan WAli TLee SHuh EFarooq Ahmad HJamshed AIqbal HIrfan MAbbas Hydari M(2017)Comprehensible knowledge model creation for cancer treatment decision makingComputers in Biology and Medicine10.1016/j.compbiomed.2017.01.01082:C(119-129)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1016/j.compbiomed.2017.01.010

Cancer treatment planning: formal methods to the rescue
1. Applied computing
  1. Life and medical sciences
  2. Operations research

Recommendations

Broadcast Channels in Estelle
Special issue on protocol engineering

Using notation consistent with the Estelle ISO 9074 International Standard, the syntax and formal semantics for a broadcast channel are presented. These semantics make precise the meaning of an intuitive concept and additionally are compatible with ...
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24

Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification, and maintenance of formal specifications. CAFE has an algebraic specification language called CafeOBJ as its main ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SEHC '12: Proceedings of the 4th International Workshop on Software Engineering in Health Care

June 2012

77 pages

ISBN:9781467318433

Conference Chairs:
Ruth Breu
University of Innsbruck
,
John Hatcliff
Kansas State University

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
University of Zurich: University of Zurich
IEEE CS

Publisher

IEEE Press

Publication History

Published: 04 June 2012

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '12

Sponsor:

SIGSOFT
University of Zurich

ICSE '12: 34th International Conference on Software Engineering

June 4 - 5, 2012

Zurich, Switzerland

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
63
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhang QKecskes TMathe JSztipanovits JBures TSchmerl BFitzgerald JWeyns D(2019)Towards bridging the gap between model- and data- driven tool suites for cyber-physical systemsProceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1109/SEsCPS.2019.00009(7-13)Online publication date: 28-May-2019
https://dl.acm.org/doi/10.1109/SEsCPS.2019.00009
Afzal MHussain MAli Khan WAli TLee SHuh EFarooq Ahmad HJamshed AIqbal HIrfan MAbbas Hydari M(2017)Comprehensible knowledge model creation for cancer treatment decision makingComputers in Biology and Medicine10.1016/j.compbiomed.2017.01.01082:C(119-129)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1016/j.compbiomed.2017.01.010

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents