O'Reilly logo
  • Hongdi Li thinks this is interesting:

  • An object’s state machine can consume only one event at a time.
  • The current state of an object’s state machine is not visible outside the object’s implementation
  • From

    Cover of Model-Based Development: Applications

    Note

    how to model this?
    1. syncrhonized
    2. transactional? how to gurarntee? or rollback?