VIEWPOINT SPECIFICATION AND Z

Authors
AINSWORTH M CRUICKSHANK AH WALLIS PJL GROVES LJ
Citation
M. Ainsworth et al., VIEWPOINT SPECIFICATION AND Z, Information and software technology, 36(1), 1994, pp. 43-51
Citations number
19
Categorie Soggetti
Computer Sciences","Information Science & Library Science","Computer Science Information Systems","Computer Science Software Graphycs Programming
Journal title
Information and software technology → ACNP
ISSN journal
09505849
Volume
36
Issue
1
Year of publication
1994
Pages
43 - 51
Database
ISI
SICI code
0950-5849(1994)36:1<43:VSAZ>2.0.ZU;2-0
Abstract
In the paper we discuss the use of viewpoint specifications, a techniq ue which concentrates on making large specifications more understandab le. Rather than specifying the whole system at once, a system is descr ibed using several self-contained partial specifications, which may th en be amalgamated to give a description of the complete system. Amalga mationis is taken to be a composite process in which the data and oper ations of the constituent viewpoints are separately considered. The ap proach is illustrated in terms of Z specifications.