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

摘要	第1-4页
Abstract	第4-8页
引言	第8-10页
1 绪论	第10-12页
·研究现状	第10页
·课题研究内容和方法	第10-11页
·论文组织结构	第11-12页
2 相关理论和技术介绍	第12-22页
·Web服务概述	第12-17页
·Web服务接口描述语言——WSDL	第13-14页
·Web服务组合——BPEL	第14-17页
·模型检测技术	第17-20页
·形式化描述语言——LOTOS	第17-19页
·模型检测工具集——CADP	第19-20页
·编译器	第20页
·产生式	第20页
·翻译模式	第20-22页
3 BPEL到LOTOS的映射规则	第22-29页
·BPEL到LOTOS基本语义映射规则	第22-24页
·数据类型映射	第24-26页
·故障处理机制	第26-27页
·文档结构映射	第27-29页
4 BPEL到LOTOS的翻译模式设计及转换算法	第29-43页
·BPEL产生式	第29-34页
·翻译模式	第34-42页
·产生式属性	第34-36页
·BPEL到LOTOS的翻译模式	第36-42页
·基于翻译模式的转换算法	第42-43页
5 BPEL到LOTOS转换工具的设计与实现	第43-55页
·工具的整体设计和代码实现	第43-46页
·案列	第46-55页
·房屋贷款	第46-49页
·贷款审批	第49-51页
·出差管理	第51-55页
结论	第55-56页
参考文献	第56-59页
申请学位期间的研究成果及发表的学术论文	第59-60页
致谢	第60页