Maintaining the consistency of large-scale business processes under various business changes has become a significant issue in corporate information management. One important aspect of business process management is maintaining the correctness and consistency of process constraints. In this...