Notes on Z Notation and Therapy Machine

Introduction to Z

• Z is a notational system used in software engineering.

• It focuses on logic and simple mathematics, emphasizing model-based notation.

• Not a programming language but a notation for modeling systems with states and operations.

Key Features of Z

• Represents state through state variables and operations to change it.

• State variables: similar to instance variables.

• Operations: akin to methods; Z incorporates a form of inheritance.

• Functional programming style included.

Z Mathematical Toolkit

• The toolkit consists of core mathematical objects and operators.

• Objects include sets, tuples, relations, functions, and sequences.

• Used for modeling data structures and components in computing systems.