随着因特网的不断发展,Web服务已成为了人们日益关注的焦点。然而,功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如何将众多相关的Web服务有机集成,形成功能强大的企业级服务,以完成商业目标。目前,关于Web服务组合方法有一种全新的观点叫做编排,用于从更高的层次描述一些参与方的点对点协作。关于编排的规范是WS-CDL,它以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型,也没有定义执行过程。当今很多对WS-CDL进行形式化的建模研究都不完善,或是建模之后没有讨论执行过程以及一致性问题。因此完善对WS-CDL的模型化相关工作具有十分重要的意义。本文总结并扩展了已有的建模方法,提出了一种带条件的轨迹的概念,并在此基础之上为WS-CDL规范建立了一种语法和语义规则(又称作全局模型)。为了讨论编排的执行过程,本文在每一个角色上为WS-CDL规范建立了语法和语义规则(又称作局部模型),并给出了从全局模型到局部模型的映射过程,然后严格定义了编排的执行过程,并给出了一种在各角色之间执行编排的算法,接着讨论了在该模型下编排执行的一致性问题。最后,列出了实现这些算法的数据结构和程序代码,论证了算法的有效性。