Abstract: To transform from service choreography to service orchestration is very useful for SOA practitioners, especially the transformation from the standard WSCDL to the widely adopted orchestration standard BPEL. However, the existing transformation rules are not accurate in some aspects, and lack verification of enforceability during the transformation from global model to local model. Therefore, this paper proposes a set of transformation rules from WSCDL choreography to BPEL orchestration with verification of enforceability, which is proved more accurate than the existing rules.