The Taverna 2 workflow model is widely used for designing and executing complex scientific workflows. Despite its practical utility, the lack of a formal semantics framework has posed challenges in ensuring consistency, validation, and understanding of Taverna 2 workflows. This study addresses this gap by proposing a formal semantics framework specifically tailored for the Taverna 2 workflow model. We introduce a rigorous semantic foundation that defines the core constructs of Taverna 2 workflows, including workflows, activities, ports, and data mappings, in formal terms. Our framework is grounded in mathematical logic and process algebra, providing a precise and unambiguous representation of workflow behavior and interactions.

We demonstrate how the proposed semantics framework facilitates the validation and verification of workflows, ensuring that they adhere to expected behaviors and constraints. Additionally, the framework enhances the ability to reason about workflow properties and transformations, contributing to more robust and reliable workflow management. Through case studies and practical examples, we illustrate the application of the formal semantics framework in analyzing and improving Taverna 2 workflows.

The results highlight the framework’s effectiveness in addressing common issues associated with workflow consistency and correctness. By offering a formal basis for understanding and manipulating Taverna 2 workflows, this study contributes to the advancement of workflow modeling and execution, paving the way for improved workflow design, validation, and interoperability.

Taverna 2, workflow model, formal semantics

W.M.P. van der Aalst, The application of Petri nets to workflow management, J. Circuits Systems Comput. 8 (1) (1998) 21–66.

Alexandre Alves, Assaf Arkin, Sid Askary, Ben Bloch, Francisco Curbera, Yaron Goland, Neelakantan Kartha, Sterling, Dieter König, Vinkesh Mehta, Satish Thatte, Danny van der Rijn, Prasad Yendluri, Alex Yiu, Web Services Business Process Execution Language Version 2.0, OASIS Committee Draft, May 2006.

Assaf Arkin, Sid Askary, Scott Fordin, Wolfgang Jekeli, Kohsuke Kawaguchi, David Orchard, Stefano Pogliani, Karsten Riemer, Susan Struble, Pal TakacsiNagy, Ivana Trickovic, Sinisa Zimek, Web service choreography interface (wsci) 1.0, World Wide Web Consortium, Note NOTE-wsci10-20020808, August 2002.

P.Fisher, C. Hedeler, K. Wolstencroft, H. Hulme, H. Noyes, S. Kemp, R. Stevens, A. Brass, A systematic strategy for large-scale analysis of genotype phenotype correlations: Identification of candidate genes involved in African trypanosomiasisafrican trypanosomiasis, Nucleic Acids Research 35 (16) (August 2007) 5625–5633.

A.Goderis, C. Brooks, I. Altintas, E. Lee, C. Goble, Composing different models of computation in kepler and ptolemy ii, in: International Conference on Computational Science, in: Lecture Notes in Comput. Sci., Springer, Berlin/Heidelberg, 2007, pp. 182–190.

Object Managment Group, Business Process Modeling Notation (BPMN), Version 1.2, OMG Document Number: Formal/2009-01-03, Standard document URL: http://www.omg.org/spec/BPMN/1.2, January 2009.

J.Hidders, J. Sroka, Towards a calculus for collection-oriented scientific workflows with side effects, in: OTM Conferences (1), 2008, pp. 374–391.

Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche, DFL: A dataflow language based on petri nets and nested relational calculus, Inf. Syst. 33 (3) (2008) 261–284.

D.Hull, K. Wolstencroft, R. Stevens, C.A. Goble, M.R. Pocock, P. Li, T. Oinn, Taverna: A tool for building and running workflows of services, Nucleic Acids Research, 34 (Web-Server-Issue), 2006, pp. 729–732.

Nickolas Kavantzas, David Burdett, Greg Ritzinger, Tony Fletcher, Yves Lafon, Charlton Barreto, Web services choreography description language version 1.0, World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109, November 2005.

Frank Leymann, Web services flow language (WSFL 1.0), Technical report, IBM, May 2001.

P.Li, J. Castrillo, G. Velarde, I. Wassink, S. Soiland-Reyes, S. Owen, D. Withers, T. Oinn, M. Pocock, C. Goble, S. Oliver, D. Kell, Performing statistical analyses on quantitative data in taverna workflows: An example using R and maxdBrowse to identify differentially-expressed genes from microarray data, BMC Bioinformatics 9 (334) (2008), August.

B.Ludäscher, I. Altintas, C. Berkley, Scientific workflow management and the Kepler system, in: Concurrency and Computation: Practice and Experience, Special Issue on Scientific Workflows, 2005.

T.McPhillips, S. Bowers, B. Ludäscher, Collection-oriented scientific workflows for integrating and analyzing biological data, in: Proceedings 3rd International Conference on Data Integration for the Life Sciences (DILS), LNCS/LNBI, Springer, 2006.

T.McPhillips, S. Bowers, D. Zinn, B. Ludäscher, Scientific workflow design for mere mortals, Future Generation Computer Systems 25 (5) (2009) 541– 551.