Heterogeneous composition of models of computation

被引：23

作者：

Goderis, Antoon ^{[1
]}

Brooks, Christopher ^{[2
]}

Altintas, Ilkay ^{[3
]}

Lee, Edward A. ^{[2
]}

Goble, Carole ^{[1
]}

机构：

[1] Univ Manchester, Sch Comp Sci, Manchester M13 9PL, Lancs, England

[2] Univ Calif Berkeley, Dept EECS, Berkeley, CA USA

[3] Univ Calif San Diego, San Diego Supercomp Ctr, San Diego, CA USA

来源：

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE | 2009年 / 25卷 / 05期

基金：

英国工程与自然科学研究理事会;

关键词：

Model of computation; Scientific workflow; Kepler; Ptolemy II;

D O I：

10.1016/j.future.2008.06.014

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 paperexplains 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). (C) 2009 Published by Elsevier B.V.

引用

页码：552 / 560

页数：9

共 32 条

[1]

Agha GA., 1985, ACTORS MODEL CONCURR

[2]

Basu A, 2006, I C SOFTW ENG FORM M, P3

[3] THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS [J].

BENVENISTE, A ;

BERRY, G .

PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1270-1282

[4]

Bowers S., 2006, IEEE WORKSH WORKFL D

[5]

Brooks Christopher., 2005, Heterogeneous concurrent modeling and design in Java (Volume 1: Introduction to Ptolemy II), V1

[6]

Buck J., 1994, INT J COMPUTER SIMUL, V4, P155

[7]

Curcin V, 2007, LECT NOTES COMPUT SC, V4489, P204

[8] Taming heterogeneity the Ptolemy approach [J].

Eker, J ;

Janneck, JW ;

Lee, EA ;

Liu, J ;

Liu, XJ ;

Ludvig, J ;

Neuendorffer, S ;

Sachs, S ;

Xiong, YH .

PROCEEDINGS OF THE IEEE, 2003, 91 (01) :127-144

[9] Examining the challenges of scientific workflows [J].

Gil, Yolanda ;

Deelman, Ewa ;

Ellisman, Mark ;

Fahringer, Thomas ;

Fox, Geoffrey ;

Gannon, Dennis ;

Goble, Carole ;

Livny, Miron ;

Moreau, Luc ;

Myers, Jim .

COMPUTER, 2007, 40 (12) :24-+

[10] Hierarchical finite state machines with multiple concurrency models [J].

Girault, A ;

Lee, B ;

Lee, EA .

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (06) :742-760

← 1 2 3 4 →