THE SPECIFICATION OF NETWORK SERVICES
Jonathan Bowen‚ Roger Gimson and Stig Topp−Jorgensen
The specification language Z has been applied by the Distributed Computing Software Project to the formal specification of network resource managers or 'services'. The use of a formal language gives a more precise understanding of the behaviour of a service and is a prerequisite for verification of programs which use or implement the service. Additionally, the use of Z combined with informal text is sufficiently readable for the specification to be used for documentation purposes.