A formal model of provenance in distributed systems

1st Workshop on the Theory and Practice of Provenance, TaPP 2009

Volumn , Issue , 2009, Pages

  Souilah, Issam ^a   Francalanza, Adrian ^a   Sassone, Vladimiro ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITY OF MALTA   (Malta)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; PHOSPHORUS COMPOUNDS; SEMANTICS; TANTALUM COMPOUNDS;

DATA PRODUCTS; DATA PROVENANCE; DISTRIBUTED SYSTEMS; FORMAL MODEL; PATTERN-RESTRICTED; PI CALCULUS; RELATED WORKS; SEMANTIC PROPERTIES;

CALCULATIONS;

EID: 85094825331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Abadi, M., and Fournet, C. Mobile values, new names, and secure communication. ACM SIGPLAN Notices 36, 3 (Mar. 2001), 104-115.
2. Bose, R., and Frew, J. Lineage retrieval for scientific data processing: a survey. ACM Computing Surveys 37, 1 (Mar. 2005), 1-28.
3. Boudol, G. Asynchrony and the π-calculus. Tech. Rep. 1702, INRIA, Sophia-Antipolis, 1992.
4. Buneman, P., Cheney, J., and Vansummeren, S. On the expressiveness of implicit provenance in query and update languages. In ICDT (2007), vol. 4353 of LNCS, Springer, pp. 209-223.
5. Buneman, P., Khanna, S., and Tan, W. C. Why and where: A characterization of data provenance. In ICDT (2001), vol. 1973 of LNCS, Springer, pp. 316-330.
6. Castagna, G., Nicola, R. D., and Varacca, D. Semantic subtyping for the pi-calculus. Theoretical Computer Science 398, 1-3 (2008), 217-242.
7. Cheney, J., Ahmed, A., and Acar, U. A. Provenance as dependency analysis. In Database Programming Languages (2007), vol. 4797 of LNCS, Springer, pp. 138-152.
8. Cui, Y., and Widom, J. Practical lineage tracing in data warehouses. In ICDE (Mar. 2000), IEEE Computer Society, pp. 367-378.
9. Foster, I. T., Vöckler, J.-S., Wilde, M., and Zhao, Y. Chimera: A virtual data system for representing, querying, and automating data derivation. In Statistical and Scientific Database Management (2002), IEEE Computer Society, pp. 37-46.
10. Frew, J., and Bose, R. Earth system science workbench: A data management infrastructure for earth science products. In Statistical and Scientific Database Management (2001), IEEE Computer Society, pp. 180-189.
11. Green, T. J., Karvounarakis, G., and Tannen, V. Provenance semirings. In PODS (2007), ACM, pp. 31-40.
12. Greenwood, M., Goble, C., Stevens, R., Zhao, J., Addis, M., Marvin, D., Moreau, L., and Oinn, T. Provenance of e-science experiments - experience from bioinformatics. Proceedings of the UK OST e-Science Second All Hands Meeting, Jan. 2003.
13. Groth, P., Munroe, S., Miles, S., and Moreau, L. In Lucio Grandinetti (ed.), HPC and Grids in Action. IOS Press, Jan. 2008, ch. Applying the Provenance Data Model to a Bioinformatics Case.
14. Hennessy, M., and Riely, J. Resource access control in systems of mobile agents. Information and Computation 173, 1 (Feb 2002), 82-120.
15. Honda, K., and Tokoro, M. An object calculus for asynchronous communication. In ECOOP (1991), Springer-Verlag, pp. 133-147.
16. Hosoya, H., and Pierce, B. C. Regular expression pattern matching. In POPL (2001). Full version in Journal of Functional Programming, 13(6), Nov. 2003, pp. 961-1004.
17. Lhoussaine, C., and Sassone, V. A dependently typed ambient calculus. In ESOP (2004), vol. 2986 of LNCS, Springer, pp. 171-187.
18. Milner, R. Communicating and Mobile Systems: The π-calculus. Cambridge University Press, 1999.
19. Moreau, L., Groth, P., Miles, S., Vazquez, J., Ibbotson, J., Jiang, S., Munroe, S., Rana, O., Schreiber, A., Tan, V., and Varga, L. The Provenance of Electronic Data. Communications of the ACM (Apr. 2008).
20. Muniswamy-Reddy, K.-K., Holland, D. A., Braun, U., and Seltzer, M. I. Provenance-aware storage systems. In USENIX Annual Technical Conference, General Track (2006), USENIX, pp. 43-56.
21. Pancerella, C., Myers, J., and Rahn, L. Data provenance in the collaboratory for multiscale chemical science (CMCS). Workshop on Data Derivation and Provenance (Jan 2002).
22. Simmhan, Y. L., Plale, B., and Gannon, D. A survey of data provenance in e-science. SIGMOD Record 34, 3 (2005), 31-36.
23. Stevens, R. D., Robinson, A. J., and Goble, C. A. myGrid: personalised bioinformatics on the information grid. In ISMB (Supplement of Bioinformatics) (2003), pp. 302-304.
24. Wang, Y. R., and Madnick, S. E. A polygen model for heterogeneous database systems: The source tagging perspective. In VLDB (1990), Morgan Kaufmann Publishers Inc., pp. 519-538.
25. Woodruff, A., and Stonebraker, M. Supporting fine-grained data lineage in a database visualization environment. In Proceedings of the Thirteenth International Conference on Data Engineering (1997), IEEE Computer Society, pp. 91-102.