| EPSRC Reference: |
GR/J81655/01 |
| Title: |
INDUSTRIAL STRENGTH CASE STUDY USING SAZ |
| Principal Investigator: |
Mander, Professor K |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of York |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
04 July 1994 |
Ends: |
03 July 1995 |
Value (£): |
39,212
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The SAZ Method is an integrated systems development method combining SSADM and Z. The objectives of the project are:(i) to apply the SAZ Method to a large problem of the scale to which SSADM is commonly put;(ii) to compare the results of applying the SAZ Method to that problem with the results of tackling the problem using SSADM alone; and(iii) to suggest modifications to the SAZ Method in the light of this experience. Progress:A research assistant (Helen Parker) was appointed on 4.7.94. In collaboration with our industrial partner, we have applied the SAZ Method to a system developed by the industrial partner for the collation, storage, retrieval and supply of data about real world objects collected from a variety of sources. The system had previously been developed by the partner, which had spent about 4 man years effort on its development.The SAZ Method has been applied to the system state (increasing the number of observed invariant features by 50%) and the system processing (increasing the number of dynamic behaviour properties by 400%). We believe that these figures provide convincing evidence that SAZ has helped to improve the consistency and integrity of the data, has captured important properties of objects, has identified invariant properties of update operations, and has identified constraints that express the obligations of systems with which the specified system must interface. Several possible improvements to the SAZ Method have been identified; these are now being developed further. These include the presentation and evaluation of Z specification documents, the role of proof, and the nature of change (and change control) in an integrated specification.
|
|
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.york.ac.uk |