Taverna Workflows: Syntax and Semantics


Missier, Paolo, Turi, Daniele, Goble, Carole, Oinn, Tom and De Roure, David (2007) Taverna Workflows: Syntax and Semantics. In, IEEE International Conference on e-Science and Grid Computing, Bangalore, India, IEEE Press, 441-448.

Download

[img] PDF
Download (205Kb)

Description/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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: December 2007
ISBNs: 9780769530642
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Item ID: 264700
Date Deposited: 18 Oct 2007
Last Modified: 21 Aug 2012 04:12
Contributors: Missier, Paolo (Author)
Turi, Daniele (Author)
Goble, Carole (Author)
Oinn, Tom (Author)
De Roure, David (Author)
Date: 10 December 2007
Additional Information: Event Dates: December 2007
Status: Published
Publisher: IEEE Press
Further Information:Google Scholar
ISI Citation Count:1
URI: http://eprints.soton.ac.uk/id/eprint/264700

Actions (login required)

View Item View Item