钱塘应用服务器服务流平台的设计与实现
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第8-16页 |
| ·课题研究的背景和意义 | 第8-9页 |
| ·应用服务器发展趋势概述 | 第9-13页 |
| ·Web服务技术 | 第9-11页 |
| ·J2EE中的Web服务 | 第11-12页 |
| ·服务组合概述 | 第12-13页 |
| ·课题研究的内容及主要工作 | 第13-14页 |
| ·文章结构 | 第14-15页 |
| ·本章小结 | 第15-16页 |
| 第二章 JTangFlow-S研发基础 | 第16-24页 |
| ·JTangFlow工作流系统 | 第16-21页 |
| ·工作流技术 | 第16-17页 |
| ·JTangFlow系统简介 | 第17-19页 |
| ·JTangFlow体系架构 | 第19页 |
| ·JTangFlow系统功能特点 | 第19-21页 |
| ·JTang WebService基础架构 | 第21-23页 |
| ·J2EE-WebService | 第21-22页 |
| ·JTangEJB中实现Web服务 | 第22-23页 |
| ·JTangServlet中实现Web服务 | 第23页 |
| ·本章小结 | 第23-24页 |
| 第三章 JTangFlow-S系统设计 | 第24-37页 |
| ·JTangFlow-S体系结构 | 第24-26页 |
| ·JTangFlow-S核心模块 | 第26-28页 |
| ·服务注册和查询模块 | 第26页 |
| ·服务流程设计和验证模块 | 第26-27页 |
| ·服务流程的引擎模块 | 第27-28页 |
| ·JTangFlow-S系统关键技术 | 第28-32页 |
| ·GEF框架技术 | 第28-30页 |
| ·基于Petri网的验证仿真 | 第30-31页 |
| ·语义技术 | 第31页 |
| ·工作流技术 | 第31-32页 |
| ·JTangFlow-S系统特色 | 第32-35页 |
| ·所见即所得的流程设计 | 第32-33页 |
| ·形式化的流程验证仿真 | 第33-34页 |
| ·基于语义的服务的注册和查询 | 第34页 |
| ·与JTang应用服务器的无缝集成 | 第34-35页 |
| ·JTangFlow-S已有系统实现 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 流程设计子系统实现 | 第37-55页 |
| ·模块系统结构 | 第37-38页 |
| ·服务流模型SFDL | 第38-45页 |
| ·服务导入子模块 | 第45-47页 |
| ·服务查询和选取 | 第45-46页 |
| ·服务和应用绑定 | 第46-47页 |
| ·流程建模子模块 | 第47-52页 |
| ·子模块概述 | 第47-48页 |
| ·流程数据定义 | 第48页 |
| ·流程的节点-边结构 | 第48-51页 |
| ·流程定义生成 | 第51-52页 |
| ·流程验证子模块 | 第52-53页 |
| ·流程部署子模块 | 第53-54页 |
| ·数据访问技术 | 第53-54页 |
| ·数据库设计 | 第54页 |
| ·本章小结 | 第54-55页 |
| 第五章 基于Petri网的服务流程验证 | 第55-66页 |
| ·服务流程验证概述 | 第55-58页 |
| ·传统工作流验证技术 | 第55-57页 |
| ·服务流程验证技术 | 第57-58页 |
| ·基于Petri网的服务流程验证 | 第58-62页 |
| ·Petri网理论 | 第58-60页 |
| ·服务流Petri网模型 | 第60页 |
| ·服务流Petri网分析技术 | 第60-62页 |
| ·SFNet遍历算法实现 | 第62-63页 |
| ·SFDL模型转换 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 流程引擎子系统实现 | 第66-74页 |
| ·流程引擎概述 | 第66-67页 |
| ·引擎数据库设计 | 第67-69页 |
| ·流程控制子模块 | 第69-71页 |
| ·服务调用子模块 | 第71-72页 |
| ·本章小结 | 第72-74页 |
| 第七章 总结与展望 | 第74-76页 |
| ·工作总结 | 第74-75页 |
| ·未来工作展望 | 第75-76页 |
| 参考文献 | 第76-78页 |
| 攻读硕士学位期间科研实践 | 第78-79页 |
| 致谢 | 第79页 |
