| EPSRC Reference: |
GR/K68547/01 |
| Title: |
THE VALUE-PASSING CONCURRENCY WORKBENCH |
| Principal Investigator: |
Stirling, Professor C |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1995 |
Ends: |
31 March 1999 |
Value (£): |
187,240
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Process algebra models of systems arising in industrial applications, education and research often make use of value passing communication and families of schematic processes. The theory of such processes is underdeveloped. We aim to develop that theory to meet the needs identified in these three areas of use.As we develop the theory we will incorporate it into the Edinburgh Concurrency Workbench (CWB). The CWB is an automated tool which caters for the manipulation and analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder and model checking using a variety of different process semantics. It is widely used on industrial case studies, in teaching concurrency and in research. The main limitation of the CWB is its inability to support schematic families of processes and value passing.We plan to develop the capabilities of the CWB in stages. Early in the project we will use currently understood theory. Later implementations will incorporate the fruits of our theoretical work. As we expand the capabilities of the workbench it will be possible for users to pose problems which are formally undecidable. This will require a change in the mode of interaction with the CWB so that users and the tool cooperate to solve problems. This will take place within the context of the evolutionary maintenance of the CWB; for example, we will continue to make it more user friendly and to improve efficiency by updating algorithms and by selective re-engineering.
|
|
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.ed.ac.uk |