DROPS

Document

Towards Analyzing Declarative Workflows

Authors: Dirk Fahland

Published in: Dagstuhl Seminar Proceedings, Volume 7061, Autonomous and Adaptive Web Services (2007)

Abstract

Enacting tasks in a workflow cannot always follow a pre-defined process model. In application domains like disaster management workflows are partially specified and circumstances of their enactment change. There exist various approaches for formal workflow models that are effective in such situations, like declarative specifications instead of operational models for formalizing flexible workflow process. These powerful models leave a gap to existing techniques in the domain of workflow modeling, workflow analysis, and workflow management. In this paper we bridge this gap with a compositional mechanism for translating declarative workflow models to operational workflow models. The mechanism is of a general nature and we reveal its principles as we provide an exemplary definition for translating DecSerFlow models based on LTL to Petri nets. We then demonstrate its use in analyzing and refining declarative models.

Cite as

Dirk Fahland. Towards Analyzing Declarative Workflows. In Autonomous and Adaptive Web Services. Dagstuhl Seminar Proceedings, Volume 7061, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{fahland:DagSemProc.07061.5,
  author =	{Fahland, Dirk},
  title =	{{Towards Analyzing Declarative Workflows}},
  booktitle =	{Autonomous and Adaptive Web Services},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7061},
  editor =	{Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07061.5},
  URN =		{urn:nbn:de:0030-drops-10332},
  doi =		{10.4230/DagSemProc.07061.5},
  annote =	{Keywords: Workflow, declarative, temporal logic, flexible, adaptive, analysis, transformation, Petri net}
}

Search Results

Documents authored by Fahland, Dirk

Towards Analyzing Declarative Workflows

Abstract

Cite as

Thanks for your feedback!

Could not send message