|
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
| |
|