A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration | IEEE Conference Publication | IEEE Xplore