1. A computer-based method for changing a description for a predefined state transition function of a state machine engine, the method comprising the steps of: a) checking a predefined state transition function against a set of new constraints in order to detect conflicts; b) determining a set of modifications to a description of the predefined state transition function for each detected conflict, wherein a resulting state transition function is no longer in conflict with the constraint associated with the conflict; and c) creating with a computer a description for a modified state transition function for the state machine engine from the description of the predefined state transition function and the set of modifications.