TY - GEN
T1 - Taverna workflows
T2 - E-Science 2007, 3rd IEEE International Conference on E-Science and Grid Computing
AU - Turi, Daniele
AU - Missier, Paolo
AU - Goble, Carole
AU - De Roure, David
AU - Oinn, Tom
PY - 2007
Y1 - 2007
N2 - This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case.
AB - This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foundation, which has so far been lacking, opens the way to the translation between Taverna workflows and other process models. In particular, the ability to automatically compile a simple domain-specific process description into Taverna facilitates its adoption by e-scientists who are not expert workflow developers. We demonstrate this potential through a practical use case.
UR - http://www.scopus.com/inward/record.url?scp=44949119362&partnerID=8YFLogxK
U2 - 10.1109/E-SCIENCE.2007.71
DO - 10.1109/E-SCIENCE.2007.71
M3 - Conference contribution
AN - SCOPUS:44949119362
SN - 0769530648
SN - 9780769530642
T3 - Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing
SP - 441
EP - 448
BT - Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing
Y2 - 10 December 2007 through 13 December 2007
ER -