BPEL语言形式语义连接的仿真

摘要	第1-7页
Abstract	第7-9页
第一章 引言	第9-14页
·研究背景	第9页
·形式语义及语义连接	第9-11页
·本文的研究目标与贡献	第11-12页
·本文结构	第12-13页
·本章小结	第13-14页
第二章 BPEL语言和PROLOG语言介绍	第14-23页
·BPEL语言介绍	第14-15页
·BPEL语言的形式语义	第15-18页
·程序设计语言PROLOG	第18-21页
·MAUDE语言及MAUDE系统概述	第21-22页
·本章小结	第22-23页
第三章 基于PROLOG对BPEL操作语义的仿真	第23-34页
·仿真策略	第23-25页
·基本命令的操作语义的仿真	第25-27页
·串行结构的操作语义的仿真	第27-29页
·并行组合的操作语义定义	第29-31页
·包含SCOPE的操作语义定义	第31-32页
·实例展示	第32页
·本章小结	第32-34页
第四章 基于代数语义的操作语义的生成实现	第34-45页
·代数定律的仿真	第34-37页
·头规范型的仿真	第37-40页
·由代数语义生成操作语义的仿真	第40-43页
·实例展示	第43-44页
·本章小结	第44-45页
第五章 基于MAUDE对BPEL形式语义的仿真	第45-57页
·基于MAUDE对BPEL操作语义的仿真	第45-51页
·基于MAUDE对BPEL代数语义的仿真	第51-56页
·本章小结	第56-57页
第六章 总结与展望	第57-59页
·总结	第57-58页
·展望	第58-59页
参考文献	第59-63页
作者研究生阶段参加的项目及发表文章情况	第63-64页
后记	第64页