Pre- and Postcondition Snapshots
To illustrate how actions affect the states of objects, Catalysis combines pre- and postcondition snapshots.

State Charts
Catalysis uses state charts to show how a Type progresses through distinct situations (states) during its lifetime.
