基于翻译模式的BPEL到LOTOS映射方法研究

• 作者: 何霞 赵会群
• 来源期刊: 计算机应用研究
• 关键词: Web服务组合 BPEL LOTOS 翻译模式 形式化验证 映射规则
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1751-1755
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.06.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵会群	北方工业大学信息工程学院	79	920	14.0	28.0
2	何霞	北方工业大学信息工程学院	1	3	1.0	1.0