1. A computer implemented method for providing corrections for semantic errors in a process model, the method comprising: identifying a change in the process model, the process model including one or more process model elements; identifying one or more constraint violations associated with at least one process model element in response to identifying the change in the process model; identifying one or more correction proposals for each constraint violation identified; creating a first bit string representative of the at least one process model element; receiving a user selection of a correction proposal from the one or more identified correction proposals; creating a second bit string of a current version of the at least one process model element; applying the selected correction proposal in response to determining that the first bit string is the same as the second bit string; and discarding the selected correction proposal in response to determining that the second bit string differs from the first bit string.