A formal semantics for the Taverna 2 workflow model

DOI10.1016/J.JCSS.2009.11.009zbMath1214.68208OpenAlexW2134318033WikidataQ56966743 ScholiaQ56966743MaRDI QIDQ980997

Jan Hidders, Paolo Missier, Carole Goble, Jacek Sroka

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)

Related Items (1)

Computation semantics of the functional scientific workflow language Cuneiform

Uses Software

• YAWL
• Taverna
• Pict

Cites Work

• Formal semantics and analysis of control flow in WS-BPEL
• Unnamed Item
• Unnamed Item
• Unnamed Item

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