文摘
英文文摘
声明
第一章 绪论
1.1 Web服务
1.2 研究背景
1.3 相关工作
1.4 本文的研究工作
1.4.1 研究内容
1.4.2 研究方法
1.4.3 研究目标及价值
1.5 本文的章节安排
第二章 服务流程设计、测试与验证
2.1 BPEL服务流程设计及测试
2.1.1 ActiveBPEL Designer简介
2.1.2 服务流程设计
2.1.3 用例数据测试流程
2.2 SPIN验证服务流程
2.3 部署及远端调试
第三章 监控逻辑的生成
3.1 用户监控需求表达
3.1.1 用户的监控需求
3.1.2 WS-Policy表达监控需求
3.1.3 实例说明
3.2 AOP与监控
3.3 监控逻辑生成
第四章 服务监测实施
4.1 端到端的服务监测框架
4.1.1 基本概念
4.1.2 监测框架原型
4.1.3 监测实施步骤
4.2 服务执行引擎扩展
4.2.1 ActiveBPEL Engine
4.2.2 引擎扩展
4.3 监控逻辑适配
4.3.1 适配器
4.3.2 监控逻辑代码生成
4.4 MREG及检测算法
4.4.1 MREG
4.4.2 EMSC
4.4.3 MREG生成
4.4.4 监控信息检测
4.5 服务控制修正
4.5.1 监测结果
4.5.2 修正方法
第五章 监测系统的设计与实现
5.1 工具介绍
5.2 相关技术知识
5.2.1 开发环境
5.2.2 SWT 与JFace
5.2.3 RCP
5.3 工具实现
5.3.1 监控需求表达
5.3.2 监控逻辑生成
5.3.3 监控适配器
5.3.4检测器
5.3.5 修正器
第六章 实例分析
6.1 乘法服务实例
6.1.1 服务功能需求
6.1.2 设计服务流程
6.1.3 静态模拟用例数据测试
6.2 旅行预订服务
6.2.1 问题描述
6.2.2 监控需求表达
6.2.3 监控逻辑生成
6.2.4 代理权限检查
6.2.5 监控逻辑适配
6.2.6 监控代码生成
6.2.7 监控实施
6.2.8 检测监控信息
6.2.9 实例实施分析
第七章 总结与展望
7.1 论文总结
7.2 下一步研究工作
致谢
参考文献
作者简介
东南大学;