Skip to content
Sahithyan's S2
1
Sahithyan's S2 — Program Construction

Statecharts

A mathematical model of computation. An abstract FSM can be in one of the finite number of states at a given point of time.

  • State: A status of the system.
  • Transition: A change from one state to another. Based on input events.

Described temporal evolution of an object of a given class in reponse to interactions with other objects.

One-way communication between 2 objects. Atomic (non-interruptible), asynchronous. May cause a transition.

Depicted as a rounded rectangle with upto 3 sections. Might be

  • name - optional
  • state variables
  • triggered operations
  • entry event: Occurs when entering the state
  • exit event: Occurs when exiting the state

An atomic action invoked by a transition.

An ongoing operation that takes place while object is in a given state.