Data-enriched Modeling and Verification of WS-CDL Based on UML Models