ws—cdl的形式化模型和执行过程研究

ws-cdl以全局的视角描述了基于交互的各个服务之间的组合方式，定义了公共和互补的可观察行为，以及具有一致见解的顺序规则。但是ws-cdl没有形式化的模型，也没有定义执行过程。提出了一种为ws-cdl建立全局模型的方法，定义了语法和语义，然后将全局模型映射到局部模型，并且定义了全局执行过程，最后讨论了一致性问题。