9. The system of claim 6 , wherein the bit string is a fingerprint of a process model fragment, uniquely representing a state of the process model fragment.
6. A system for providing corrections for semantic errors in a process model, the system comprising: a memory for storing instructions; and at least one hardware processor configured to execute instructions, the instructions 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.