The basic idea

• 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

Previous slide

Next slide

Back to first slide

View graphic version