Taverna workflows: Syntax and semantics

Daniele Turi; Paolo Missier; Carole Goble; David De Roure; Tom Oinn

doi:10.1109/E-SCIENCE.2007.71

Taverna workflows: Syntax and semantics

Daniele Turi, Paolo Missier, Carole Goble, David De Roure, Tom Oinn

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case. © 2007 IEEE.

Original language	English
Title of host publication	Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing\|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.
Publisher	IEEE Computer Society
Pages	441-448
Number of pages	7
ISBN (Print)	0769530648, 9780769530642
DOIs	https://doi.org/10.1109/E-SCIENCE.2007.71
Publication status	Published - 2007
Event	E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing - Bangalore Duration: 1 Jul 2007 → …

Conference

Conference	E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing
City	Bangalore
Period	1/07/07 → …

Keywords

Computer Science, Software Engineering
Computer Science, Theory &
Methods

Access to Document

10.1109/E-SCIENCE.2007.71

Cite this

@inproceedings{0f251d2b8a9446ae8e61fc28cd9ee076,

title = "Taverna workflows: Syntax and semantics",

abstract = "This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case. {\textcopyright} 2007 IEEE.",

keywords = "Computer Science, Software Engineering, Computer Science, Theory &, Methods",

author = "Daniele Turi and Paolo Missier and Carole Goble and {De Roure}, David and Tom Oinn",

note = "Ieee Tcsc, Ctr Dev Adv Comp Univ Melbourne Indiana Univ Louisiana Turi, Daniele Missier, Paolo Goble, Carole De Roure, David Oinn, Tom 13 LOS ALAMITOS BHJ71; E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing ; Conference date: 01-07-2007",

year = "2007",

doi = "10.1109/E-SCIENCE.2007.71",

language = "English",

isbn = "0769530648",

pages = "441--448",

booktitle = "Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.",

publisher = "IEEE Computer Society ",

address = "United States",

}

Turi, D, Missier, P, Goble, C, De Roure, D & Oinn, T 2007, Taverna workflows: Syntax and semantics. in Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.. IEEE Computer Society , pp. 441-448, E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing, Bangalore, 1/07/07. https://doi.org/10.1109/E-SCIENCE.2007.71

Taverna workflows: Syntax and semantics. / Turi, Daniele; Missier, Paolo; Goble, Carole et al.
Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.. IEEE Computer Society , 2007. p. 441-448.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Taverna workflows: Syntax and semantics

AU - Turi, Daniele

AU - Missier, Paolo

AU - Goble, Carole

AU - De Roure, David

AU - Oinn, Tom

N1 - Ieee Tcsc, Ctr Dev Adv Comp Univ Melbourne Indiana Univ Louisiana Turi, Daniele Missier, Paolo Goble, Carole De Roure, David Oinn, Tom 13 LOS ALAMITOS BHJ71

PY - 2007

Y1 - 2007

N2 - This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case. © 2007 IEEE.

AB - This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case. © 2007 IEEE.

KW - Computer Science, Software Engineering

KW - Computer Science, Theory &

KW - Methods

U2 - 10.1109/E-SCIENCE.2007.71

DO - 10.1109/E-SCIENCE.2007.71

M3 - Conference contribution

SN - 0769530648

SN - 9780769530642

SP - 441

EP - 448

BT - Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.

PB - IEEE Computer Society

T2 - E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing

Y2 - 1 July 2007

ER -

Taverna workflows: Syntax and semantics

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this