| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 目录 | 第8-11页 |
| 图目录 | 第11-13页 |
| 表目录 | 第13-14页 |
| 第1章 绪论 | 第14-20页 |
| ·研究背景 | 第14-15页 |
| ·研究动机 | 第15-17页 |
| ·研究内容 | 第17-18页 |
| ·论文的组织 | 第18-20页 |
| 第2章 研究基础与现状 | 第20-42页 |
| ·面向语义Web服务软件开发相关的研究问题 | 第20-26页 |
| ·面向语义Web服务的软件编程 | 第26-33页 |
| ·OWL-S语言 | 第26-28页 |
| ·BPEL语言及其扩展语言BPEL4SWS | 第28-31页 |
| ·其他具有参考价值的语言 | 第31-33页 |
| ·面向语义Web服务的软件验证 | 第33-36页 |
| ·基于Petri网的验证 | 第34页 |
| ·基于自动机理论的验证 | 第34-35页 |
| ·基于进程代数的验证 | 第35-36页 |
| ·面向语义Web服务的软件执行 | 第36-40页 |
| ·Fusion平台 | 第36-37页 |
| ·WSMX平台 | 第37-38页 |
| ·METEOR-S平台 | 第38-40页 |
| ·本章小结 | 第40-42页 |
| 第3章 语义编程语言SPROGLE | 第42-74页 |
| ·SPROGLE语言概览 | 第42-48页 |
| ·语言的设计原则 | 第42-43页 |
| ·SPROGLE语言元模型 | 第43-44页 |
| ·SPROGLE语言的特点 | 第44-45页 |
| ·SPROGLE程序整体结构 | 第45-48页 |
| ·SPROGLE程序定义部分的语法结构 | 第48-55页 |
| ·(语义)数据类型定义的语法结构 | 第48-50页 |
| ·语义规则定义的语法结构 | 第50-53页 |
| ·语义服务定义的语法结构 | 第53-55页 |
| ·SPROGLE程序体部分的语法结构 | 第55-67页 |
| ·语义流程定义的语法结构 | 第55-56页 |
| ·(语义)变量定义及处理的语法结构 | 第56-60页 |
| ·SPROGLE活动的语法结构 | 第60-67页 |
| ·SPROGLE程序对外接口的语义描述部分语法结构 | 第67-68页 |
| ·SPROGLE程序变换和执行机制 | 第68-72页 |
| ·变换和执行过程 | 第68-69页 |
| ·变换和执行机制 | 第69-72页 |
| ·本章小结 | 第72-74页 |
| 第4章 基于类型化π演算的SPROGLE程序形式化验证 | 第74-102页 |
| ·面向服务软件编程语言形式化的主要研究问题 | 第74-75页 |
| ·类型化的π演算基础 | 第75-84页 |
| ·基于类型化π演算的SPROGLE形式化模型Pi4S | 第84-92页 |
| ·形式化模型构造方法 | 第84-85页 |
| ·SPROGLE语言到类型化π演算的映射 | 第85-92页 |
| ·基于Pi4S模型的分析与验证 | 第92-101页 |
| ·案例的形式化描述 | 第93-96页 |
| ·数据类型的一致性验证 | 第96-99页 |
| ·交互行为的正确性验证 | 第99-101页 |
| ·验证工具的使用 | 第101页 |
| ·本章小结 | 第101-102页 |
| 第5章 SPROGLE程序的编辑和运行支撑环境 | 第102-124页 |
| ·支撑环境总体框架 | 第102-104页 |
| ·支撑环境总体功能 | 第104-111页 |
| ·SPROGLE程序编辑工具的功能 | 第104-106页 |
| ·SPROGLE程序变换和发布工具的功能 | 第106-109页 |
| ·SPROGLE程序执行引擎及管理平台的功能 | 第109-111页 |
| ·总体设计 | 第111-116页 |
| ·SPROGLE程序编辑工具的体系结构 | 第112-113页 |
| ·SPROGLE程序变换和发布工具的体系结构 | 第113-115页 |
| ·SPROGLE程序执行引擎和管理平台的体系结构 | 第115-116页 |
| ·关键实现技术 | 第116-122页 |
| ·AXIS引擎集成技术 | 第116-117页 |
| ·语义规则封装和执行技术 | 第117页 |
| ·SPROGLE流程构建的实现技术 | 第117-119页 |
| ·SPROGLE流程执行的实现技术 | 第119-121页 |
| ·语义数据处理技术 | 第121-122页 |
| ·本章小结 | 第122-124页 |
| 第6章 基于SPROGLE语言的语义软件开发方法和案例研究 | 第124-140页 |
| ·基于SPROGLE语言的语义软件开发方法 | 第124-126页 |
| ·案例系统的开发 | 第126-135页 |
| ·案例概要描述 | 第126页 |
| ·支持案例系统开发的语义基础 | 第126-128页 |
| ·OSTOS系统的业务流程分析 | 第128-129页 |
| ·OSTOS系统的构成单元的描述 | 第129-134页 |
| ·OSTOS系统的主程序的描述 | 第134-135页 |
| ·OSTOS系统的变换和执行 | 第135-138页 |
| ·程序变换 | 第135-137页 |
| ·程序调用 | 第137-138页 |
| ·本章小结 | 第138-140页 |
| 第7章 总结和展望 | 第140-142页 |
| ·论文主要贡献 | 第140-141页 |
| ·下一步的研究工作 | 第141-142页 |
| 参考文献 | 第142-148页 |
| 附录1 攻读博士学位期间发表的文章 | 第148-149页 |
| 附录2 攻读博士学位期间参与的研究项目 | 第149-150页 |
| 致谢 | 第150页 |
