UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)
UvA-DARE (Digital Academic Repository)
Scientific workflow design : theoretical and practical issues
Terpstra, F.P.
Publication date
2008
Link to publication
Citation for published version (APA):
Terpstra, F. P. (2008). Scientific workflow design : theoretical and practical issues.
General rights
It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons).
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.
Bibliography
[1] Austrian grid. public website. http://www.austriangrid.at/. [2] Crossgrid project. public website. http://www.crossgrid.org/.
[3] Dagman directed acyclic graph manager. http://www.cs.wisc.edu/condor/dagman/.
[4] Data assimilation research testbed. the National Cen-ter for Atmospheric Research, Boulder Colorado USA. http://www.image.ucar.edu/DAReS/DART/.
[5] The datagrid project. public website. http://eu-datagrid.web.cern.ch. [6] Datatag research & technological development for a data transatlantic grid.
public website. http://datatag.web.cern.ch/datatag/.
[7] Die deutsche grid-initiative (d-grid). public website. http://www.d-grid.de/. [8] Egee (enabling grids for e-science). public website. http://www.eu-egee.org/. [9] Eurogrid application testbed for european grid computing. public website.
http://www.eurogrid.org/.
[10] The globus project homepage. http://www.globus.org/.
[11] Grid projects funded by the eu under fp6. Information Society Technologies. http://cordis.europa.eu/ist/grids/projects.htm.
[12] Grid5000. public website. http://www.grid5000.fr/.
[13] Gridbus (grid computing and business technologies). http://www.gridbus.org/.
[14] Grid.it: An italian national research council project on grid computing funded under the national programme. public website. http://www.grid.it/. [15] Griphyn grid physics network. public website. http://www.griphyn.org/. [16] Ioa language and toolset, http://theory.csail.mit.edu/tds/ioa/.
[17] K-wf grid project (fp6-511385). public website. http://www.kwfgrid.eu/. [18] Mygrid project. public website. http://www.mygrid.org.uk/.
[19] Reo homepage, http://www.cwi.nl/htbin/reo/view/main/webhome.
[20] Uk e-science programme. public website. http://www.rcuk.ac.uk/escience/default.htm.
[21] Virtual laboratory for e-science. http://www.vl-e.nl/.
[22] Scientific workflow survey, indiana university, 2002. http://www.extreme.indiana.edu/swf-survey/.
[23] W. Aalst, A. van der, B. Hofstede, and A. Kiepuszewski. Advanced workflow patterns. In O. E. en P. Scheuermann, editor, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18–29. Springer-Verlag, Berlin, 2000. [24] W. M. P. V. D. Aalst, A. H. M. T. Hofstede, B. Kiepuszewski, and A. P.
Barros. Workflow patterns. Distrib. Parallel Databases, 14(1):5–51, 2003.
148
BIBLIOGRAPHY
[25] P. Adriaans. Background and general trends. In J. Meij, editor, Dealing with the data flood (mining data, text and multimedia) (STT 65), pages 12–25. STT/Beweton, The Hague, the Netherlands, 2002.
[26] P. Adriaans and D. Zantinge. Data mining. Addison-Wesley Longman Pub-lishing Co., Inc., Boston, MA, USA, 1997. ISBN: 0-201-40380-3.
[27] H. Afsarmanesh, R. Belleman, A. Belloum, A. Benabdelkader, J. van den Brand, G. Eijkel, A. Frenkel, C. Garita, D. Groep, R. Heeren, Z. Hendrikse, L. Hertzberger, J. Kaandorp, E. Kaletas, V. Korkhov, C. de Laat, P. Sloot, D.Vasunin, A. Visser, and H. Yakali. Vlam-g: A grid-based virtual labora-tory. Scientific Programming (Special issue on Grid Computing), 10:173–181, 2002.
[28] A. H. A.J. Segers, M. Verlaan, and M. van Loon. A modified rrsqrt-filter for assimilating data in atmospheric chemistry models. Journal of Environmental Modelling & Software, 15:663–671, 2000.
[29] M. Alt, S. Gorlatch, A. Hoheisel, and H.-W. Pohl. A grid workflow language using high-level petri nets. In R. Wyrzykowski, J. Dongarra, N. Meyer, and J. Wasniewski, editors, Parallel Processing and Applied Mathematics, volume 3911 of LNCS, pages 715–722. Springer-Verlag, 2006.
[30] M. Alt, S. Gorlatch, A. Hoheisel, and H.-W. Pohl. Using high-level petri nets for hierarchical grid workflows. In E-SCIENCE ’06: Proceedings of the Second IEEE International Conference on e-Science and Grid Computing, page 13, Washington, DC, USA, 2006. IEEE Computer Society.
[31] I. Altintas, C. Berkley, E. Jaeger, M. Jones, B. Lud¨ascher, and S. Mock. Kepler: An extensible system for design and execution of scientific workflows. In SSDBM, pages 423–424, 2004.
[32] I. Altintas, S. Bhagwanani, D. Buttler, S. Chandra, Z. Cheng, M. Coleman, T. Critchlow, A. Gupta, W. Han, B. L. L. Liu, R. M. a. S. C. Pu, and M. Vouk. A modeling and execution environment for distributed scientific workflows. In SSDBM, 2003.
[33] K. Amin and G. von Laszewski. GridAnt: a Grid workflow system. In Manual at http://www-unix.globus.org/cog/projects/gridant/, February 2003. [34] S. Ananiadou. The national centre for text mining: A vision for the future.
Ariadne, (53), October 2007.
[35] T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services, version 1.1. Technical report, OASIS, 2003-05-05 2003.
[36] K. Appel and W. Haken. Every planar map is four colorable. Illinois J. Math, 21:429–567, 1977.
[37] S. Aronson, K. Assamagan, H. Gordon, M. Leite, M. Levine, P. Nevski, H. Takai, S. White, B. Cole, and J. L. Nagle. A nuclear physics program at the atlas experiment at the cern large hadron collider, 2002.
[38] F. L. B. Erni and B. Bruderer. How does a first year passerine migrant find its way? simulating migration mechanisms and behavioural adaptations. OIKOS, 103, 2003.
[39] C. Baier, M. Sirjani, F. Arbab, and J. Rutten. Modeling component con-nectors in reo by contraint automata. Science of computer programming, 61:75–113, 2006.
[40] D. M. Barker, W. Huang, Y. R. Guo, and Q. N. Xiao. A three-dimensional (3dvar) data assimilation system for use with mm5: Implementation and initial results. Mon. Wea. Rev., 132:897–914, 2004.
[41] A. Belloum, Z. Zhao, P. van Hooft, F. Terpstra, A. Wibisono, V. Khorkov, and D. Vasunin. Recommendation to vleit: Scien-tific workflow management systems for the poc r1. Technical re-port, University of Amsterdam, Informatics Institute, October 2005. http://staff.science.uva.nl/ gvlam/doc/P2/SWMSRecommendationReport.pdf. [42] M. Ben-Akiva, M. Bierlaire, D. Burton, H. N. Koutsopoulos, and R.
Misha-lani. Network state estimation and prediction for real-time traffic manage-ment. Networks and Spatial Economics Kluwer Academic Publishers, 1:293– 318, 2001.
[43] S. R. Bhagwanani. An evaluation of end-user interfaces of scientific workflow management systems. Master’s thesis, North Carolina State University, 2005. [44] V. Bjerkness. Das problem der wettervorhersage, betrachtet vom stanpunkt
de mechanik und der physik. Meteor. Zeits., 21:1–7, 1904.
[45] R. Bose and J. Frew. Lineage retrieval for scientific data processing: a survey. ACM Comput. Surv., 37(1):1–28, 2005.
[46] W. Bouten, J. v. Belle, J. v. Gasteren, J. Vrugt, and J. Shamoun. Predicting bird migration: data-driven versus concept-driven models, 2005.
[47] S. Bowers and B. Ludscher. Actor-oriented design of scientific workflows. In 24 th Intl. Conf. on Conceptual Modeling (ER), pages 369–384, 2005. [48] G. E. P. Box and G. M. Jenkins. Time Series Analysis: Forecasting and
Control. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1994. ISBN: 0130607746.
[49] P. Chapman, J. Clinton, R. Kerber, T. Khabaza, T. Reinartz, C. Shearer, and R. Wirth. Crisp-dm 1.0 step-by-step data mining guide. Techni-cal report, The CRISP-DM consortium, August 2000. http://www.crisp-dm.org/CRISPWP-0800.pdf.
[50] J. G. Charney, R. Fj¨ortoft, and J. von Neumann. Numerical integration of the barotropic vorticity equation. Tellus, 2:237–254, 1950.
[51] L. Chen, N. Shadbolt, C. A. Goble, F. Tao, S. J. Cox, C. Puleston, and P. R. Smart. Towards a knowledge-based approach to semantic service composi-tion. In D. Fensel, K. P. Sycara, and J. Mylopoulos, editors, International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Sci-ence, pages 319–334. Springer, 2003.
[52] J. G. Chin, L. R. Leung, K. Schuchardt, and D. Gracio. New paradigms in problem solving environments for scientific computing. In Proceedings of the international conference of Intelligent User Interface, San Francisco, 2002. [53] B. S. Chua and A. F. Bennett. An inverse ocean modeling system. Ocean
Modelling, 3:137–165, 2001.
[54] R. Courant, K. Friedrichs, and H. Lewy. ber die partiellen differenzengle-ichungen der mathematischen physik. Mathematische Annalen, 100(1):32–74, 1928.
[55] D. E. Culler, R. M. Karp, D. A. Patterson, A. Sahay, K. E. Schauser, E. San-tos, R. Subramonian, and T. von Eicken. LogP: Towards a realistic model of parallel computation. In Principles Practice of Parallel Programming, pages 1–12, 1993.
[56] R. Daley. Atmospheric Data Analysis. Cambridge University Press, 1991. ISBN: 0521458250.
[57] M. Dam. On the decidability of process equivalences for the pi-calculus. Theor. Comput. Sci., 183(2):215–228, 1997.
150
BIBLIOGRAPHY
[58] E. Deelman, J. Blythe, Y. Gil, C. Kesselman, G. Mehta, S. Patil, M.-H. Su, K. Vahi, and M. Livny. Pegasus: Mapping scientific workflows onto the grid. In European Across Grids Conference, pages 11–20, 2004.
[59] E. W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM, 18(8):453–457, August 1975.
[60] J. P. Drecourt. Kalman filtering in hydrological mod-elling, daihm technical report 2003-1. Technical report, 2003. http://projects.dhi.dk/daihm/Files/KFlitreview.pdf.
[61] W. Emmerich, B. Butchart, L. Chen, B. Wassermann, and S. L. Price. Grid service orchestration using the business process execution language (bpel). Journal of Grid Computing, 3(3-4):283–304, 2005.
[62] T. Fahringer, A. Jugravu, S. Pllana, R. Prodan, C. S. Jr., and H. L. Truong. Askalon: a tool set for cluster and grid computing. Concurrency - Practice and Experience, 17(2-4):143–169, 2005.
[63] P. Feyerabend. Against Method. Verso, August 1993. ISBN: 0860916464. [64] I. Foster, C. Kesselman, J. Nick, and S. Tuecke. The
phys-iology of the grid: An open grid services architecture for dis-tributed systems integration. Technical report, Globus, February 2002. www.globus.org/research/papers/ogsa.pdf.
[65] I. Foster, C. Kesselman, and S. Tuecke. The anatomy of the grid : Enabling scalable virtual organizations. The International Journal of Supercomputer Applications, 2001.
[66] I. T. Foster, J. V¨ockler, M. Wilde, and Y. Zhao. Chimera: A virtual data system for representing, querying, and automating data derivation. In SS-DBM ’02: Proceedings of the 14th International Conference on Scientific and Statistical Database Management, pages 37–46, Washington, DC, USA, 2002. IEEE Computer Society.
[67] D. Fox, W. Teague, and C. Barron. The modular ocean data assimilation system (modas). Journal of Atmospheric and Oceanic Technology, 19:240– 252, 2001.
[68] N. Furmento, W. Lee, A. Mayer, S. Newhouse, and J. Darlington. Iceni: an open grid service architecture implemented with jini. In Supercomputing ’02: Proceedings of the 2002 ACM/IEEE conference on Supercomputing, pages 1–10, Los Alamitos, CA, USA, 2002. IEEE Computer Society Press. [69] H. O. Gao and D. A. Niemeier. The impact of rush hour traffic and mix
on the ozone weekend effect in southern california. Transportation Research Part D: Transport and Environment, 12(2):83–98, March 2007.
[70] Z. Guan, F. Hernandez, P. Bangalore, J. Gray, A. Skjellum, V. Velusamy, and Y. Liu. Grid-Flow: A grid-enabled scientific workflow system with a petri net-based interface. accepted for publication to the Grid Workflow Special Issue of Concurrency and Computation: Practice and Experience, 2005. [71] T. Gubala, D. Herezlak, M. Bubak, and M. Malawski. Semantic composition
of scientific workflows based on the petri nets formalism. e-science, 0:12, 2006.
[72] M. Gulamali, A. McGough, R. Marsh, N. Edwards, T. Lenton, P. Valdes, S. Cox, S. Newhouse, and J. Darlington. Workflow enactment in iceni. In In UK e-Science All Hands Meeting, pages 792–799, 2004.
[73] D. Helbing. verkehrsdynamic. Springer Verlag, 1997. ISBN: 3-540-61927-5. [74] M. Hennessy. Algebraic Theory of Processes. MIT Press, Cambridge, MA,
[75] C. Hewitt, P. Bishop, I. Greif, B. Smith, T. Matson, and R. Steiger. Actor induction and meta-evaluation. In POPL, pages 153–168, 1973.
[76] A. Hoheisel and M. Alt. Workflows for eScience, chapter Petri Nets. Springer-Verlag, 2006. ISBN: 1846285194.
[77] J. E. Hopcroft, R. Motwani, Rotwani, and J. D. Ullman. Introduction to Automata Theory, Languages and Computability. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000. ISBN: 0201441241.
[78] D. Hume. A Treatise of Human Nature (Oxford Philosophical Texts). Oxford University Press, USA, February 2000. ISBN: 0198751729.
[79] C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, Y. Xiong, Y. Zhao, and H. Zheng. Overview of the Ptolemy project. Tech-nical report, University of California at Berkeley, July 2003. http://ptolemy.eecs.berkeley.edu/publications/papers/03/overview/overview03.pdf. [80] C. Johnson, S. Parker, and D. Weinstein. Large-scale computational science
applications using the SCIRun problem solving environment. In Proceedings of Supercomputer, 2000.
[81] W. E. Johnston. Semantic services for grid-based, large-scale science. IEEE Intelligent Sytems, 19:34–39, 2004.
[82] E. C. Kaletas. Scientific Information Management in Collaborative Exper-imentation Environments. PhD thesis, Universiteit van Amsterdam, May 2004.
[83] E. Kalnay. Atmospheric Modeling, Data Assimilation and Predictability. Cambridge University Press, 2002. ISBN: 0521796296.
[84] J. Kim and Y. Gil. Towards interactive composition of semantic web ser-vices. In AAAI Spring Symposium. First International Semantic Web Ser-vices Symposium (ISWSS’04), march 2004.
[85] S. Kleene. A theory of positive integers in formal logic. American Journal of Mathematics, 57:153–219, 1935.
[86] S. Kluppelholz and C. Baier. Symbolic model checking for channel-based component connectors. In FOCLASA 06, page tba, 2006.
[87] V. Korkhov, D. Vasyunin, A. Wibisono, V. Guevara-Masis, A. Belloum, C. de Laat, P. Adriaans, and L. Hertzberger. Ws-vlam: towards a scal-able workflow system on the grid. In WORKS ’07: Proceedings of the 2nd workshop on Workflows in support of large-scale science, pages 63–68, New York, NY, USA, 2007. ACM.
[88] T. S. Kuhn. The Structure of Scientific Revolutions. University Of Chicago Press, December 1996. ISBN: 0226458083.
[89] I. Lakatos. The Methodology of Scientific Research Programmes: Philosoph-ical Papers, volume 1. Cambridge University Press, October 1980. ISBN: 0521280311.
[90] C. Lakos. Object oriented modeling with object petri nets. In Concurrent Object-Oriented Programming and Petri Nets, pages 1–37, 2001.
[91] R. Lensink, H. v. Gasteren, and L. W. Vogeltrektellen. Vogeltrek over Ned-erland 1976-1993. Haarlem: Schuyt, 2002. ISBN: 9060975669.
[92] E. N. Lorenz. The predictability of a flow which posseses many scales of motion. Tellus, 21:289–307, 1968.
[93] B. Ludascher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger-Frank, M. Jones, E. Lee, J. Tao, and Y. Zhao. Scientific workflow management and the kepler system. Concurrency and Computation: Practice and Experience, Special Issue on Scientific Workflows, 18(10), 08 25 2006.
152
BIBLIOGRAPHY
[94] N. A. Lynch and E. W. Stark. A proof of the kahn principle for input/output automata. Information and Computation, 82(1):81–92, 1989.
[95] N. A. Lynch and M. R. Tuttle. An Introduction to Input/Output Automata. CWI Quarterly, 2(3):219–246, September 1989.
[96] S. Majithia, M. S. Shields, I. J. Taylor, and I. Wang. Triana: A Graphical Web Service Composition and Execution Toolkit. In Proceedings of the IEEE International Conference on Web Services (ICWS’04), pages 514–524. IEEE Computer Society, 2004.
[97] T. F. Melham. A mechanized theory of the pi-calculus in HOL. Nordic Journal of Computing, 1(1):50–76, 1994.
[98] S. Meng and F. Arbab. Web services choreography and orchestration in reo and constraint automata. In SAC ’07: Proceedings of the 2007 ACM symposium on Applied computing, pages 346–353, New York, NY, USA, 2007. ACM.
[99] S. Miles. Minutes of the second provenance challenge. public website. [100] R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture
Notes in Computer Science. Springer-Verlag, Berlin, 1980. ISBN: 3-540-10235-3 (Berlin) 0-387-3-540-10235-3 (New York).
[101] R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Springer Verlag, 1991. ISBN: 0-521-65869-1.
[102] P. Missier, D. Turi, C. Goble, T. Oinn, and D. D. Roure. Taverna workflows: Syntax and semantics. In eScience 2007. IEEE Press, 2007.
[103] T. Ne Win. Theorem-proving distributed algorithms with dynamic analysis. Master’s thesis, MIT Department of Electrical Engineering and Computer Science, Cambridge, MA, May 2003.
[104] T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Senger, M. Greenwood, T. Carver, K. Glover, M. R. Pocock, A. Wipat, and P. Li. Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioin-formatics Journal., online, June 16, 2004.
[105] J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, 1981.
[106] C. A. Petri. Fundamentals of a theory of asynchronous information flow. In IFIP Congress, pages 386–390, 1962.
[107] A. D. Pimentel, C. Erbas, and S. Polstra. A systematic approach to ex-ploring embedded system architectures at multiple abstraction levels. IEEE Transactions on Computers, 55(2):99–112, 2006.
[108] A. D. Pimentel, S. Polstra, F. Terpstra, A. W. van Halderen, J. E. Cof-fland, and L. O. Hertzberger. Towards efficient design space exploration of heterogeneous embedded media systems. pages 57–73, 2002.
[109] K. R. Popper. Realism and the Aim of Science. Routledge, London, 1983. [110] K. R. Popper. The Logic of Scientific Discovery (Routledge Classics).
Rout-ledge, 2002, first published in 1934. ISBN: 0415278449.
[111] H. G. Rice. Classes of recursively enumerable sets and their decision prob-lems. Transactions of the American Mathematical Society, 74(2):358–366, 1953.
[112] J. Shamoun-Baranes, W. Bouten, H. Sierdsema, J. van Belle, H. van Gasteren, and E. van Loon. The netherlands bird avoidance model (nl-bam) final report. Technical report, May 2006. http://www.vl-e.nl/Reports/NLBAM finalreport2006.pdf.
[113] G. Singh, E. Deelman, G. Mehta, K. Vahi, M.-H. Su, G. B. Berriman, J. Good, J. C. Jacob, D. S. Katz, A. Lazzarini, K. Blackburn, and S. Ko-randa. The pegasus portal: web based grid computing. In SAC, pages 680–686, 2005.
[114] H. Smith and P. Fingar. Workflow is just a pi process. BPTrends, www.bptrends.com, January 2004.
[115] W. Stegmller. Aufstze zur Wissenschaftstheorie. Wiss. Buchges., Darmstadt, 1990. ISBN: 3-534-05565-9.
[116] O. Talagrand. Assimilation of observations, an introduction. Journal of the Meteorological Society of japan, 75(1B):191–209, 1997.
[117] C. J. Taylor, P. G. McKenna, P. C. Young, A. Chotai, and M. Mackinnon. Macroscopic traffic flow modelling and ramp metering control using mat-lab/simulink. Environmental Modelling and Software, 19(10):975–988, 2004. [118] F. Terpstra and G. Meijer. Data assimilation approach to adaptive fore-casting using floating car data. In Proceedings of ITS world congress 2006 . London, UK, 2006.
[119] F. Terpstra and E. van Loon. ”assimilating radar observations in a bird migration model”. In Presented on the Dare2004 Workshop on Data Assim-ilation and Recursive Estimation, Venice Italy, September 20-21 2004. [120] F. Terpstra, Z. Zhao, W. Mulder, and P. W. Adriaans. Towards a formal
foundation for aggregating scientific workflows. In Y. Shi, G. D. van Albada, J. Dongarra, and P. M. A. Sloot, editors, International Conference on Com-putational Science (3), volume 4489 of Lecture Notes in Computer Science, pages 216–219. Springer, 2007.
[121] F. P. Terpstra and P. Adriaans. Designing workflow components for e-science. In E-science 2006, 2nd IEEE International Conference on e-Science and Grid Computing, Amsterdam Netherlands, 2006.
[122] F. P. Terpstra and P. Adriaans. New directions in workflow formalisms. In proceedings of the UK e-Science 2007 All Hands Meeting Nottingham. EPSRC, september 10-13th 2007.
[123] F. P. Terpstra, A. Visser, and G. R. Meijer. Intelligent adaptive traffic fore-casting system using data assimilation for use in traveler information sys-tems. In The Symposium on Professional Practice in AI a stream within the First IFIP Conference on Artificial Intelligence Applications and Innovations AIAI-2004, Toulouse France, August 2004.
[124] A. Turing. On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society, 42(2):Eprint. Reprinted in The Undecidable pp.115–154, 1936.
[125] W. Tych, D. J. Pedregal, P. C. Young, and J. Davies. An unobserved compo-nent model for multi-rate forecasting of telephone call demand: the design of a forecasting support system. International Journal of Forecasting, 18:673– 695, 2002.
[126] W. van der Aalst. Pi calculus versus petri nets. BPTrends, www.bptrends.com, May 2005.
[127] K. van Hee, O. Oanea, N. Sidorova, and M. Voorhoeve. Verifying generalized soundness for workflow nets. In Proc. of the 6th International Conference on Perspectives of System Informatics, PSI’2006, Novosibirsk, pages 231–244, June 2006.
[128] M. Verlaan. Sub-optimal schemes toolkit for matlab. Technical report, June 2003. http://ta.twi.tudelft.nl/WAGM/users/verlaan/RRSQRT.html.
154
BIBLIOGRAPHY
[129] J. Wang, Y. Deng, and M. Zhou. Compositional time petri nets and reduc-tion rules. IEEE Transacreduc-tions on Systems, Man, and Cybernetics, Part B, 30(4):562–572, 2000.
[130] F. Xu, M. H. Eres, D. J. Baker, and S. J. Cox. Tools and support for deploying applications on the grid. In IEEE SCC, pages 281–287, 2004. [131] P. Yang, C. R. Ramakrishnan, and S. A. Smolka. A logical encoding of the
π-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf., 6(1):38–66, 2004.
[132] P. Young, Pedregal, D.J., and W. Tych. Dynamic harmonic regression. Jour-nal of Forecasting, 18:369–394, 1999.
[133] P. Young, C. Taylor, W. Tych, D. Pedregal, and P. McKenna. The Cap-tain Toolbox. Centre for Research on Environmental Systems an Statistics, Lancaster University, UK, 2004. www.es.lancs.ac.uk/cres/captain.
[134] J. Yu and R. Buyya. A taxonomy of scientific workflow systems for grid computing. Special Issue on Scientific Workflows, SIGMOD Record, ACM Press, 34(3):to appear, September, 2005.
[135] Z. Zhao, S. Booms, A. Belloum, C. de Laat, and B. Hertzberger. Vle-wfbus: a scientific workflow bus for multi e-science domains. In E-science 2006, 2nd IEEE International Conference on e-Science and Grid Computing, Amster-dam Netherlands, 2006.
