Composing Different Models of Computation in Kepler and Ptolemy II

Authors:
Antoon Goderis;Christopher Brooks;Ilkay Altintas;Edward A. Lee;Carole Goble
Affiliations:
School of Computer Science, University of Manchester, UK;Department of EECS, UC Berkeley, USA;San Diego Supercomputer Center, UC San Diego, USA;Department of EECS, UC Berkeley, USA;School of Computer Science, University of Manchester, UK
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Year:
2007

Citing 4
Cited 8

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Scientific workflow management and the Kepler system: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Scientific workflow infrastructure for computational chemistry on the grid

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
A framework for comparing models of computation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Nimrod/K: towards massively parallel dynamic grid workflows

Proceedings of the 2008 ACM/IEEE conference on Supercomputing
A model of domain-polymorph component for heterogeneous system design

Journal of Systems and Software
A Provenance-Based Fault Tolerance Mechanism for Scientific Workflows

Provenance and Annotation of Data and Processes
Using Explicit Control Processes in Distributed Workflows to Gather Provenance

Provenance and Annotation of Data and Processes
Heterogeneous composition of models of computation

Future Generation Computer Systems
BioExtract Server—An Integrated Workflow-Enabling System to Access and Analyze Heterogeneous, Distributed Biomolecular Data

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A formal semantics for the Taverna 2 workflow model

Journal of Computer and System Sciences
Challenges and approaches for distributed workflow-driven analysis of large-scale biological data: vision paper

Proceedings of the 2012 Joint EDBT/ICDT Workshops

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scientific workflow environment that allows for MoC composition. This paper explains how MoCs are combined in Kepler and Ptolemy II and analyzes which combinations of MoCs are currently possible and useful. It demonstrates the approach by combining MoCs involving dataflow and finite state machines. The resulting classification should be relevant to other workflow environments wishing to combine multiple MoCs.