|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/4691
|
| Title: | Deductive Synthesis of Workflows for E-Science |
| Authors: | Alan, Bundy
Yang, B.
Smaill, A.
Dixon, L. |
| Issue Date: | May-2005 |
| Journal Title: | IEEE International Symposium on Cluster Computing and the Grid, 2005 |
| Abstract: | 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. |
| URI: | http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1558550&tag=1
http://hdl.handle.net/1842/4691 |
| ISBN: | 0-7803-9074-1 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
