|
Specifying System Implementations in Z
Jonathan Bowen,
Roger Gimson and Stig Topp-Jørgensen.
February 1988, 88 pages.
In an introductory chapter, an outline is presented of some techniques for
specifying the building of systems from subsystems using the formal notation
Z. These techniques have been applied to the specification of
implementations for services in a distributed system.
The major part of the monograph consists of an extended example showing how
the implementation of a simple file server can be specified using some of
the outlined techniques. The example file service is implemented in terms
of a lower-level storage service. The specification includes the handling
of errors that may arise because of this dependency.
This monograph is now out of print
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl