%0 Journal Article
%T Research on Formal Model and Implementation for WS-CDL<br>WS—CDL的形式化模型和执行过程研究
%A LIANG Zhi-yuan ZHANG Wei-qun HUANG Juan
%A <br>梁智远
%A 张为群
%A 黄娟
%J 计算机科学
%D 2009
%I 
%X 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.
%K Web服务编排描述语言
%K Web服务组合
%K 一致性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D0C18395C233E5443FF5151BDF2EA560&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=94C357A881DFC066&sid=70AC2EF7F2065E09&eid=D59111839E7C8BDF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=9