Deductive Synthesis of Workflows for E-Science

B. Yang; Alan Bundy; A. Smaill; L. Dixon

doi:10.1109/CCGRID.2005.1558550

Deductive Synthesis of Workflows for E-Science

B. Yang, Alan Bundy, A. Smaill, L. Dixon

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	IEEE International Symposium on Cluster Computing and the Grid, 2005
Pages	168 - 175 Vol. 1
DOIs	https://doi.org/10.1109/CCGRID.2005.1558550
Publication status	Published - May 2005

Access to Document

10.1109/CCGRID.2005.1558550

full textAccepted author manuscript, 220 KB

Application of deductive synthesis techniques to the rapid assembly of grid applications
Bundy, A.
EPSRC
1/01/03 → 28/02/06
Project: Research

Cite this

@inproceedings{f4b7b0eeaccb4ab3b630c222a7a57954,

title = "Deductive Synthesis of Workflows for E-Science",

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.",

author = "B. Yang and Alan Bundy and A. Smaill and L. Dixon",

year = "2005",

month = may,

doi = "10.1109/CCGRID.2005.1558550",

language = "English",

isbn = "0-7803-9074-1",

pages = "168 -- 175 Vol. 1 ",

booktitle = "IEEE International Symposium on Cluster Computing and the Grid, 2005",

}

TY - GEN

T1 - Deductive Synthesis of Workflows for E-Science

AU - Yang, B.

AU - Bundy, Alan

AU - Smaill, A.

AU - Dixon, L.

PY - 2005/5

Y1 - 2005/5

N2 - 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.

AB - 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.

U2 - 10.1109/CCGRID.2005.1558550

DO - 10.1109/CCGRID.2005.1558550

M3 - Conference contribution

SN - 0-7803-9074-1

SP - 168 - 175 Vol. 1

BT - IEEE International Symposium on Cluster Computing and the Grid, 2005

ER -

Deductive Synthesis of Workflows for E-Science

Abstract

Access to Document

Fingerprint

Projects

Application of deductive synthesis techniques to the rapid assembly of grid applications

Cite this