Viewpoint Specification and Z


Authors: M. Ainsworth, A.H. Cruickshank, Lindsay Groves, P.J.L. Wallis
Source: GZipped PostScript (61kb); Adobe PDF (271kb)

We discuss the use of viewpoint specifications, a technique which concentrates on making large specifications more understandable. Rather than specifying the whole system at once, a system is described using several self-contained partial specifications, which may then be amalgamated to give a description of the complete system. Amalgamation is taken to be a composite process in which the data and operations of the constituent viewpoints are separately considered. The approach is illustrated in terms of Z specifications.

[Up to Computer Science Technical Report Archive: Home Page]