Data-Enriched Modeling and Verification of WS-CDL Based on UML Models | IEEE Conference Publication | IEEE Xplore