| EPSRC Reference: |
GR/S68071/01 |
| Title: |
Dynamic Net Data: Theory and Experiment |
| Principal Investigator: |
Gardner, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
08 March 2004 |
Ends: |
07 September 2007 |
Value (£): |
241,488
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Information & Knowledge Mgmt |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Net data, such as XML documents, plays a fundamental role in the exchange of information between globally distributed applications. The analysis techniques, languages and tools associated with such data will be drastically different from conventional ones. This proposal focuses on our distributed model of dynamic net data, consisting of net data with light-weight embedded pi-like processes for updating such data. We will develop a browser for dynamic XML documents, which combines standard languages and tools associated with XML with the ability to interprete and schedule processes. We will contrast our work with Abiteboul's Active XML, an independent related project focusing on web services and service calls rather than processes, which gives us an invaluable opportunity to interact with a highly regarded database research group. We will develop type theories and techniques for reasoning about process behaviour to ensure resource access control and integrity of our data, by extending such reasoning techniques for pi-processes. We will design and implement a distributed update language for dynamic net data, based on our experience with distributed languages based on pi-processes, and pattern-matching languages for analying and manipulating net data. The Grid project provides an invaluable source of example applications. which would inevitably reveal further challenaes to the fundamental theory.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.imperial.ac.uk |