e-Science logo
About NeSC
e-Science Institute
e-Science Hub
e-Science Events
Presentations & Lectures
Technical Papers
Global Grid Links
UK e-Science Centres
UK e-Science Teams
Career Opportunities
Bibliographic Database


The Application of Deductive Synthesis Techniques to the Rapid Assembly of Grid Applications

Application Synthesis

The aim of the project is to evaluate the applicability of deductive synthesis to the problems of rapid customised assembly and automated recovery failure of Grid applications. A formal language will be developed in which both the implementation and the specification of Grid applications can be represented. A proof-plan based deductive synthesis system will be developed for this language and tested on the semi-automatic (re-) assembly various Grid applications from their specifications. If time allows, the application of analogical theorem proving to the reassembly of Grid applicatio will also be tested.

Maturity: Initial Research
Region: UK
Type: Open Call
Grant Value: £111,354.00
Start Date: 01/01/2003
End Date: 31/12/2005
Project Status: completed
Funding Agency: EPSRC Core

Project Members
Dr Alan Bundy

Collaborating Organisations
Imperial College London
School of Physics (University of Edinburgh)
University of Manchester

Component(s) Project Develops
Domain/ Task Ontologies and Metadata

Application Area(s) associated with Project


Last Updated: 22 Jun 12 11:02
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.