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

Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun

Browse the full ICWS paper archive.