Towards a Formal Foundation for Aggregating Scientific Workflows

  • Frank Terpstra
  • Zhiming Zhao
  • Wico Mulder
  • Pieter Adriaans
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4489)


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.


I/O Automata formalism workflow design 


  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automata. CWI Quarterly 2(3), 219–246 (1989)zbMATHMathSciNetGoogle Scholar
  9. 9.
    Lynch, N.A., Stark, E.W.: A proof of the kahn principle for input/output automata. Information and Computation 82(1), 81–92 (1989)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Frank Terpstra
    • 1
  • Zhiming Zhao
    • 1
  • Wico Mulder
    • 1
  • Pieter Adriaans
    • 1
  1. 1.Informatics Institute, University of Amsterdam, Kruislaan 419, 1098VA, AmsterdamThe Netherlands

Personalised recommendations