Service provenance based abstraction of grid application knowledge

2006 2nd International Conference on Semantics Knowledge and Grid, SKG

Volumn , Issue , 2006, Pages

  Xu, Ke ^a   Wang, Yuexuan ^a,b   Wu, Cheng ^a  

^a TSINGHUA UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ARCHITECTURAL DESIGN; INFORMATION THEORY; KNOWLEDGE BASED SYSTEMS; NEODYMIUM; SEMANTICS;

FORMAL DESCRIPTIONS; GRID APPLICATIONS; GRID INFRASTRUCTURES; INTERNATIONAL CONFERENCES;

DESIGN OF EXPERIMENTS; ABSTRACTING;

FORMAL DESCRIPTION; GRID APPLICATIONS; GRID INFRASTRUCTURES; GRID-BASED;

EID: 44949166942     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SKG.2006.94     Document Type: Conference Paper

References (9)

1. H. Jin, P. P. Yuan, et al. Grid Computing 2. Publishing House of Electronics Industry. 2004.
2. S. Miles, P. Groth, et al. "The requirements of recording and using provenance in e-Science experiments", Technical Report 10269, University of Southampton, 2005.
3. M. Greenwood, C. Goble, et al. "Design of a LineageBased Meta-Data Base for GIS", Cartography and Geographic Information Systems, 1991, 18(4): pp. 255-261.
4. I. Foster, J. Vockler, et al. "Chimera: a virtual data system for representing, querying, and automating data derivation", 14th Int. Conf. on SSDBM, 2002: pp. 37-46.
5. M. Greenwood, C. Goble, et al. "Provenance of e-Science Experiments - experience from Bioinformatics", Proc. the UK OST e-Science 2nd AHM, 2003, pp. 223-226.
6. P. Groth, L. Moreau, et al. "Formalizing a protocol for recording provenance in Grids", Proc. the UK OST e-Science 2nd AHM [C], 2004: 8.
7. C Pahl. "A formal composition and interaction model for a web component platform", Electronic Notes in Theoretical Computer Science. 2002, 66(4): pp. 1-15.
8. S. Davide, W. David. The Pi Calculus: a Theory of Mobile Processes, Cambridge University Press, 2001.
9. K. Xu, Y. X. Wang, C. Wu. "Ensuring Secure and Robust Grid Applications - From a Formal Method Point of View", Lecture Notes in Computer Science 3947, 2006: pp. 537-546.