Semantics and provenance for processing element composition in dispel workflows

Proceedings of WORKS 2013: 8th Workshop on Workflows in Support of Large-Scale Science - Held in conjunction with SC 2013: The International Conference for High Performance Computing, Networking, Storage and Analysis

Volumn , Issue , 2013, Pages 38-47

  Griffis, Eric ^a   Martin, Paul ^b   Cheney, James ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SYSTEMS ANALYSIS;

ALTERNATIVE SEMANTICS; COMPUTATIONAL INFRASTRUCTURE; FORMAL SEMANTICS; MANAGEMENT TECHNIQUES; PROCESSING ELEMENTS; SCRIPTING LANGUAGES; WORK IN PROGRESS; WORKFLOW GRAPH;

SEMANTICS;

EID: 84997830928     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2534248.2534252     Document Type: Conference Paper

References (21)

1. Ilkay Altintas, Oscar Barney, and Efrat Jaeger-Frank. Provenance collection support in the kepler scientific workow system. In Luc Moreau and Ian T. Foster, editors, IPAW, volume 4145 of Lecture Notes in Computer Science, pages 118-132. Springer, 2006.
2. Malcolm Atkinson, Rob Baxter, Michelle Galea, Peter Brezany, Mike Parsons, -Oscar Corcho, Jano van Hemert, and David Snelling. THE DATA BONANZA: Improving Knowledge Discovery for Science, Engineering and Business. John Wiley & Sons Ltd., 2013 (to be published in April 2013).
3. Malcolm Atkinson, Chee Sun Liew, Michelle Galea, Paul Martin, Amrey Krause, Adrian Mouat, Oscar Corcho, and David Snelling. Data-intensive architecture for scientific knowledge discovery. Distributed and Parallel Databases, 30(5-6): 307-324, 2012.
4. Peter Buneman, James Cheney, and Egor Kostylev. Hierarchical models of provenance. In TaPP, 2012.
5. James Cheney. Causality and the semantics of provenance. In Proceedings of the 2010 Workshop on Developments in Computational Models, 2010.
6. E. Deelman, G. Singh, M.H. Su, J. Blythe, Y. Gil, C. Kesselman, G. Mehta, K. Vahi, G.B. Berriman, J. Good, et al. Pegasus: A framework for mapping complex scientific workows onto distributed systems. Scientific Programming, 13(3): 219-237, 2005.
7. Ewa Deelman, Dennis Gannon, Matthew Shields, and Ian Taylor. Workows and e-Science: An overview of workow system features and capabilities. Future Generation Computer Systems, 25(5): 528-540, 2009.
8. B. Dobrzelecki, A. Krause, A.C. Hume, A. Grant, M. Antonioletti, T.Y. Alemu, M. Atkinson, M. Jackson, and E. Theocharopoulos. Integrating distributed data sources with OGSA-DAI DQP and views. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 368(1926): 4133-4145, 2010.
9. Liangxiu Han, Chee Sun Liew, Jano Van Hemert, and Malcolm Atkinson. A generic parallel processing model for facilitating data mining and integration. Parallel Computing, 37(3): 157-171, 2011.
10. Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly. Dryad: Distributed data-parallel programs from sequential building blocks. ACM SIGOPS Operating Systems Review, 41(3): 59-72, 2007.
11. B. Ludäscher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E.A. Lee, J. Tao, and Y. Zhao. Scientific workow management and the Kepler system. Concurrency and Computation: Practice and Experience, 18(10): 1039-1065, 2006.
12. Paolo Missier and Carole A. Goble. Workows to open provenance graphs, round-trip. Future Generation Comp. Syst., 27(6): 812-819, 2011.
13. Tom Oinn, Matthew Addis, Justin Ferris, Darren Marvin, Martin Senger, Mark Greenwood, Tim Carver, Kevin Glover, Matthew R Pocock, Anil Wipat, et al. Taverna: A tool for the composition and enactment of bioinformatics workows. Bioinformatics, 20(17): 3045-3054, 2004.
14. Christopher Olston, Benjamin Reed, Utkarsh Srivastava, Ravi Kumar, and Andrew Tomkins. Pig latin: A not-so-foreign language for data processing. In Proceedings of the 2008 ACM SIGMOD international conference on Management of data, pages 1099-1110. ACM, 2008.
15. Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002.
16. Alessandro Spinuso, James Cheney, and Malcolm P. Atkinson. Provenance for seismological processing pipelines in a distributed streaming workow. In Giovanna Guerrini, editor, EDBT/ICDT Workshops, pages 307-312. ACM, 2013.
17. Jacek Sroka, Jan Hidders, Paolo Missier, and Carole A. Goble. A formal semantics for the Taverna 2 workow model. J. Comput. Syst. Sci., 76(6): 490-508, 2010.
18. I. Taylor, M. Shields, I. Wang, and A. Harrison. The Triana workow environment: Architecture and applications. Workows for e-Science, pages 320-339, 2007.
19. Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, and Tom Oinn. Taverna workows: Syntax and semantics. In eScience, pages 441-448. IEEE Computer Society, 2007.
20. Tom White. Hadoop: The definitive guide. O'Reilly, 2012.
21. Michael Wilde, Mihael Hategan, Justin M Wozniak, Ben Clifford, Daniel S Katz, and Ian Foster. Swift: A language for distributed parallel scripting. Parallel Computing, 37(9): 633-652, 2011.