Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
SystemC Kernel Extensions For Heterogenous System Modeling: A Framework for Multi-MoC Modeling & Simulation
Exploring Williams--Beuren syndrome using myGrid
Bioinformatics
Enabling ScientificWorkflow Reuse through Structured Composition of Dataflow and Control-Flow
ICDEW '06 Proceedings of the 22nd International Conference on Data Engineering Workshops
Taverna: lessons in creating a workflow environment for the life sciences: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Taverna Workflows: Syntax and Semantics
E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
Designing the myExperiment Virtual Research Environment for the Social Sharing of Workflows
E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
Composing Different Models of Computation in Kepler and Ptolemy II
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Heterogeneous Workflows in Scientific Workflow Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
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
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Editorial: Special section on workflow systems and applications in e-Science
Future Generation Computer Systems
Future Generation Computer Systems
A data-driven workflow language for grids based on array programming principles
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Approaching cardiac modeling challenges to computer science with CellML-based web tools
Future Generation Computer Systems
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Provenance for MapReduce-based data-intensive workflows
Proceedings of the 6th workshop on Workflows in support of large-scale science
Proceedings of the 2012 Joint EDBT/ICDT Workshops
| Hi-index | 0.00 |
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing diverse 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 (available at http://ptolemy.org/heterogeneousMoCs).