Performance optimization of temporal reasoning for grid workflows using relaxed region analysis

Proceedings - International Conference on Advanced Information Networking and Applications, AINA

Volumn , Issue , 2008, Pages 187-194

  Xu, Ke ^a   Cao, Junwei ^a,b   Liu, Lianchen ^a,b   Wu, Cheng ^a,b  

^a TSINGHUA UNIVERSITY   (China)

^b TSINGHUA NATIONAL LABORATORY FOR INFORMATION SCIENCE AND TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; JAVA PROGRAMMING LANGUAGE; STANDARDS; STATISTICAL METHODS;

E SCIENCES; GRID TECHNOLOGIES; GRID WORKFLOW; GRID WORKFLOWS; INFORMATION NETWORKING; INTERNATIONAL CONFERENCES; MEMORY USAGE; PERFORMANCE OPTIMIZATIONS; PI-CALCULUS; REGION ANALYSIS; TEMPORAL PROPERTIES; TEMPORAL REASONING; VERIFICATION PROCESSES; WAVE DATA; WORK-FLOWS;

OPTIMIZATION;

EID: 50249187159     PISSN: 1550445X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WAINA.2008.48     Document Type: Conference Paper

References (15)

1. D. A. Brown, P. R. Brady, A. Dietz, J. Cao, B. Johnson and J. McNabb, "A Case Study on the Use of Workflow Technologies for Scientific Analysis: Gravitational Wave Data Analysis", in I. J. Taylor, D. Gannon, E. Deelman and M. S. Shields (Eds.), Workflows for e-Science: Scientific Workflows for Grids, Springer Verlag, pp. 39-59, 2007.
2. rd IEEE/ACM Int. Symp. on Cluster Computing and the Grid, Tokyo, Japan, pp. 198-205, 2003.
3. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani and A. Tacchella, "NuSMV2: an Open Source Tool for Symbolic Model Checking", Computer Aided Verification, LNCS Vol. 2404, Springer Verlag, pp. 359-364, 2002.
4. E. M. Clarke, O. Grumberg and D. A. Peled, Model Checking, MIT Press, 1999.
5. th IEEE Int. Symp. on High Performance Distributed Computing, Edinburgh, Scotland, pp. 225-234, 2002.
6. I. Foster and C. Kesselman, The GRID: Blueprint for a New Computing Infrastructure, Morgan-Kaufmann, 1998.
7. O. Grumberg and D. E. Long, "Model Checking and Modular Verification", ACM Trans. on Programming Languages and Systems, Vol. 16, No. 3, pp. 843-871, 1994.
8. R. Milner, Communicating and Mobile Systems: the Pi Calculus, Cambridge University Press, 1999.
9. Z. Nemeth and V. Sunderam, "Characterizing Grids: Attributes, Definitions, and Formalisms", J. Grid Computing, Vol. 1, No. 1, pp. 9-23, 2003.
10. G. Salaun, L. Bordeaux and M. Schaerf, "Describing and Reasoning on Web Services Using Process Algebra", in Proc. IEEE Int. Conf. on Web Services, San Diego, USA, pp. 43-50, 2004.
11. S. Wang and M. P. Armstrong, "A Quadtree Approach to Domain Decomposition for Spatial Interpolation in Grid Computing Environments", Parallel Computing, Vol. 29, No. 10, pp. 1481-1504, 2003.
12. [12].K. Xu, Y. Wang and C. Wu, "Ensuring Secure and Robust Grid Applications - From a Formal Method Point of View", Advances in Grid and Pervasive Computing, LNCS Vol. 3947, Springer Verlag, pp. 537-546, 2006.
13. th IEEE Int. Conf. on Grid and Cooperative Computing, Changsha, China, pp. 28-31, 2006.
14. K. Xu, Y. Wang, and C. Wu, "Formal Verification Technique for Grid Service Chain Model and its Application", Science in China Series F - Information Sciences, Vol. 50, No. 1, pp. 1-20, 2007.
15. J. Yu and R. Buyya, "A Taxonomy of Workflow Management Systems for Grid Computing", J. Grid Computing, Vol. 3, No. 3-4, pp. 171-200, 2005.