Title
Towards a calculus for collection-oriented scientific workflows with side effectsTowards a calculus for collection-oriented scientific workflows with side effects
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Research group
Department of Mathematics - Computer Sciences
Publication type
conferenceObject
Publication
Berlin :Springer, [*]
Subject
Computer. Automation
Source (book)
On the move to meaningful internet systems, OTM 2008: part 1 / Meersman, R. [edit.]; et al. [edit.]
ISBN - Hoofdstuk
978-3-540-88870-3
ISI
000261798700021
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Abstract
In this paper we propose a calculus that call be used to describe the semantics of collection-oriented scientific workflow systems such as the Taverna workbench. Typically such systems focus on the specification and execution of workflows with a relatively simple control flow and a more complex data flow that involves large nested collections of data. An essential operation in such workflows is the instantiation of a certain nested workflow for each element of a collection. We argue that if such workflows call external services, their semantics must be described not only in terms of input-output behavior but also take side effects into account. Based on this assumption a trace semantics is defined that corresponds to the observational equivalence of two workflow specifications. We show that under such a semantics a relatively small calculus with a structural semantics can be defined and used to describe such workflows. This is demonstrated by giving a translation of Taverna workflows in terms of this calculus.
E-info
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000261798700021&DestLinkType=RelatedRecords&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000261798700021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
Handle