A formal semantics for the Taverna 2 workflow model
- 1 September 2010
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 76 (6), 490-508
- https://doi.org/10.1016/j.jcss.2009.11.009
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Scientific workflow design for mere mortalsFuture Generation Computer Systems, 2009
- DFL: A dataflow language based on Petri nets and nested relational calculusInformation Systems, 2008
- A systematic strategy for large-scale analysis of genotype–phenotype correlations: identification of candidate genes involved in African trypanosomiasisNucleic Acids Research, 2007
- Formal semantics and analysis of control flow in WS-BPELScience of Computer Programming, 2007
- Taverna: a tool for building and running workflows of servicesNucleic Acids Research, 2006
- Scientific workflow management and the Kepler systemConcurrency and Computation: Practice and Experience, 2005
- YAWL: yet another workflow languageInformation Systems, 2005
- Taverna: a tool for the composition and enactment of bioinformatics workflowsBioinformatics, 2004
- Web Services and Their CompositionLecture Notes in Computer Science, 2001
- THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENTJournal of Circuits, Systems and Computers, 1998