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

We can consider the overall problem solution as a migration through state machine states. Then each object state machine state should map unambiguously to one state in the overall solution machine at a time.2

From

Cover of Model-Based Development: Applications

Note

solution progress checkpoints!