| 基于翻译模式的BPEL到LOTOS映射方法研究 |
| |
| 引用本文： | 赵会群,何 霞. 基于翻译模式的BPEL到LOTOS映射方法研究[J]. 计算机应用研究, 2013, 30(6): 1751-1755 |
| |
| 作者姓名： | 赵会群 何 霞 |
| |
| 作者单位： | 北方工业大学 信息工程学院,北京,100041 |
| |
| 基金项目： | 国家自然科学基金资助项目（61070030, 61111130121）; 北京市市属高校学术创新团队资助项目（PHR201107107） |
| |
| 摘 要： | 为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换, 提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发, 分析BPEL本身的语言结构, 得到BPEL语言的产生式。再根据BPEL到LOTOS的语义映射规则, 设计BPEL到LOTOS的翻译模式。同时, 在基本映射规则之上, 给出BPEL到LOTOS的数据类型和故障处理机制的转换规则。最后结合Web服务实例, 验证该工具的可行性。
|
| 关 键 词： | Web服务组合 BPEL LOTOS 翻译模式 形式化验证 映射规则 |
Study on translation model based mapping method fromBPEL to LOTOS |
| |
| ZHAO Hui-qun,HE Xia. Study on translation model based mapping method fromBPEL to LOTOS[J]. Application Research of Computers, 2013, 30(6): 1751-1755 |
| |
| Authors: | ZHAO Hui-qun HE Xia |
| |
| Affiliation: | School of Information Engineering, North China University of Technology, Beijing 100041, China |
| |
| Abstract: | In order to achieve the automated conversion from Web service composition described by BPEL to LOTOS, this paper presented a conversion algorithm based on the translation model. Firstly, starting from the the BPEL language of XML schema definition, it analyzed BPEL language structure and got the BPEL language production. Then, depending on BPEL to LOTOS semantic mapping rules, it designed BPEL to LOTOS translation mode. Meanwhile, above the basic mapping rules, it gave transformation rules of BPEL to LOTOS data types and fault handling mechanisms. Finally, it verified the feasibility of the tool by using a Web service instance. |
| |
| Keywords: | Web service composition BPEL LOTOS translation model formal verification mapping rules |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
