Design Movie ticket booking (object model): coming to Tailspin

Movie ticket booking (object model) is coming to Tailspin. The booking's states and the moves between them.

What it will show: Booking state changes checked under concurrency.