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

Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun. Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. In 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China. pages 752-753, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.