为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换,提出一种基于翻译模式的转换算法。从BPEL语言的XMLschema定义出发,分析BPEL本身的语言结构,得到BPEL语言的产生式。再根据BPEL到LOTOS的语义映射规则,设计BPEL到LOTOS的翻译模式。同时,在基本映射规则之上,给出BPEL到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例,验证该工具的可行性。