License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06121.3
URN: urn:nbn:de:0030-drops-6410
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/641/
Go to the corresponding Portal

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

06121 Report: Break Out Session on Guaranteed Execution

pdf-format:
06121.PuCalton1.ExtAbstract.641.pdf (0.05 MB)

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.

BibTeX - Entry

@InProceedings{pu_et_al:DagSemProc.06121.3,
  author =	{Pu, Calton and Johnson, Jim and de Lemos, Rogerio and Reuter, Andreas and Taylor, David and Zakiuddin, Irfan},
  title =	{{06121 Report: Break Out Session on Guaranteed Execution}},
  booktitle =	{Atomicity: A Unifying Concept in Computer Science},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6121},
  editor =	{Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/641},
  URN =		{urn:nbn:de:0030-drops-6410},
  doi =		{10.4230/DagSemProc.06121.3},
  annote =	{Keywords: Guaranteed properties, declarative specifications, generation of workflow program, generation of invariant guards, automated failure analysis, automat}
}

Keywords: Guaranteed properties, declarative specifications, generation of workflow program, generation of invariant guards, automated failure analysis, automat
Collection: 06121 - Atomicity: A Unifying Concept in Computer Science
Issue Date: 2006
Date of publication: 27.11.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI