Abstract :
Work using the information conveyed in entity relationship diagrams to produce state schemas in the formal notation Z is given. The author proposes a draft technique for formalising an entity relationship diagram. The notations used are those of the structured analysis method, SSADM version 4, but the technique is more widely applicable. The benefits of integrating formal and structured specifications are discussed. The author draws on similar work by S. Stepney (1990) and L. Semmens P. Allen (1990), and D. Redmond-Pyle and M.B. Josephs (1990)
