2026-07-20T01:05:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:641 2024-03-06T11:06:47Z ddc:004 open_access

06121 Report: Break Out Session on Guaranteed Execution Pu, Calton Johnson, Jim de Lemos, Rogerio Reuter, Andreas Taylor, David Zakiuddin, Irfan Guaranteed properties declarative specifications generation of workflow program generation of invariant guards automated failure analysis automat 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Calton Pu and Jim Johnson and Rogerio de Lemos and Andreas Reuter and David Taylor and Irfan Zakiuddin 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6121, Atomicity: A Unifying Concept in Computer Science (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06121.3 urn:nbn:de:0030-drops-6410 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.3 eng https://creativecommons.org/licenses/by/4.0/legalcode