loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 1
Deductive synthesis of workflows for e-Science
Cardiff, Wales, UK
May 09-May 12
ISBN: 0-7803-9074-1
ASCII Text
x 
 
Bin Yang, A. Bundy, A. Smaill, L. Dixon, "Deductive synthesis of workflows for e-Science," Cluster Computing and the Grid, IEEE International Symposium on, vol. 1, pp. 168-175, Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 1, 2005.
 
 
BibTex
x
 
@article{ 10.1109/CCGRID.2005.1558550,
author = {Bin Yang and A. Bundy and A. Smaill and L. Dixon},
title = {Deductive synthesis of workflows for e-Science},
journal ={Cluster Computing and the Grid, IEEE International Symposium on},
volume = {1},
year = {2005},
isbn = {0-7803-9074-1},
pages = {168-175},
doi = {http://doi.ieeecomputersociety.org/10.1109/CCGRID.2005.1558550},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Cluster Computing and the Grid, IEEE International Symposium on
TI - Deductive synthesis of workflows for e-Science
SN - 0-7803-9074-1
SP168
EP175
A1 - Bin Yang,
A1 - A. Bundy,
A1 - A. Smaill,
A1 - L. Dixon,
PY - 2005
VL - 1
JA - Cluster Computing and the Grid, IEEE International Symposium on
ER -
 
Bin Yang, Sch. of Informatics, Edinburgh Univ., UK
A. Bundy, Sch. of Informatics, Edinburgh Univ., UK
A. Smaill, Sch. of Informatics, Edinburgh Univ., UK
L. Dixon, Sch. of Informatics, Edinburgh Univ., UK
In this paper we show that the automated reasoning technique of deductive synthesis can be applied to address the problem of machine-assisted composition of e-Science workflows according to users' specifications. We encode formal specifications of e-Science data, services and workflows, constructed from their descriptions, in the generic theorem prover Isabelle. Workflows meeting this specification are then synthesised as a side-effect of proving that these specifications can be met.
Citation:
Bin Yang, A. Bundy, A. Smaill, L. Dixon, "Deductive synthesis of workflows for e-Science," ccgrid, vol. 1, pp.168-175, Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 1, 2005
Usage of this product signifies your acceptance of the Terms of Use.