06121 Report: Break Out Session on Guaranteed Execution

Authors Calton Pu, Jim Johnson, Rogerio de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin



PDF
Thumbnail PDF

File

DagSemProc.06121.3.pdf
  • Filesize: 46 kB
  • 2 pages

Document Identifiers

Author Details

Calton Pu
Jim Johnson
Rogerio de Lemos
Andreas Reuter
David Taylor
Irfan Zakiuddin

Cite AsGet BibTex

Calton Pu, Jim Johnson, Rogerio de Lemos, Andreas Reuter, David Taylor, and Irfan Zakiuddin. 06121 Report: Break Out Session on Guaranteed Execution. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06121.3

Abstract

The break out session discussed guaranteed properties during program execution. Using a workflow example application, we discussed several research topics that form part of the guaranteed properties, including declarative specifications, generation of workflow program, generation of invariant guards, automated failure analysis, automated repair, and automated reconfiguration of workflow.
Keywords
  • Guaranteed properties
  • declarative specifications
  • generation of workflow program
  • generation of invariant guards
  • automated failure analysis
  • automat

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail