Publication
Title
Towards a calculus for collection-oriented scientific workflows with side effects
Author
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.
Language
English
Source (book)
On the move to meaningful internet systems, OTM 2008: part 1 / Meersman, R. [edit.]; et al. [edit.]
Publication
Berlin : Springer, 2008
ISBN
978-3-540-88870-3
Volume/pages
p. 374-391
ISI
000261798700021
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 05.05.2009
Last edited 05.05.2017
To cite this reference