Dynamic Projection from Choreography to Orchestration Based on Role Correlation | IEEE Conference Publication | IEEE Xplore