Taverna workflows: Syntax and semantics

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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution


    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 languageEnglish
    Title of host publicationProceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.
    PublisherIEEE Computer Society
    Number of pages7
    ISBN (Print)0769530648, 9780769530642
    Publication statusPublished - 2007
    EventE-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing - Bangalore
    Duration: 1 Jul 2007 → …


    ConferenceE-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing
    Period1/07/07 → …


    • Computer Science, Software Engineering
    • Computer Science, Theory &
    • Methods


    Dive into the research topics of 'Taverna workflows: Syntax and semantics'. Together they form a unique fingerprint.

    Cite this