Toggle Main Menu Toggle Search

Open Access padlockePrints

Simulating Taverna workflows using stochastic process algebras

Lookup NU author(s): Professor Paolo MissierORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Scientific workflows provide powerful middleware for scientific computing in that they represent a central abstraction in the research task by simultaneously acting as an editable action plan, collaboration tool, and executable entity. Taverna workflows, in particular, have been widely accepted in the bioinformatics community, due to their flexible integration with web service analytical tools that are the essential tools of any bioinformatician. However, the semantics of Taverna have so far only been qualified in terms of the functional composition and data processing. While correct, and useful for reasoning about functional and trace equivalences, this aspect does not help with modelling the throughput and utilization of individual services in the workflow. In this paper we present a stochastic process model for Taverna, and use it to perform execution simulations in Microsoft's SPIM tool. The model also opens up the possibilities for further static analyses that are explored. Copyright (C) 2011 John Wiley & Sons, Ltd.

Publication metadata

Author(s): Curcin V, Missier P, De Roure D

Publication type: Article

Publication status: Published

Journal: Concurrency and Computation: Practice & Experience

Year: 2011

Volume: 23

Issue: 16

Pages: 1920-1935

Print publication date: 02/06/2011

ISSN (print): 1532-0626

ISSN (electronic): 1532-0634

Publisher: John Wiley & Sons Ltd.


DOI: 10.1002/cpe.1757


Altmetrics provided by Altmetric