Towards choreography model transformation via graph transformation | IEEE Conference Publication | IEEE Xplore