loading...
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
March 25-March 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WAINA.2008.4822nd International Conference on Adva ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu, "Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis," Advanced Information Networking and Applications Workshops, International Conference on, pp. 187-194, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008), 2008.
 
 
BibTex
x
 
@article{ 10.1109/WAINA.2008.48,
author = {Ke Xu and Junwei Cao and Lianchen Liu and Cheng Wu},
title = {Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis},
journal ={Advanced Information Networking and Applications Workshops, International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3096-3},
pages = {187-194},
doi = {http://doi.ieeecomputersociety.org/10.1109/WAINA.2008.48},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Advanced Information Networking and Applications Workshops, International Conference on
TI - Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
SN - 978-0-7695-3096-3
SP187
EP194
A1 - Ke Xu,
A1 - Junwei Cao,
A1 - Lianchen Liu,
A1 - Cheng Wu,
PY - 2008
KW - Grid Computing
KW - Workflow Management
KW - Formal Verification
KW - and Relaxed Region Analysis
VL - 0
JA - Advanced Information Networking and Applications Workshops, International Conference on
ER -
 
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworthiness is becoming a critical issue. Relaxed Region Analysis (RRA) is proposed in this work for performance optimization of grid workflow verification by decomposing workflows into separate standard regions with parallel branches. The approach is implemented in GridPiAnalyzer, a Pi Calculus based formal verifier for grid workflows, and validated using gravitational wave data analysis workflows. Detailed experimental results illustrate that RRA can dramatically reduce CPU and memory usage of verification processes.
Index Terms:
Grid Computing, Workflow Management, Formal Verification, and Relaxed Region Analysis
Citation:
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu, "Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis," ainaw, pp.187-194, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.