Quelltext betrachten

__NOTOC__
__NOEDITSECTION__

* published in the Proceedings of the Dagstuhl Seminar 07061 on ''Autonomous and Adaptive Web Services''

== Author ==

* [[Person:Fahland|Dirk Fahland]], Humboldt-Universität zu Berlin, Germany

== 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.

== Download paper ==

* final draft [[Media:Fahland_-_analyzing_wf(dagstuhl_proceedings).pdf|.pdf]]
* Dagstuhl Seminar Proceedings [http://drops.dagstuhl.de/opus/volltexte/2007/1033/pdf/07061.FahlandDirk.Paper.1033.pdf .pdf] [http://drops.dagstuhl.de/portals/index.php?semnr=07061 proceedings]

== BibTeX ==

 @InProceedings{fahland:DSP:2007:1033,
  author =      {Dirk Fahland},
  title =       {Towards Analyzing Declarative Workflows},
  booktitle =   {Autonomous and Adaptive Web Services},
  year =        {2007},
  editor =      {Jana Koehler and Marco Pistore and Amit P. Sheth and Paolo Traverso and Martin Wirsing},
  number =      {07061},
  series =      {Dagstuhl Seminar Proceedings},
  ISSN =        {1862-4405},
  publisher =   {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
  OPTaddress =  {Dagstuhl, Germany},
  OPTURL =      {http://drops.dagstuhl.de/opus/volltexte/2007/1033
                 [date of citation: 2007-01-01]},
  note =        {$<$http://drops.dagstuhl.de/opus/volltexte/2007/1033$>$
                 [date of citation: 2007-01-01]},
  OPTannote =   {Keywords: Workflow, declarative, temporal logic, flexible, adaptive, analysis, transformation, Petri net},
 }

[[Category:Publications]]