The choreography of business processes deployed across different organizations on large-scale enterprise networks is prone to producing semantically conflicting behavior. For example, increasing production is inconsistent with a sales promotion given the business goal of clearing out the inventory. This kind of conflicting behavior among collaborating partners is usually caused by a nonrealizable global specification that is unable to control the partnersâ€™ interaction in a complete and consistent way. To address this issue, we propose a framework to discover and fix a problematic global specification by introducing extra coordination mechanisms. We prove that the resulting global specification can be realized by a set of local specifications that guarantee consistent behavior among partners. Experimental results show that our approach is promising in preventing semantic conflicts in the choreography of business processes with a reasonable overhead.