@article{sroka_formal_2009,
	title = {Formal semantics for the {Taverna} 2 {Workflow} {Model}},
	url = {http://dx.doi.org/10.1016/j.jcss.2009.11.009},
	doi = {10.1016/j.jcss.2009.11.009},
	abstract = {This paper presents a formal semantics for the Taverna 2 scientific workflow system. Taverna 2 is a successor to Taverna, an open-source workflow system broadly adopted within the e-science community worldwide. The new version improves upon the existing model in two main ways: (i) by adding support for data pipelining, which in turns enables input streams of indefinite length to be processed efficiently; and (ii) by providing new extensibility points that make it possible to add new operators to the workflow model. Consistent with previous work by some of the authors, we use trace semantics to describe the effect of workflow computations, and we show how they can be used to describe the new features in the Taverna 2 model.},
	journal = {Journal of Computer and System Sciences},
	author = {Sroka, Jacek and Hidders, Jan and Missier, Paolo and Goble, Carole},
	year = {2009},
	keywords = {workflow model semantics},
}

{"_id":{"_str":"53422bae0e946d920a0000a3"},"__v":88,"authorIDs":["5456e5b28b01c8193000003a","5456ff9f8b01c819300000f9","545e4c0a6aaec20d230007ee","546365844f4818cf4f000265"],"author_short":["Sroka, J.","Hidders, J.","Missier, P.","Goble, C."],"bibbaseid":"sroka-hidders-missier-goble-formalsemanticsforthetaverna2workflowmodel-2009","bibdata":{"bibtype":"article","type":"article","title":"Formal semantics for the Taverna 2 Workflow Model","url":"http://dx.doi.org/10.1016/j.jcss.2009.11.009","doi":"10.1016/j.jcss.2009.11.009","abstract":"This paper presents a formal semantics for the Taverna 2 scientific workflow system. Taverna 2 is a successor to Taverna, an open-source workflow system broadly adopted within the e-science community worldwide. The new version improves upon the existing model in two main ways: (i) by adding support for data pipelining, which in turns enables input streams of indefinite length to be processed efficiently; and (ii) by providing new extensibility points that make it possible to add new operators to the workflow model. Consistent with previous work by some of the authors, we use trace semantics to describe the effect of workflow computations, and we show how they can be used to describe the new features in the Taverna 2 model.","journal":"Journal of Computer and System Sciences","author":[{"propositions":[],"lastnames":["Sroka"],"firstnames":["Jacek"],"suffixes":[]},{"propositions":[],"lastnames":["Hidders"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Missier"],"firstnames":["Paolo"],"suffixes":[]},{"propositions":[],"lastnames":["Goble"],"firstnames":["Carole"],"suffixes":[]}],"year":"2009","keywords":"workflow model semantics","bibtex":"@article{sroka_formal_2009,\n\ttitle = {Formal semantics for the {Taverna} 2 {Workflow} {Model}},\n\turl = {http://dx.doi.org/10.1016/j.jcss.2009.11.009},\n\tdoi = {10.1016/j.jcss.2009.11.009},\n\tabstract = {This paper presents a formal semantics for the Taverna 2 scientific workflow system. Taverna 2 is a successor to Taverna, an open-source workflow system broadly adopted within the e-science community worldwide. The new version improves upon the existing model in two main ways: (i) by adding support for data pipelining, which in turns enables input streams of indefinite length to be processed efficiently; and (ii) by providing new extensibility points that make it possible to add new operators to the workflow model. Consistent with previous work by some of the authors, we use trace semantics to describe the effect of workflow computations, and we show how they can be used to describe the new features in the Taverna 2 model.},\n\tjournal = {Journal of Computer and System Sciences},\n\tauthor = {Sroka, Jacek and Hidders, Jan and Missier, Paolo and Goble, Carole},\n\tyear = {2009},\n\tkeywords = {workflow model semantics},\n}\n\n","author_short":["Sroka, J.","Hidders, J.","Missier, P.","Goble, C."],"key":"sroka_formal_2009","id":"sroka_formal_2009","bibbaseid":"sroka-hidders-missier-goble-formalsemanticsforthetaverna2workflowmodel-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.jcss.2009.11.009"},"keyword":["workflow model semantics"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/network/files/tHMs8ic86gSWoTp44","downloads":0,"keywords":["workflow model semantics"],"search_terms":["formal","semantics","taverna","workflow","model","sroka","hidders","missier","goble"],"title":"Formal semantics for the Taverna 2 Workflow Model","year":2009,"dataSources":["zh27EpT9RPew3MWSE","ner3YxPo3mvD9E5ym","nF6KkFb4XxGruanwy","BDjqJntjXzyBmLxhv","25kjbmCDwcgy8vnRq","oiWqtmpFQ6ZtiMEK2","k75vCTghu54BjX5qH","j9tnaL2u4rifwAc2v","NCorZq2vkXK6BnhLF","ze2X9uz8Dcv2oGipf","afppXLgSuddAzAL9e","wJE4ynGem9MRsXBRn","9zrgMZfGdRkdkNXfZ","qTQGxWDYeue2pHBus"]}