| EPSRC Reference: |
GR/R03075/01 |
| Title: |
A Uniform Framework For Representing Transaction Processing Using Augmented Process Calculus |
| Principal Investigator: |
Honda, Dr KH |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Queen Mary University of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 August 2000 |
Ends: |
31 July 2003 |
Value (£): |
148,169
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This work will develop a syntactic calculus for representing a few prominent notions of distributed computing as an augmented process algebra based on pi-calculus by Milner-Parrow-Walker, particularly focusing on the representation of system-level operations found in transaction processing. The study of process algebras has achieved a rigorous syntactic framework to specify and reason about interactive behaviours of concurrent processes, using such notions as bisimilarities, failure/testing equivalences, and Hennessy-Milner logics. However, when we try to represent distributed systems such as those involving transaction using process algebras, the representation becomes clumsy and difficult, often resulting in loss of the compositional semantics. One of the basic reasons for the difficulty is the involvement of system-level operations such as persistence, locking and scheduling. This project will identify representative system-level operations whose clean treatment is not found in existing process algebras, incorporate them into a process syntax, develop their semantic basis as behavioural equivalences, and apply them to the rigorous representation of, and correctness proofs of, algorithms and protocols for distributed systems involving transactions. This will lead to, for the first time, a mathematical framework in which we can describe with rigour the whole interactive behaviours of systems involving transaction, such as atomic commitment protocols.
|
|
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: |
|