The Z Language
• organized into schemas
• defines variables
• establishes relationships between variables
• the analog for a “module” in conventional
languages
• notation described in Table 25.1, SEPA,
5/e