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

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. © 2009 Elsevier Inc. All rights reserved.

Original language	English
Pages (from-to)	490-508
Number of pages	18
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

Access to Document

10.1016/j.jcss.2009.11.009

Cite this

@article{0f5298f576cb4b329c1ba35f8cca1366,

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. {\textcopyright} 2009 Elsevier Inc. All rights reserved.",

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

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. © 2009 Elsevier Inc. All rights reserved.

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. © 2009 Elsevier Inc. All rights reserved.

KW - Formal semantics

KW - Scientific workflows

KW - Taverna 2

KW - Trace semantics

U2 - 10.1016/j.jcss.2009.11.009

DO - 10.1016/j.jcss.2009.11.009

M3 - Article

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

Access to Document

Fingerprint

Cite this