Exploiting MDE for Platform-Independent Testing of Service Orchestrations