DagSemProc.06121.3.pdf
- Filesize: 46 kB
- 2 pages
Document
06121 Report: Break Out Session on Guaranteed Execution
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6121
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-11-27
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
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)
0PDF Downloads