@inproceedings{9da4afca851540a4b69a5b65c131f6a9,
title = "Semantics and Provenance for Processing Element Composition in Dispel Workflows",
abstract = "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.",
author = "Eric Griffis and Paul Martin and James Cheney",
year = "2013",
doi = "10.1145/2534248.2534252",
language = "English",
isbn = "978-1-4503-2502-8",
series = "WORKS '13",
publisher = "ACM",
pages = "38--47",
booktitle = "Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science",
}