Skip to main content

THE SPECIFICATION OF NETWORK SERVICES

Jonathan Bowen‚ Roger Gimson and Stig Topp−Jorgensen

Abstract

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.

Institution
OUCL
Month
August
Number
PRG61
Pages
102
Year
1987