DocumentCode
446486
Title
Deductive synthesis of workflows for e-Science
Author
Yang, Bin ; Bundy, Alan ; Smaill, Alan ; Dixon, Lucas
Author_Institution
Sch. of Informatics, Edinburgh Univ., UK
Volume
1
fYear
2005
fDate
9-12 May 2005
Firstpage
168
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.
Keywords
deductive databases; formal specification; inference mechanisms; natural sciences computing; theorem proving; Isabelle theorem prover; automated reasoning; deductive synthesis; e-Science workflows; formal specifications; machine-assisted composition; Automation; Context-aware services; Distributed computing; Formal specifications; Graphical user interfaces; Grid computing; Informatics; Poles and towers; Problem-solving; Scientific computing;
fLanguage
English
Publisher
ieee
Conference_Titel
Cluster Computing and the Grid, 2005. CCGrid 2005. IEEE International Symposium on
Print_ISBN
0-7803-9074-1
Type
conf
DOI
10.1109/CCGRID.2005.1558550
Filename
1558550
Link To Document