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