A method for providing corrections for semantic errors in a process model can be implemented on a computer. The method can include identifying a change in the process model, the process model including one or more process model elements. The method can also include identifying one or more constraint violations for at least one of the one or more process model elements, and identifying one or more correction proposals for each constraint violation identified.