Static Check of WS-CDL Documents | IEEE Conference Publication | IEEE Xplore