Semantics and Provenance for Processing Element Composition in Dispel Workflows

Eric Griffis, Paul Martin, James Cheney

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Dispel is a scripting language for constructing workflow graph which can then be executed by some other computational infrastructure. It facilitates construction of abstract components (called Processing Elements, or PEs) that can be instantiated in different ways to produce a concrete, executable workflow. In this paper, we present a formal semantics for Dispel that explains its key features, particularly definition and use of composite PEs. We also develop an alternative semantics of Dispel programs that constructs a workflow enriched with PEs that can record provenance for the original workflow. The semantics is work in progress that will inform future development of Dispel and of provenance management techniques for Dispel.
Original languageEnglish
Title of host publicationProceedings of the 8th Workshop on Workflows in Support of Large-Scale Science
Place of PublicationNew York, NY, USA
Number of pages10
ISBN (Print)978-1-4503-2502-8
Publication statusPublished - 2013

Publication series

NameWORKS '13


Dive into the research topics of 'Semantics and Provenance for Processing Element Composition in Dispel Workflows'. Together they form a unique fingerprint.

Cite this