Statecharts (Harel)

• A visual formalism for defining finite state machines

• A hierarchical mechanism allows for complex machines to be defined by smaller descriptions

  • Parallel states (AND decomposition)
  • Conventional OR decomposition

Previous slide

Next slide

Back to first slide

View graphic version