Abstract
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowing multiple workflow systems to be coupled in a meta-workflow system with multiple execution models. In this paper we propose an approach for a formal model to perform the task of reasoning of about the execution models of such workflow systems. We propose that I/O Automata can be used as a formalism to prove the correctness of complicated workflows involving multiple workflow engines and execution models.
Chapter PDF
References
Zhao, Z., Booms, S., Belloum, A., de Laat, C., Hertzberger, B.: 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, Amsterdam, Netherlands (2006)
Ludascher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger-Frank, E., Jones, M., Lee, E., Tao, J., Zhao, Y.: Scientific workflow management and the kepler system. Concurrency and Computation: Practice and Experience (Special Issue on Scientific Workflows) 18(10), 1039–1065 (2006)
Majithia, S., Shields, M.S., Taylor, I.J., Wang, I.: Triana: A Graphical Web Service Composition and Execution Toolkit. In: Proceedings of the IEEE International Conference on Web Services (ICWS’04), pp. 514–524. IEEE Computer Society Press, Los Alamitos (2004)
Afsarmanesh, H., Belleman, R., Belloum, A., Benabdelkader, A., van den Brand, J., Eijkel, G., Frenkel, A., Garita, C., Groep, D., Heeren, R., Hendrikse, Z., Hertzberger, L., Kaandorp, J., Kaletas, E., Korkhov, V., de Laat, C., Sloot, P., Vasunin, D., Visser, A., Yakali, H.: Vlam-g: A grid-based virtual laboratory. Scientific Programming (Special issue on Grid Computing) 10, 173–181 (2002)
Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M.R., Wipat, A., Li, P.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics Journal, Online (June 16, 2004)
Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)
Terpstra, F.P., Adriaans, P.: Designing worklfow components for e-science. In: E-science 2006, 2nd IEEE International Conference on e-Science and Grid Computing, Amsterdam, Netherlands (2006)
Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automata. CWI Quarterly 2(3), 219–246 (1989)
Lynch, N.A., Stark, E.W.: A proof of the kahn principle for input/output automata. Information and Computation 82(1), 81–92 (1989)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Terpstra, F., Zhao, Z., Mulder, W., Adriaans, P. (2007). Towards a Formal Foundation for Aggregating Scientific Workflows. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72588-6_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-72588-6_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72587-9
Online ISBN: 978-3-540-72588-6
eBook Packages: Computer ScienceComputer Science (R0)