License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-6410
URL: http://drops.dagstuhl.de/opus/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:
Document 1.pdf (47 KB)


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:DSP:2006:641,
  author =	{Calton Pu and Jim Johnson and Rogerio de Lemos and Andreas Reuter and David Taylor and Irfan Zakiuddin},
  title =	{06121 Report: Break Out Session on Guaranteed Execution},
  booktitle =	{Atomicity: A Unifying Concept in Computer Science},
  year =	{2006},
  editor =	{Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
  number =	{06121},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/641},
  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
Seminar: 06121 - Atomicity: A Unifying Concept in Computer Science
Issue Date: 2006
Date of publication: 27.11.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI