| EPSRC Reference: |
GR/L43121/01 |
| Title: |
DUALITY THEORY AND THE FOUNDATIONS OF SYSTEM DEVELOPMENT |
| Principal Investigator: |
Sanders, Dr J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 April 1997 |
Ends: |
13 April 1998 |
Value (£): |
34,457
|
| 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 |
|
Duality Theory provides a canonical translation between spaces, which has been applied to the denotational, relational and predicate-transformer models of computation. Its construction is both general and natural.A formal method provides a paradigm for the mathematical specification and rigorous development of correct implementations. Most methods deal with standard functional behaviour of the system being developed, abstracting features like probabilistic or real-time behaviour or insecurity. A start has been made to incorporate probability in a formal method but some aspects of the resulting models appear ad hoc, as do ways of moving between the various models. There are also difficulties with the theory of data refinement in the probabilistic setting.It is proposed to combine these two disciplines to their mutual benefit. Duality Theory is to be stretched to apply to models of computation which span not just code but the spectrum of development stages, providing it with more realistic applications in Computing Science. The tailor-made constructions available so far in probabilistic formal methods, and probabilistic data refinement, are to be viewed in the more general light of Duality Theory and the translations it provides.
|
|
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.ox.ac.uk |