基于语义Web服务的多层次匹配模型的研究与实现
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第一章 绪论 | 第10-14页 |
| ·研究背景和意义 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·主要研究内容 | 第12-13页 |
| ·论文结构 | 第13页 |
| ·本章小结 | 第13-14页 |
| 第二章 服务匹配的关键技术研究 | 第14-24页 |
| ·本体 | 第14-16页 |
| ·本体的定义 | 第14-15页 |
| ·本体的分类 | 第15-16页 |
| ·概念匹配算法 | 第16-17页 |
| ·基于关系推理 | 第16页 |
| ·基于相似度 | 第16-17页 |
| ·OWL-S | 第17-20页 |
| ·服务概要 | 第18页 |
| ·服务模型 | 第18-19页 |
| ·ServiceGrounding | 第19-20页 |
| ·过程匹配的形式化方法 | 第20-22页 |
| ·确定有限状态自动机（DFA） | 第20页 |
| ·Petri 网 | 第20-22页 |
| ·基于进程代数的形式化方法 | 第22页 |
| ·推理机 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 基于过程的语义Web 服务匹配 | 第24-52页 |
| ·基于有限状态机的形式化方法 | 第24-26页 |
| ·EDFA 的定义 | 第25-26页 |
| ·EDFA 模型的匹配 | 第26页 |
| ·自动机模型的研究与改进 | 第26-39页 |
| ·EDFA 的不足 | 第26-27页 |
| ·改进后的自动机模型 | 第27页 |
| ·OWL-S 与自动机的映射 | 第27-29页 |
| ·自动机运算操作的实现 | 第29-34页 |
| ·定义自动机的大小关系 | 第34-37页 |
| ·模型的运行和验证 | 第37-39页 |
| ·基于Petri 网的形式化方法 | 第39-45页 |
| ·互模拟（Bisimulation）理论 | 第39-42页 |
| ·行为继承理论 | 第42-45页 |
| ·基于WF-net 的过程匹配方法的提出 | 第45-51页 |
| ·过程匹配方法的提出 | 第45-46页 |
| ·WF-net 基本定义 | 第46-48页 |
| ·发现一致性 | 第48-49页 |
| ·过程匹配相似度 | 第49-51页 |
| ·匹配相似度计算 | 第51页 |
| ·本章小结 | 第51-52页 |
| 第四章 过程匹配模型的设计与实现 | 第52-74页 |
| ·工作流网转换器 | 第53-61页 |
| ·工作流网转换步骤 | 第54-55页 |
| ·工作流网模型 | 第55页 |
| ·OWL-S 控制结构到工作流网的映射机制 | 第55-58页 |
| ·OWL-S 数据流的映射 | 第58-60页 |
| ·服务注册 | 第60-61页 |
| ·I/O 匹配器 | 第61-65页 |
| ·I/O 匹配步骤 | 第62-63页 |
| ·服务候选集 | 第63-64页 |
| ·I/O 匹配算法的实现 | 第64-65页 |
| ·Grounding 匹配器 | 第65-67页 |
| ·匹配步骤 | 第66页 |
| ·类型匹配 | 第66-67页 |
| ·输入/输出参数之间的映射 | 第67页 |
| ·过程匹配器 | 第67-73页 |
| ·发现一致性算法 | 第67-73页 |
| ·匹配相似度 | 第73页 |
| ·本章小结 | 第73-74页 |
| 第五章 系统运行与测试 | 第74-84页 |
| ·测试环境 | 第74页 |
| ·测试说明 | 第74页 |
| ·测试流程 | 第74-79页 |
| ·工作流网的构建 | 第74-76页 |
| ·I/O 匹配器 | 第76-77页 |
| ·Grounding 匹配器 | 第77-78页 |
| ·发现一致性和匹配相似度 | 第78-79页 |
| ·测试比较 | 第79-83页 |
| ·结构比较 | 第80-81页 |
| ·性能比较 | 第81-83页 |
| ·测试分析 | 第83页 |
| ·本章小结 | 第83-84页 |
| 结论 | 第84-86页 |
| 参考文献 | 第86-89页 |
| 攻读硕士学位期间取得的研究成果 | 第89-90页 |
| 致谢 | 第90页 |
