e-Science logo
 
 
About NeSC
e-Science Institute
e-Science Hub
TOE
Contacts
e-Science Events
Resources
Newsroom
Presentations & Lectures
Technical Papers
Global Grid Links
Projects
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
PI
Dr Alan Bundy


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


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


Application Area(s) associated with Project
Middleware

 

Last Updated: 22 Jun 12 10:56
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.