Static Check of WS-CDL Documents. - Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Zheng Wang 005; Meng Sun; Geguang Pu (SOSE, 2008)

Static validation of WS-CDL documents. - Geguang Pu; Zheng Wang 005; Lei Zhou 007; Hanyi Zhang; Tao Wang; Chuchao Yang; Liyang Peng; Meng Sun (Simul. Model. Pract. Theory, 2009)