Research on Formal Model and Implementation for WS-CDL
WS—CDL的形式化模型和执行过程研究

WS-CDL describes the composition between interacting services from a global viewpoint,and specifies the common and complementary observable behavior,and the jointly agreed ordering rules.But WS-CDL lacks for formal model and implementation.This paper proposed a global model of WS-CDL,and defined its syntax and semantic.Then we map the global model to local one,and defined the global implementation.At last we discussed the conformance problem.