%0 Journal Article
%T Web服务编排描述语言WS—CDL的形式化模型框架
%A 辜希武
%A 卢正鼎
%J 计算机科学
%D 2007
%I 
%X Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言，WS-CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL，包括语法、同构关系和操作语义，同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则，最后通过案例分析给出了全局和局部2个层次的模型验证方法。
%K Web服务编排描述语言
%K Web服务
%K Web服务组合
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=DB759F14C13E00FB&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=9CF7A0430CBB2DFD&sid=94C357A881DFC066&eid=708DD6B15D2464E8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=15