Patent Document ID: 8689060
Application ID: 13296858

Base Claim:
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.

---

Claim 4:
4. The computer implemented method of claim 1 , wherein the bit string is a fingerprint of a process model fragment, uniquely representing a state of the process model fragment.