The University of Southampton
University of Southampton Institutional Repository

Taverna Workflows: Syntax and Semantics

Taverna Workflows: Syntax and Semantics
Taverna Workflows: Syntax and Semantics
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.
978-0-7695-3064-2
441-448
Missier, Paolo
784fec92-c5a0-466e-92be-1f9cc43b697f
Turi, Daniele
e468dee5-94c4-40b1-aff0-f02da3d3e59d
Goble, Carole
8c248c0f-f19e-4dda-838b-77a89c5d3d38
Oinn, Tom
dca5d754-c170-4716-ace5-5a6e9f3822cd
De Roure, David
02879140-3508-4db9-a7f4-d114421375da
Missier, Paolo
784fec92-c5a0-466e-92be-1f9cc43b697f
Turi, Daniele
e468dee5-94c4-40b1-aff0-f02da3d3e59d
Goble, Carole
8c248c0f-f19e-4dda-838b-77a89c5d3d38
Oinn, Tom
dca5d754-c170-4716-ace5-5a6e9f3822cd
De Roure, David
02879140-3508-4db9-a7f4-d114421375da

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

Record type: Conference or Workshop Item (Paper)

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.

Text
missier-Taverna.pdf - Other
Download (210kB)

More information

Published date: 10 December 2007
Additional Information: Event Dates: December 2007
Venue - Dates: IEEE International Conference on e-Science and Grid Computing, Bangalore, India, 2007-12-01
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 264700
URI: http://eprints.soton.ac.uk/id/eprint/264700
ISBN: 978-0-7695-3064-2
PURE UUID: 3d7eff4c-536d-42e6-8e42-789ded7a9868
ORCID for David De Roure: ORCID iD orcid.org/0000-0001-9074-3016

Catalogue record

Date deposited: 18 Oct 2007
Last modified: 14 Mar 2024 07:54

Export record

Contributors

Author: Paolo Missier
Author: Daniele Turi
Author: Carole Goble
Author: Tom Oinn
Author: David De Roure ORCID iD

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×