Towards a Formal Foundation for Aggregating Scientific Workflows

Authors:
Frank Terpstra;Zhiming Zhao;Wico Mulder;Pieter Adriaans
Affiliations:
Informatics Institute, University of Amsterdam, Kruislaan 419, 1098VA, Amsterdam, The Netherlands;Informatics Institute, University of Amsterdam, Kruislaan 419, 1098VA, Amsterdam, The Netherlands;Informatics Institute, University of Amsterdam, Kruislaan 419, 1098VA, Amsterdam, The Netherlands;Informatics Institute, University of Amsterdam, Kruislaan 419, 1098VA, Amsterdam, The Netherlands
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Year:
2007

Citing 8
Cited 1

A proof of the Kahn principle for input/output automata

Information and Computation
Workflow Patterns

Distributed and Parallel Databases
Triana: A Graphical Web Service Composition and Execution Toolkit

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
Scientific workflow management and the Kepler system: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Designing Workflow Components for e-Science

E-SCIENCE '06 Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
VLE-WFBus: A Scientific Workflow Bus for Multi e-Science Domains

E-SCIENCE '06 Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
VLAM-G: A Grid-based virtual laboratory

Scientific Programming

Web service execution model for cloud environment

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowing multiple workflow systems to be coupled in a meta-workflow system with multiple execution models. In this paper we propose an approach for a formal model to perform the task of reasoning of about the execution models of such workflow systems. We propose that I/O Automata can be used as a formalism to prove the correctness of complicated workflows involving multiple workflow engines and execution models.