A formal semantics for the Taverna 2 workflow model

DOI10.1016/J.JCSS.2009.11.009MaRDI QIDQ980997zbMATH OpenOpenAlexWikidataFDO

Authors Jacek Sroka, Jan Hidders, Paolo Missier, C. Goble

Publication date 8 July 2010

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2009.11.009

zbMATH Keywords

formal semanticstrace semanticsscientific workflowsTaverna 2

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Towards a formal semantics for the process model of the Taverna workbench. I
• Formal semantics of XPDL specification in CSP process
• Open Petri nets as semantic model for workflow integration
• The semantic model and query mechanism for grid workflow
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1398006 (Why is no real title available?)
• Formal semantics and analysis of control flow in WS-BPEL

Cited in

(2)

• Computation semantics of the functional scientific workflow language Cuneiform
• Towards a formal semantics for the process model of the Taverna workbench. I

Describes a project that uses

Uses Software

• Pict
• Taverna
• YAWL

This page was built for publication: A formal semantics for the Taverna 2 workflow model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q980997)