Loading...
Abstract
We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We then provide an interpretation for (a rational reconstruction of) the specification language Z within Zc. As a result we obtain a sound logic for Z, including the schema calculus. A consequence of our formalisation is a critique of a number of concepts used in Z. We demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
Henson, M. C. & Reeves, S. (1998). Revising Z: semantics and logic. (Working paper 98/4). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Date
1998-03
Publisher
University of Waikato, Department of Computer Science