Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis · Study