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.

• Type: Conference
• Year: 2007
• Where: ESCIENCE
• Authors: Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn
• Keywords: Distributed And Parallel Computing, ESCIENCE 2007, Simple Domain-specific Process, Such Formal Foundation, Taverna Workflows