Pengcheng Zhang Bixin Li Henry Muccini Yu Zhou Mingjie Sun Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. 752-753 2008 ICWS http://dx.doi.org/10.1109/ICWS.2008.61 conf/icws/2008 db/conf/icws/icws2008.html#ZhangLMZS08