Heterogeneous composition of models of computation

Future Generation Computer Systems

Volumn 25, Issue 5, 2009, Pages 552-560

  Goderis, Antoon ^a   Brooks, Christopher ^b   Altintas, Ilkay ^c   Lee, Edward A ^b   Goble, Carole ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Kepler; Model of computation; Ptolemy II; Scientific workflow

Indexed keywords

DATA FLOWS; E SCIENCE; FINITE-STATE MACHINES; HETEROGENEOUS COMPOSITIONS; KEPLER; MODEL OF COMPUTATION; MODELS OF COMPUTATIONS; PTOLEMY II; SCIENTIFIC WORKFLOW;

MANAGEMENT;

EID: 59849126108     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2008.06.014     Document Type: Article

References (32)

1. mygrid. Bioinformatics 20 (2004) 303-310
2. Haines R., Mc Keown M., Pickles S., Pinning R., Porter A., and Riding M. The service architecture of the teragyroid experiment. Philosophical Transactions of the Royal Society 363 (2005) 1743-1755
3. Ludäscher B., Podhorszki N., Altintas I., Bowers S., and McPhillips T. From computation models to models of provenance: The RWS approach. First Provenance Challenge. Concurrency and Computation: Practice & Experience (2007) (special issue)
4. T. Oinn, Taverna 2 Workflow Specification. http://www.ebi.ac.uk/~tmo/docs/t2semantics.pdf, Last (accessed 28.09.07)
5. Buck J.T., Ha S., Lee E.A., and Messerschmitt D.G. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Simulation Software Development. International Journal of Computer Simulation vol. 4 (1994) 155-182 (special issue)
6. Eker J., Janneck J.W., Lee E.A., Liu J., Liu X., Ludvig J., Neuendorffer S., Sachs S., and Xiong Y. Taming heterogeneity-the Ptolemy approach. Proceedings of the IEEE 91 (2003) 127-144
7. F. Maraninchi, T. Bhouhadiba, 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems, in: 6th ACM International Conference on Generative Programming and Component Engineering, GPCE, Salzburg, Austria, 2007
8. C. Hardebolle, F. Boulanger, ModHel'X: A component-oriented approach to multi-formalism modeling, in: Proc. of the MODELS 2007 Workshop on Multi-Paradigm Modeling, Nashville, Tennessee, USA, 2 October 2007
9. A. Basu, M. Bozga, J. Sifakis, Modeling heterogeneous real-time components in BIP, in: International Conference on Software Engineering and Formal Methods, SEFM, Pune, 2006, pp. 3-12
10. Lee E.A., and Sangiovanni-Vincentelli A. A framework for comparing models of computation. IEEE Transactions on CAD 17 12 (1998)
11. Gil Y., Deelman E., Ellisman M., Fahringer T., Fox G., Gannon D., Goble C., Livny M., Moreau L., and Myers J. Examining the challenges of scientific workflows. Computer 40 12 (2007) 24-32
12. S. Bowers, B. Ludaescher, A.H.H. Ngu, T. Critchlow, Enabling scientific workflow reuse through structured composition of dataflow and control-flow, in: IEEE Workshop on Workflow and Data Flow for Scientific Applications (SciFlow), 2006
13. Ludäscher B., Altintas I., Berkley C., Higgins D., Jaeger E., Jones M., Lee E.A., Tao J., and Zhao Y. Scientific workflow management and the KEPLER system. Scientific Workflows. Concurrency & Computation: Practice & Experience (2005) (special issue)
14. Oinn T., Greenwood M., Addis M., Alpdemir N., Ferris J., Glover K., Goble C., Goderis A., Hull D., Marvin D., Li P., Lord P., Pocock M., Senger M., Stevens R., Wipat A., and Wroe C. Taverna: Lessons in creating a workflow environment for the life sciences. Scientific Workflows. Concurrency and Computation: Practice and Experience (2005) (special issue)
15. D. Turi, P. Missier, C. Goble, D. De Roure, T. Oinn, Taverna workflows: Syntax and semantics, e-Science 2007, in: Third IEEE International Conference on e-Science and Grid Computing, Bangalore, India, 10-13 December 2007. pp. 441-448
16. Curcin V., Ghanem M., Wendel P., and Guo Y. Heterogeneous workflows in scientific workflow systems. International Conference on Computational Science 3 (2007) 204-211
17. W.M.P. van der Aalst, Process mining in CSCW systems, in: Ninth Int. Conference on Computer Supported Cooperative Work in Design, 24-26 May 2005
18. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274
19. Benveniste A., and Berry G. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79 (1991) 1270-1282
20. Girault A., Lee B., and Lee E.A. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18 (1999) 742-760
21. Jantsch A., and Sander I. Models of computation and languages for embedded system design. IEE Proceedings on Computers and Digital Techniques 152 (2005) 114-129
22. Patel H.D., and Shukla S.K. SystemC Kernel Extensions for Heterogeneous System Modelling (2004), Kluwer
23. Agha G. Actors: A Model of Concurrent Computation in Distributed Systems (1986), MIT Press, Cambridge, MA
24. Hewitt C. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence 8 (1977) 323-363 1977
25. A. Goderis, C. Brooks, I. Altintas, E.A. Lee, C. Goble, Composing different models of computation in Kepler and Ptolemy II, in: Proc. of the 2nd Int. Workshop on Workflow Systems in e-Science (WSES 07) in conjunction with the Int. Conference on Computational Science, ICCS 2007, Beijing, China, May 27-30, 2007
26. C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng (Eds.) Heterogeneous Concurrent Modeling and Design in Java, vol. 1-3, Tech. report UCB/ERL M05/21, University of California, Berkeley, July 15, 2005
27. W. Sudholt, I. Altintas, K.K. Baldridge, A Scientific workflow infrastructure for computational chemistry on the grid, in: 1st Int. Workshop on Computational Chemistry and its Application in e-Science in conjunction with ICCS 2006
28. T.M. Parks, Bounded scheduling of process networks, UCB/ERL-95-105, University of California, Berkeley, December 1995
29. Kahn G., and MacQueen D.B. Coroutines and networks of parallel processes. In: Gilchrist B. (Ed). Information Processing vol. 77 (1977), North-Holland Publishing Co.
30. Zhou G., Leung M.-K., and Lee E.A. A code generation framework for actor-oriented models with partial evaluation. Internation Conference on Embedded Software and Systems. ICESS. LNCS vol. 4523 (2007), Springer, Daegu, Korea 786-799
31. E.A. Lee, H. Zheng, Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, in: EMSOFT Salzburg, Austria, October, 2007
32. D. De Roure, C. Goble, R. Stevens, Designing the myexperiment virtual research environment for the social sharing of workflows, in: Third IEEE Int. Conference on e-Science and Grid Computing, Bangalore, India, 10-13 December 2007, pp. 603-610