A formal semantics for the Taverna 2 workflow model

Jacek Sroka; Jan Hidders; Paolo Missier; Carole Goble

doi:10.1016/j.jcss.2009.11.009

A formal semantics for the Taverna 2 workflow model

Jacek Sroka, Jan Hidders, Paolo Missier^*, Carole Goble

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	490-508
Number of pages	19
Journal	Journal of Computer and System Sciences
Volume	76
Issue number	6
DOIs	https://doi.org/10.1016/j.jcss.2009.11.009
Publication status	Published - 2010

Keywords

Formal semantics
Scientific workflows
Taverna 2
Trace semantics

ASJC Scopus subject areas

Theoretical Computer Science
Computer Networks and Communications
Computational Theory and Mathematics
Applied Mathematics

Access to Document

10.1016/j.jcss.2009.11.009

Cite this

@article{a5944a12c4344cd885f5b4c42b787de9,

title = "A formal semantics for the Taverna 2 workflow model",

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.",

keywords = "Formal semantics, Scientific workflows, Taverna 2, Trace semantics",

author = "Jacek Sroka and Jan Hidders and Paolo Missier and Carole Goble",

year = "2010",

doi = "10.1016/j.jcss.2009.11.009",

language = "English",

volume = "76",

pages = "490--508",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Elsevier",

number = "6",

}

TY - JOUR

T1 - A formal semantics for the Taverna 2 workflow model

AU - Sroka, Jacek

AU - Hidders, Jan

AU - Missier, Paolo

AU - Goble, Carole

PY - 2010

Y1 - 2010

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

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

KW - Formal semantics

KW - Scientific workflows

KW - Taverna 2

KW - Trace semantics

UR - http://www.scopus.com/inward/record.url?scp=77954477797&partnerID=8YFLogxK

U2 - 10.1016/j.jcss.2009.11.009

DO - 10.1016/j.jcss.2009.11.009

M3 - Article

AN - SCOPUS:77954477797

SN - 0022-0000

VL - 76

SP - 490

EP - 508

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

IS - 6

ER -

A formal semantics for the Taverna 2 workflow model

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this