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