Foundations of distributed multiscale computing: Formalization, specification, and analysis

Journal of Parallel and Distributed Computing

Volumn 73, Issue 4, 2013, Pages 465-483

  Borgdorff, Joris ^a   Falcone, Jean Luc ^b   Lorenz, Eric ^a   Bona Casas, Carles ^a   Chopard, Bastien ^b   Hoekstra, Alfons G ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UNIVERSITY OF GENEVA   (Switzerland)

Author keywords

Coupling template; Coupling topology; Distributed multiscale computing; MML; Modeling methodology; Multiscale modeling; MUSCLE; Submodel execution loop; Task graph

Indexed keywords

DIRECTED GRAPHS; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; MUSCLE; TOPOLOGY;

DISTRIBUTED MULTISCALE COMPUTING; MODELING METHODOLOGY; MULTI-SCALE MODELING; SUBMODELS; TASK GRAPH;

MODELING LANGUAGES;

EID: 84893671761     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2012.12.011     Document Type: Article

References (60)

1. A. Adel, S. Adel, A meta-ontology for architecture description languages and mda platforms, in: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation, IEEE, 2008.
2. B.A. Allan, R. Armstrong, Ccaffeine framework: composing and debugging applications iteratively and running them statically, in: Compframe 2005 workshop.
3. B.A. Allan, R. Armstrong, D.E. Bernholdt, F. Bertrand, K. Chiu, T.L. Dahlgren, K.B. Damevski, W.R. Elwasif, M. Govindaraju, D.S. Katz, J.A. Kohl, M. Krishnan, J.W. Larson, S. Lefantzi, M.J. Lewis, A.D. Malony, L.C. Mcinnes, J. Nieplocha, B. Norris, J. Ray, T.L. Windus, S. Zhou, A component architecture for highperformance scientific computing, International Journal of High-Performance Computing Applications 20 (2006) 163-202.
4. R. Allen, D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology 6 (1997) 213-249.
5. C.W. Armstrong, R.W. Ford, G.D. Riley, Coupling integrated Earth System Model components with BFG2, Concurrency and Computation: Practice and Experience 21 (2009) 767-791.
6. F. Baccelli, A. Jean-Marie, Z. Liu, A survey on solution methods for task graph models, 1993.
7. A. Barker, J. Van Hemert, Scientific workflow: a survey and research directions, in: LNCS, vol. 4967, Springer-Verlag, Berlin/Heidelberg, 2007, pp. 746-753.
8. J. Bernsdorf, G. Berti, B. Chopard, J. Hegewald, M. Krafczyk, D. Wang, E. Lorenz, A.G. Hoekstra, Towards distributed multiscale simulation of biological processes, in: eScience 2011.
9. J. Borgdorff, C. Bona-Casas, M. Mamonski, K. Kurowski, T. Piontek, B. Bosak, K. Rycerz, E. Ciepiela, T. Gubała, D. Harezlak, M. Bubak, E. Lorenz, A.G. Hoekstra, A distributed multiscale computation of a tightly coupled model using the multiscale modeling language, Procedia Computer Science 9 (2012) 596-605.
10. J.Q. Broughton, F.F. Abraham, N. Bernstein, E. Kaxiras, Concurrent coupling of length scales: methodology and application, Physical Review B 60 (1999) 2391-2403.
11. M. Bubak, K. Górka, T. Gubała, M. Malawski, K. Zaja̧c, Component-based system for grid application workflow composition, in: G. Goos, J. Hartmanis, J. Leeuwen, J. Dongarra, D. Laforenza, S. Orlando (Eds.), in: LNCS, vol. 2840, Springer, Berlin, Heidelberg, 2003, pp. 611-618.
12. A. Caiazzo, D.J.W. Evans, J.L. Falcone, J. Hegewald, E. Lorenz, B. Stahl, D. Wang, J. Bernsdorf, B. Chopard, J. Gunn, D.R. Hose, M. Krafczyk, P.V. Lawford, R.H. Smallwood, D. Walker, A.G. Hoekstra, A complex automata approach for in-stent restenosis: two-dimensional multiscale modeling and simulations, Journal of Computational Science 2 (2011) 9-17.
13. A. Caiazzo, J.L. Falcone, B. Chopard, A.G. Hoekstra, Asymptotic analysis of Complex Automata models for reaction-diffusion systems, Applied Numerical Mathematics 59 (2009) 2023-2034.
14. H. Casanova, F. Desprez, F. Suter, On cluster resource allocation for multiple parallel task graphs, Journal of Parallel and Distributed Computing 70 (2010) 1193-1203.
15. B. Chopard, J.L. Falcone, A.G. Hoekstra, J. Borgdorff, A framework for multiscale and multiscience modeling and numerical simulations, in: C. Calude, J. Kari, I. Petre, G. Rozenberg (Eds.), in: LNCS, 6714, Springer, Berlin, Heidelberg, 2011, pp. 2-8.
16. E. Ciepiela, D. Harezlak, J. Kocot, T. Bartynski, M. Kasztelnik, P. Nowakowski, T. Gubała, M. Malawski, M. Bubak, Exploratory programming in the virtual laboratory, in: Proceedings of the 2010 International Multiconference on Computer Science and Information Technology, Institute of Computer Science, AGH, Krakow, Poland, 2010, pp. 621-628.
17. J. Dada, P. Mendes, Multi-scale modelling and simulation in systems biology, Integrative Biology (2011) 86-96.
18. E. Weinan, B. Engquist, The heterogeneous multiscale methods, Communications of Mathematical Sciences 1 (2003) 87-132.
19. E. Weinan, B. Engquist, Z. Huang, Heterogeneous multiscale method: a general methodology for multiscale modeling, Physical Review B 67 (2003) 092101.
20. E. Weinan, B. Engquist, X. Li, W. Ren, E. Vanden-Eijnden, The heterogeneous multiscale method: a review, Communications in Computational Physics 2 (2007) 367-450.
21. H. El-Rewini, H.H. Ali, T. Lewis, Task scheduling in multiprocessing systems, Computer 28 (1995) 27-37.
22. D.J.W. Evans, P.V. Lawford, J. Gunn, D. Walker, D.R. Hose, R.H. Smallwood, B. Chopard, M. Krafczyk, J. Bernsdorf, A.G. Hoekstra, The application of multiscale modelling to the process of development and prevention of stenosis in a stented coronary artery, Philosophical Transactions of the Royal Society A 366 (2008) 3343-3360.
23. J.L. Falcone, B. Chopard, A.G. Hoekstra, MML: towards a multiscale modeling language, Procedia Computer Science 1 (2010) 819-826.
24. A. Finkelstein, J. Hetherington, L. Li, O. Margoninski, P. Saffrey, R. Seymour, A. Warner, Computational challenges of systems biology, Computer 37 (2004) 26-33.
25. J. Fish, Bridging the scales in nano engineering and science, Journal of Nanoparticle Research 8 (2006) 577-594.
26. D. Garlan, Formal modeling and analysis of software architecture: components, connectors, and events, in: G. Goos, J. Hartmanis, J. Leeuwen, M. Bernardo, P. Inverardi (Eds.), in: Lecture Notes in Computer Science, Springer-Verlag, Berlin, Heidelberg, 2003, pp. 1-24.
27. D. Givon, R. Kupferman, A. Stuart, Extracting macroscopic dynamics: model problems and algorithms, Nonlinearity (2004) R55-R127.
28. T. Goodale, G. Allen, G. Lanfermann, J. Massó, T. Radke, E. Seidel, J. Shalf, The cactus framework and toolkit: design and applications, in: J.M.L.M. Palma, A.A. Sousa, J. Dongarra, V. Hernández (Eds.), in: LNCS, vol. 2565, Springer-Verlag, Berlin, Heidelberg, 2003, pp. 197-227.
29. J. Hegewald, The Multiscale Coupling Library and Environment (MUSCLE), 2010. http://muscle.berlios.de/.
30. J. Hegewald, M. Krafczyk, J. Tölke, A.G. Hoekstra, An agent-based coupling platform for complex automata, in: Computational Science-ICCS 2008, pp. 227-233.
31. C.A.R. Hoare, Communicating sequential processes, Communications of the ACM 21 (1978) 666-677.
32. A.G. Hoekstra, A. Caiazzo, E. Lorenz, J.L. Falcone, Complex automata: multiscale modeling with coupled cellular automata, in: A.G. Hoekstra, J. Kroc, P.M.A. Sloot (Eds.), Simulating Complex Systems by Cellular Automata, Springer-Verlag, Berlin, Heidelberg, 2010, pp. 29-57.
33. A.G. Hoekstra, J.L. Falcone, A. Caiazzo, Multi-scale Modeling with Cellular Automata: The Complex Automata Approach, in: LNCS, Springer-Verlag, Berlin, Heidelberg, 2008, pp. 192-199.
34. A.G. Hoekstra, E. Lorenz, J.L. Falcone, B. Chopard, Toward a complex automata formalism for multiscale modeling, International Journal for Multiscale Computational Engineering 5 (2007) 491-502.
35. A.G. Hoekstra, E. Lorenz, J.L. Falcone, B. Chopard, Towards a complex automata framework for multi-scale modeling: formalism and the scale separation map, in: ICCS 2007, Part I, LNCS, 4487, 2007, pp. 922-930.
36. G.D. Ingram, I.T. Cameron, Challenges in multiscale modelling and its application to granulation systems, Developments in Chemical Engineering and Mineral Processing 12 (2004) 293-308.
37. G.D. Ingram, I.T. Cameron, K.M. Hangos, Classification and analysis of integrating frameworks in multiscale modelling, Chemical Engineering Science 59 (2004) 2171-2187.
38. W. Joppich, M. Kürschner, the MpCCI team, MpCCI-a tool for the simulation of coupled applications, Concurrency and Computation: Practice and Experience 18 (2005) 183-192.
39. V. Kravtsov, A. Schuster, D. Carmeli, K. Kurowski, W. Dubitzky, Grid-enabling complex system applications with QosCosGrid: an architectural perspective, in: Proceedings of the 2008 International Conference on Grid Computing & Applications, Las Vegas, Nevada, USA, pp. 168-174.
40. Y.K. Kwok, I. Ahmad, Benchmarking and comparison of the task graph scheduling algorithms, Journal of Parallel and Distributed Computing 59 (1999) 381-422.
41. L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM 21 (1978) 558-565.
42. J. Li, W. Ge, J. Zhang, M. Kwauk, Multi-scale compromise and multi-level correlation in complex systems, Chemical Engineering Research and Design 83 (2005) 574-582.
43. D.A. Menasce, R.R. Muntz, Locking and deadlock detection in distributed data bases, IEEE Transactions on Software Engineering SE-5 (1979) 195-202.
44. R. Milner, A Calculus of Communicating Systems, Springer-Verlag, Berlin/New York, 1980.
45. D. Noble, Modeling the heart-from genes to cells to the whole organ, Science 295 (2002) 1678-1682.
46. C.C. Pantelides, New challenges and opportunities for process modelling, in: Computer Aided Chemical Engineering, Elsevier, 2001, pp. 15-26.
47. C.A. Petri, Kommunikation mit Automaten, Ph.D. Thesis, Institut für instrumentelle Mathematik, Bonn, 1962.
48. P.M.A. Sloot, A.G. Hoekstra, Multi-scale modelling in computational biomedicine, Briefings in Bioinformatics 11 (2010) 142-152.
49. P.M.A. Sloot, A. Tirado-Ramos, I. Altintas, M. Bubak, C. Boucher, From molecule to man: decision support in individualized e-health, Computer 39 (2006) 40-46.
50. J. Southern, J. Pitt-Francis, J. Whiteley, D. Stokeley, H. Kobashi, R. Nobes, K. Yoshimasa, D. Gavaghan, Multi-scale computational modelling in biology and physiology, Progress in Biophysics and Molecular Biology (2008) 60-89.
51. W.P. Stevens, G.J. Myers, L.L. Constantine, Structured design, IBM Systems Journal 13 (1974) 115-139.
52. J.L. Suter, P.V. Coveney, Computer simulation study of the materials properties of intercalated and exfoliated poly(ethylene)glycol clay nanocomposites, Soft Matter 5 (2009) 2239-2251.
53. H. Tahir, A.G. Hoekstra, E. Lorenz, P.V. Lawford, D.R. Hose, J. Gunn, D.J.W. Evans, Multiscale simulations of the dynamics of in-stent restenosis: impact of stent deployment and design, Interface Focus 1 (2011) 365-373.
54. The COAST project, Complex automata, 2007. http://www.complex-automata. org/.
55. The MAPPER project, 2010. http://www.mapper-project.eu/.
56. S. Valcke, E. Guilyardi, C. Larsson, PRISM and ENES: a European approach to Earth system modelling, Concurrency and Computation: Practice and Experience 18 (2005) 247-262.
57. W.M.P. van der Aalst, The application of Petri nets to workflow management, Journal of Circuits Systems and Computers 8 (1998) 21-66.
58. D.G. Vlachos, A review of multiscale analysis: examples from systems biology, materials engineering, and other fluid-surface interacting systems, Advances in Chemical Engineering 30 (2005) 1-61.
59. A. Yang, W. Marquardt, An ontological conceptualization of multiscale models, Computers & Chemical Engineering (2009) 822-837.
60. S.J. Zasada, P.V. Coveney, Virtualizing access to scientific applications with the application hosting environment, Computer Physics Communications 180 (2009) 2513-2525.