| 摘要 | 第1-8页 |
| ABSTRACT | 第8-10页 |
| 目录 | 第10-14页 |
| 第一章 绪论和相关研究 | 第14-32页 |
| ·绪论 | 第14-19页 |
| ·研究背景 | 第14-15页 |
| ·研究目的和意义 | 第15-16页 |
| ·研究内容 | 第16-17页 |
| ·主要创新点 | 第17-19页 |
| ·文章组织结构 | 第19页 |
| ·BPEL简介 | 第19-21页 |
| ·BPEL的发展历程 | 第19-20页 |
| ·BPEL元素 | 第20-21页 |
| ·主流BPEL引擎和平台 | 第21-22页 |
| ·ActiveBPEL | 第21页 |
| ·jBPM | 第21页 |
| ·WebSphere Process Server | 第21页 |
| ·Oracle BPEL Process Manager | 第21页 |
| ·BizTalk Server | 第21-22页 |
| ·相关技术和研究 | 第22-26页 |
| ·关联规则挖掘 | 第22页 |
| ·频繁模式的发现 | 第22-23页 |
| ·流程复用 | 第23页 |
| ·需求描述 | 第23-24页 |
| ·层次分析法 | 第24页 |
| ·进程代数与Pi演算 | 第24-26页 |
| ·案例来源——多媒体会议系统 | 第26-27页 |
| ·本章参考文献 | 第27-32页 |
| 第二章 自然语言描述的需求分析自动转换为BPEL流程 | 第32-54页 |
| ·问题描述 | 第32-33页 |
| ·相关研究 | 第33-34页 |
| ·流程自然语言需求描述的约束和形式化 | 第34-39页 |
| ·流程自然语言需求描述的约束 | 第34-38页 |
| ·流程自然语言需求描述的形式化 | 第38-39页 |
| ·消息和原子服务的匹配和查找 | 第39-43页 |
| ·前提条件 | 第40页 |
| ·基于 WordNet 的语义匹配度计算 | 第40-43页 |
| ·BPEL流程的拼装 | 第43-50页 |
| ·主体部分的流程拼装 | 第43-47页 |
| ·错误处理部分的流程拼装 | 第47-48页 |
| ·整体拼装 | 第48-50页 |
| ·原型工具实现和分析 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| ·本章参考文献 | 第52-54页 |
| 第三章 基于关联规则挖掘的BPEL活动推荐方法 | 第54-66页 |
| ·问题描述 | 第54页 |
| ·相关研究 | 第54-55页 |
| ·关联规则的相关概念 | 第55页 |
| ·MICROSOFT ASSOCIATION RULES算法 | 第55-56页 |
| ·BPEL建模与事务生成 | 第56-60页 |
| ·基本活动的建模 | 第56-57页 |
| ·结构化活动的建模 | 第57页 |
| ·构建标记活动树 | 第57-58页 |
| ·引入滑动窗口后的活动序列 | 第58-60页 |
| ·实验及分析 | 第60-62页 |
| ·数据源 | 第60页 |
| ·实验工具 | 第60-61页 |
| ·结果分析 | 第61-62页 |
| ·本章小结 | 第62页 |
| ·本章参考文献 | 第62-66页 |
| 第四章 BPEL流程中控制依赖死锁的在线检测 | 第66-96页 |
| ·问题描述 | 第66页 |
| ·相关研究 | 第66-68页 |
| ·问题的转换 | 第68-69页 |
| ·BPEL流程的实时建模 | 第69-72页 |
| ·有向图中简单回路的在线检测 | 第72-82页 |
| ·有向图的基本概念 | 第72页 |
| ·同意/拒绝绝矩阵 | 第72-75页 |
| ·算法说明 | 第75-79页 |
| ·算法证明 | 第79-82页 |
| ·案例说明 | 第82-88页 |
| ·算法分析 | 第88-91页 |
| ·随机性 | 第88-90页 |
| ·性能分析 | 第90-91页 |
| ·实现框架 | 第91-92页 |
| ·本章小结 | 第92页 |
| ·本章参考文献 | 第92-96页 |
| 第五章 基于频繁模式发现的BPEL流程模板的生成方法 | 第96-114页 |
| ·问题描述 | 第96-97页 |
| ·相关研究 | 第97-98页 |
| ·BPEL流程的建模 | 第98-101页 |
| ·BPEL元素的分类 | 第98-99页 |
| ·BPEL流程建模为RuO-tree | 第99-101页 |
| ·示例 | 第101页 |
| ·树的频繁模式发现 | 第101-107页 |
| ·相关概念 | 第101-102页 |
| ·基本思路 | 第102-103页 |
| ·树的表示 | 第103-104页 |
| ·候选模式的生成 | 第104-105页 |
| ·候选模式的存储 | 第105-106页 |
| ·针对BPEL领域的过滤 | 第106-107页 |
| ·工具实现 | 第107-109页 |
| ·ROY-BPELTool介绍 | 第107-108页 |
| ·会议流程的运行分析 | 第108-109页 |
| ·本章小结 | 第109-110页 |
| ·本章参考文献 | 第110-114页 |
| 第六章 基于扩展类型PI演算的BPEL相容性的检测与适配 | 第114-128页 |
| ·问题描述 | 第114页 |
| ·相关研究 | 第114-115页 |
| ·BPEL转换为PI演算 | 第115-119页 |
| ·BPEL转换为UML序列图 | 第115-117页 |
| ·UML序列图转换为Pi演算 | 第117-119页 |
| ·扩展的类型PI演算 | 第119-123页 |
| ·基本概念 | 第120-121页 |
| ·基本语法 | 第121-122页 |
| ·推导规则 | 第122-123页 |
| ·相容性的检测 | 第123-125页 |
| ·静态相容 | 第123页 |
| ·行为相容 | 第123-124页 |
| ·相容检测算法 | 第124-125页 |
| ·相容性的适配 | 第125-126页 |
| ·本章小结 | 第126页 |
| ·本章参考文献 | 第126-128页 |
| 第七章 多因素融合的服务相容分析模型 | 第128-146页 |
| ·问题描述 | 第128-129页 |
| ·相关研究 | 第129-131页 |
| ·服务相容 | 第131-137页 |
| ·接口相容 | 第131页 |
| ·行为相容 | 第131-136页 |
| ·QoS 相容 | 第136-137页 |
| ·用户偏好相容 | 第137页 |
| ·服务相容的AHP建模 | 第137-139页 |
| ·层次分析法 | 第137-138页 |
| ·服务相容的AHP模型 | 第138-139页 |
| ·案例说明 | 第139-142页 |
| ·本章小结 | 第142页 |
| ·本章参考文献 | 第142-146页 |
| 第八章 总结与展望 | 第146-148页 |
| 致谢 | 第148-150页 |
| 攻读博士学位期间发表和录用的论文列表 | 第150页 |
