1. A computer-readable medium containing instructions to configure a processor to perform a method, the method comprising: instantiating one or more business objects associated with an application; checking transitions between states of the application using one or more models defined based on at least one of a context of the business object and a context of the application; providing to a user interface an indication regarding the result of the checking.