A formal semantics for the Taverna 2 workflow model

DOI10.1016/J.JCSS.2009.11.009zbMATH Open1214.68208OpenAlexW2134318033WikidataQ56966743 ScholiaQ56966743MaRDI QIDQ980997FDOQ980997

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

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

zbMATH Keywords

formal semanticstrace semanticsscientific workflowsTaverna 2

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Formal semantics and analysis of control flow in WS-BPEL
• Title not available (Why is that?)
• Title not available (Why is that?)

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

Uses Software

• YAWL
• Taverna
• Pict

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)