A formal semantics for the Taverna 2 workflow model

Authors:
Jacek Sroka;Jan Hidders;Paolo Missier;Carole Goble
Affiliations:
University of Warsaw, Poland;Delft University of Technology, The Netherlands;University of Manchester, United Kingdom;University of Manchester, United Kingdom
Venue:
Journal of Computer and System Sciences
Year:
2010

Citing 14
Cited 7

Petri nets: an introduction

Petri nets: an introduction
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Pict: a programming language based on the Pi-Calculus

Proof, language, and interaction
Workflow Patterns

Distributed and Parallel Databases
The Linear Time-Branching Time Spectrum (Extended Abstract)

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
YAWL: yet another workflow language

Information Systems
Formal semantics and analysis of control flow in WS-BPEL

Science of Computer Programming
Efficient Analysis of BPEL 2.0 Processes Using p-Calculus

APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
Taverna Workflows: Syntax and Semantics

E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
DFL: A dataflow language based on Petri nets and nested relational calculus

Information Systems
Composing Different Models of Computation in Kepler and Ptolemy II

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Scientific workflow design for mere mortals

Future Generation Computer Systems
Collection-Oriented scientific workflows for integrating and analyzing biological data

DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences

A graph model of data and workflow provenance

TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Putting lipstick on pig: enabling database-style workflow provenance

Proceedings of the VLDB Endowment
Riding the elephant: managing ensembles with hadoop

Proceedings of the 2011 ACM international workshop on Many task computing on grids and supercomputers
Semantic annotation of digital music

Journal of Computer and System Sciences
Hiding data and structure in workflow provenance

DNIS'11 Proceedings of the 7th international conference on Databases in Networked Information Systems
Semantics and provenance for processing element composition in dispel workflows

WORKS '13 Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science
Workflows for Heliophysics

Journal of Grid Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal semantics for the Taverna 2 scientific workflow system. Taverna 2 is a successor to Taverna, an open-source workflow system broadly adopted within the e-science community worldwide. The new version improves upon the existing model in two main ways: (i) by adding support for data pipelining, which in turns enables input streams of indefinite length to be processed efficiently; and (ii) by providing new extensibility points that make it possible to add new operators to the workflow model. Consistent with previous work by some of the authors, we use trace semantics to describe the effect of workflow computations, and we show how they can be used to describe the new features in the Taverna 2 model.