K. Procedures

7 pages in this book.

Page	What it is for
Take an application through stages	I want to distinguish a filed application from completed consideration.
Check event type and transition conditions	I want to move an application only by a suitable event when the conditions hold.
Return the case and create a new duty	I want, after a return to consideration, to open a new instance of a duty.
Complete independent stages together	I want one event to complete independent reviews and then join their results.
Explain an unreached state	I want to know which transition attempt did not bring the case into the needed state.
Refuse when the order is undefined	I want an explicit refusal when time does not order events of one case.
Distinguish a wrong carrier from other refusals	I want to explain why an attempt did not change the state, without mixing reasons.