服务编排与编制是服务组合不同层次的两个标准,WS-CDL和BPEL是编排和编制的语言,服务编排在产生编制的过程中必须遵守交互协议,服务编排协议的映射一直是服务组合研究的热点。服务编制可以分为集中式与分散式,在分散式编制映射的过程中,由于编排语言与编制语言语法定义上的不严谨性,无法将WS-CDL与BPEL进行直接转换,而传统的解决方法缺少具体实现算法以及一致性验证理论,因此,如何提供正确合理的映射算法和一致性验证理论成为协议映射的关键问题,为了解决上述问题,提出了一种基于角色的协议映射模型。首先,根据服务编排协议WS-CDL的结构特点将协议分为结构部分与行为部分,同时利用Pi演算与有限状态自动机相关理论给出协议的结构模型和行为模型,接着引入角色映射这一中间理论,得到结构映射模型与行为映射模型以及相应的实现算法,这两个模型构成了协议的角色映射模型。角色映射理论的提出,解决了编排语言WS-CDL与编制语言BPEL语法上无法直接对应转换的问题,同时也符合了分散式服务编制由每个参与角色单独处理信息的特点。然后,通过订购单服务实例对服务编排协议WS-CDL进行分析,并且从集中式和分散式两个角度对协议进行处理,分别得到两种方法处理后的结构映射模型和行为映射模型,进而给出两者在执行过程上的差异性。最后,依据实例对角色映射规则在端口消息类型、行为的一致性方面做出了验证,同时利用Pi演算模型验证工具MWB对实例中分析得到的模型进行了互模拟验证,表明了全局与局部动作的一致性,进而得出了映射规则的正确性和算法的可实现性。