【文件属性】：
文件名称：论文研究-基于翻译模式的BPEL到LOTOS映射方法研究.pdf
文件大小：1.49MB
文件格式：PDF
更新时间：2022-08-11 15:26:53
Web服务组合, BPEL, LOTOS, 翻译模式, 形式化验证,
为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换, 提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发, 分析BPEL本身的语言结构, 得到BPEL语言的产生式。再根据BPEL到LOTOS的语义映射规则, 设计BPEL到LOTOS的翻译模式。同时, 在基本映射规则之上, 给出BPEL到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例, 验证该工具的可行性。