| EPSRC Reference: |
GR/L82441/01 |
| Title: |
EFFECTIVE SYSTEMS OF DYNAMIC INTERACTION |
| Principal Investigator: |
Maibaum, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 1998 |
Ends: |
21 May 2000 |
Value (£): |
108,687
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Modern computer systems involve dynamic interaction between their various components. Nave logical modellings of dynamic interactions often leads to systems which are computationally more complex than the original problem. Our aim is to discover which aspects of such modellings cause intractability, and use this knowledge to design formal systems which faithfully reflect the complexity of the original problem, but are expressive enough to capture its essential features. We will undertake this research from both a logical and an algebraic perspective, and develop the general mathematical methods as necessary for this. The general framework of combining logics was especially created to design systems which can capture different dimensions and their interactions. We will find out when interaction blocks the transfer of tractability from the one-dimensional components to the combinations, and use this knowledge to design tractable interactive systems. From the algebra side, focusing on dynamic aspects of algebras of relations will allow us to develop algebras finely tuned for applications --- sufficiently expressive but not excessively complex. The formalisms we develop will be evaluated with respect to both their theoretical complexity and their suitability for practical applications in the verifications and specifications of programs and distributed and multi-agent systems.
|
|
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: |
|