Basics: you already read this
Static schemas
- States a system can occupy
- Invariants that must be maintained in every system state
Dynamic schemas
- Operations that are permitted
- Relationship between inputs and outputs of those operations
- Changes of states