Towards a calculus for collection-oriented scientific workflows with side effects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5331 LNCS, Issue PART 1, 2008, Pages 374-391

  Hidders, Jan ^a   Sroka, Jacek ^b  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIRECTION OF ARRIVAL; FUNCTIONS; MANAGEMENT; RADIO DIRECTION FINDING SYSTEMS; SEMANTICS; SPECIFICATIONS;

COMPLEX DATUMS; CONTROL FLOWS; EXTERNAL-; OBSERVATIONAL EQUIVALENCES; SCIENTIFIC WORKFLOW SYSTEMS; SCIENTIFIC WORKFLOWS; SIDE EFFECTS; TRACE SEMANTICS; WORKFLOW SPECIFICATIONS; WORKFLOWS;

INFORMATION THEORY;

EID: 58049088509     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88871-0_25     Document Type: Conference Paper

References (12)

1. University of Virginia,: FASTA Sequence Comparison, http://wrpmg5c.bioch. virginia.edu./fasta-www2/fasta-list2.shtml
2. National Center for Biotechnology Information: NCBI Blast, http://www.ncbi.nlm.nih.gov/blast/Blast.cgi
3. Hull, D., Wolstencroft, K., Stevens, R., Goble, C., Pocock, M.R., Li, P., Oinn, T.: Taverna: a tool for building and running workflows of services. Nucl. Acids Res. 34, W729-732 (2006)
4. Ludascher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M., Lee, E.A., Tao, J., Zhao, Y.: Scientific workflow management and the kepler system: Research articles. Concurr. Comput.: Pract. Exper. 18, 1039-1065 (2006)
5. Benson, D.A., Karsch-Mizrachi, I., Lipman, D.J., Ostell, J., Wheeler, D.L.: Genbank. Nucleic Acids Res. 36 (2008)
6. Rice, P., Longden, I., Bleasby, A.: EMBOSS: the European Molecular Biology Open Software Suite. Trends in Genetics 16, 276-277 (2000)
7. Turi, D., Missier, P., Goble, C., De Roure, D., Oinn, T.: Taverna workflows: Syntax and semantics. In: IEEE International Conference on e-Science and Grid Computing, pp. 441-448 (2007)
8. Liu, X., Lee, E.A.: CPO semantics of timed interactive actor networks. Technical Report UCB/EECS-2007-131, EECS Department, University of California, Berkeley (2007)
9. Lee, E.A., Sangiovanni-Vincentelli, A.: Comparing models of computation. In: ICCAD 1996: Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, Washington, DC, USA, pp. 234-241. IEEE Computer Society, Los Alamitos (1996)
10. Singh, M.P., Meredith. G., Tomlinson, C., Attie, P.C.: An event algebra for specifying and scheduling workflows. In: Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA), pp. 53-60. World Scientific Press, Singapore (1995)
11. Heinlein, C.: Workflow and process synchronization with interaction expressions and graphs. In: Proceedings of the 17th International Conference on Data Engineering, Washington, DC, USA, pp. 243-252. IEEE Computer Society, Los Alamitos (2001)
12. Baeten, J.C.M.: A brief history of process algebra. Theor. Comput. Sci. 335, 131-146 (2005)