Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I

• Autorzy: Sroka J. , Hidders J.
• Języki publikacji: EN

Abstrakty

EN

Workflow development and enactment workbenches are becoming a standard tool for conducting in silico experiments. Their main advantages are easy to operate user interfaces, specialized and expressive graphical workflow specification languages and integration with a huge number of bioinformatic services. A popular example of such a workbench is Taverna, which has many additional useful features like service discovery, storing intermediate results and tracking data provenance. We discuss a detailed formal semantics for Scufl - the workflow definition language of the Taverna workbench. It has several interesting features that are notmet in other models including dynamic and transparent type coercion and implicit iteration, control edges, failure mechanisms, and incominglinks strategies. We study these features and investigate their usefulness separately as well as in combination, and discuss alternatives. The formal definition of such a detailed semantics not only allows to exactly understand what is being done in a given experiment, but is also the first step toward automatic correctness verification and allows the creation of auxiliary tools that would detect potential errors and suggest possible solutions to workflow creators, the same way as Integrated Development Environments aid modern programmers. A formal semantics is also essential for work on enactment optimization and in designing the means to effectively query workflow repositories. This paper is the first of two. It defines, explains and discusses fundamental notions for describing Scufl graphs and their semantics. Then, in the second part, we use these notions to define the semantics and show that our definition can be used to prove properties of Scufl graphs.

Słowa kluczowe

EN

formal semantics; Scufl; workflows; Taverna workbench

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 92, nr 3
• Strony: 279--299
• Opis fizyczny: Bibliogr. 14 poz., wykr.

Twórcy

autor

Sroka J.

autor

Hidders J.

• Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland,

Bibliografia

• [1] Balsters, H., Fokkinga, M. M.: Subtyping can have a simple semantics, Theor. Comput. Sci., 87(1), 1991, 81-96, ISSN 0304-3975.
• [2] Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying Business Processes., VLDB (U. Dayal, K.-Y. Whang, D. B. Lomet, G. Alonso, G. M. Lohman, M. L. Kersten, S. K. Cha, Y.-K. Kim, Eds.), ACM, 2006, ISBN 1-59593-385-9.
• [3] Benson, D. A., Karsch-Mizrachi, I., Lipman, D. J., Ostell, J., Wheeler, D. L.: GenBank, Nucleic Acids Res, 36(Database issue), January 2008, ISSN 1362-4962.
• [4] Christophides, V., Hull, R., Kumar, A.: Querying and Splicing of XMLWorkflows, CooplS '01: Proceedings of the 9th International Conference on Cooperative Information Systems, Springer-Verlag, London, UK, 2001, ISBN 3-540-42524-1.
• [5] Glatard, T., Montagnat, J.: Implementation of Turing Machines with the Scufl Data-Flow Language, CCGRID, IEEE Computer Society, 2008.
• [6] Goble, C. A., De Roure, D. C.: myExperiment: social networking for workflow-using e-scientists, WORKS '07: Proceedings of the 2nd workshop on Workflows in support of large-scale science, ACM Press, New York, NY, USA, 2007, ISBN 978-1-59593-715-5.
• [7] Kandaswamy, G., Fang, L., Huang, Y., Shirasuna, S., Marru, S., Gannon, D.: Building web services for scientific grid applications, IBM Journal of Research and Development, 50(2/3), 2006, 249-260, ISSN 0018-8646.
• [8] Li, P., Hayward, K., Jennings, C., Owen, K., Oinn, T., Stevens, R., Pearce, S., Wipat, A.: Proceedings of the UK e-Science All Hands Meeting 2004, Nottingham, UK, September 2004.
• [9] Oinn, T., Addis, M., Ferris, J., Marvin, D., Greenwood,M., Carver, T., Wipat, A., Li, P.: Taverna: A tool for the composition and enactment of bioinformatics workflows, Bioinformatics, 2004.
• [10] Oinn, T., Greenwood,M., Addis,M., Alpdemir,M. N., Ferris, J., Glover, K., Goble, C., Goderis, A., Hull, D., Marvin, D., Li, P., Lord, P., Pocock,M. R., Senger,M., Stevens, R., Wipat, A.,Wroe, C.: Taverna: lessons in creating a workflow environment for the life sciences: Research Articles, Concurr. Comput. : Pract. Exper., 18(10), 2006, 1067-1100, ISSN 1532-0626.
• [11] Rice, P., Longden, I., Bleasby, A.: EMBOSS: The EuropeanMolecular Biology Open Software Suite (2000), Trends in Genetics, 16(6), 2000, 276-277.
• [12] Rice, P.M., Bleasby, A. J., Haider, S. A., Ison, J. C., McGlinchey, S., Uludag,M.: EMBRACE: Bioinformatics Data and Analysis Tool Services for e-Science, e-science, 0, 2006, 146.
• [13] Stevens, R., Tipney, H., Wroe, C., Oinn, T., Senger, M., Goble, C., Lord, P., Brass, A., Tassabehji, M.: Exploring Williams-Beuren Syndrome using myGrid, Proceedings of 12th International Conference on Intelligent Systems in Molecular Biology, 2004.
• [14] Turi, D.,Missier, P., Goble, C., De Roure, D., Oinn, T.: TavernaWorkflows: Syntax and Semantics, e-Science and Grid Computing, IEEE International Conference on, 2007.