A Formal Model forWeb Service Choreography Description Language (WS-CDL) | IEEE Conference Publication | IEEE Xplore