%0 Journal Article
%T ws—cdl的形式化模型和执行过程研究
%A 梁智远 张为群 黄娟？
%J 计算机科学
%D 2009
%X ws-cdl以全局的视角描述了基于交互的各个服务之间的组合方式，定义了公共和互补的可观察行为，以及具有一致见解的顺序规则。但是ws-cdl没有形式化的模型，也没有定义执行过程。提出了一种为ws-cdl建立全局模型的方法，定义了语法和语义，然后将全局模型映射到局部模型，并且定义了全局执行过程，最后讨论了一致性问题。
%K web服务编排描述语言web服务组合一致性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=30336440&flag=1