| 摘要 | 第1-8页 |
| Abstract | 第8-14页 |
| 第1章 绪论 | 第14-25页 |
| ·研究背景 | 第14-19页 |
| ·面向服务的软件需求的获取 | 第14-15页 |
| ·软件需求的建模 | 第15页 |
| ·统一需求建模 | 第15-17页 |
| ·基于本体的软件需求建模 | 第17-19页 |
| ·OWL-S 的国内外研究现状 | 第19-20页 |
| ·模型检查 | 第20-22页 |
| ·模型检查工具 | 第22-23页 |
| ·研究内容 | 第23页 |
| ·论文的组织结构 | 第23-25页 |
| 第2章 背景知识 | 第25-38页 |
| ·OWL-S | 第25-29页 |
| ·Web 服务顶级知识本体――OWL-S | 第25-26页 |
| ·基于OWL-S 本体的Web 服务语义描述 | 第26-29页 |
| ·Petri 网 | 第29-32页 |
| ·Petri 网概述 | 第29页 |
| ·Petri 网的基本元素 | 第29页 |
| ·Petri 网的形式化表示 | 第29-31页 |
| ·Petri 网基本性质 | 第31-32页 |
| ·Petri 网基本分析方法 | 第32页 |
| ·PNML 简介 | 第32-34页 |
| ·F-logic | 第34-37页 |
| ·F-logic 简介 | 第34-35页 |
| ·F-logic 的形式化语义 | 第35-36页 |
| ·复杂公式 | 第36页 |
| ·F-logic 基本介绍 | 第36-37页 |
| ·小结 | 第37-38页 |
| 第3章 RGPS 元建模框架 | 第38-51页 |
| ·网络化软件及其需求过程 | 第38-39页 |
| ·软件需求的元描述的本体元建模理论与方法 | 第39-40页 |
| ·本体论概述 | 第39页 |
| ·元本体和领域本体 | 第39-40页 |
| ·本体元建模的元模型 | 第40页 |
| ·RGPS 框架的元模型 | 第40-48页 |
| ·一个统一的需求元模型框架RGPS | 第40-42页 |
| ·RGPS 中的元模型 | 第42-48页 |
| ·基于O-RGPS 框架的领域建模 | 第48-50页 |
| ·小结 | 第50-51页 |
| 第4章 RGPS 各层次及其关系的形式化建模 | 第51-68页 |
| ·RGPS 各层次关系的形式化表示 | 第51-60页 |
| ·目标 | 第52-55页 |
| ·过程 | 第55-56页 |
| ·服务与资源 | 第56-57页 |
| ·角色 | 第57-58页 |
| ·领域本体 | 第58-60页 |
| ·基于角色的建模 | 第60-67页 |
| ·关于角色的研究进展 | 第60-62页 |
| ·角色授权及其Petri 网模型 | 第62-63页 |
| ·Petri 网与基于角色的访问控制模型 | 第63-67页 |
| ·小结 | 第67-68页 |
| 第5章 基于 Petri 网的 Web 服务组合的建模和分析 | 第68-87页 |
| ·研究现状和相关工作 | 第68-69页 |
| ·RGPS 各层次、UML 与 Petri 网 | 第69-71页 |
| ·从 OWL-S 到 Petri 网 | 第71-77页 |
| ·组合网 | 第77-84页 |
| ·服务组件层级的简化规则 | 第77-81页 |
| ·安全需求 | 第81页 |
| ·PNs 的转换规则 | 第81-83页 |
| ·计算内部服务依赖性 | 第83页 |
| ·OWL-S 服务任务的复杂性 | 第83-84页 |
| ·服务组合的精化和可达性分析 | 第84-86页 |
| ·小结 | 第86-87页 |
| 第6章 基于 F-logic 的 OWL-S 语义模型及推理 | 第87-107页 |
| ·引言 | 第87页 |
| ·RGPS 软件需求框架的形式化 | 第87-90页 |
| ·从 OWL DL 到 F-logic | 第90页 |
| ·从 OWL-S 到 F-logic | 第90-98页 |
| ·上层模型 | 第92页 |
| ·OWL-S 概况 | 第92-93页 |
| ·ServiceModel――把服务建模为过程 | 第93-98页 |
| ·服务概况(Profile)和基础(grounding) | 第98页 |
| ·用 F-logic 推理 OWL-S | 第98-103页 |
| ·F-logic 逻辑程序 | 第98-100页 |
| ·公理与推理规则 | 第100-103页 |
| ·相关定理的证明 | 第103-106页 |
| ·小结 | 第106-107页 |
| 第7章 验证工具的设计与实现 | 第107-132页 |
| ·OWL-S 工具概述 | 第107-108页 |
| ·系统的结构和功能 | 第108-110页 |
| ·PETRI网验证模块 | 第110-115页 |
| ·OWL-S 转换为PNML 的解释器 | 第110-111页 |
| ·PNML 验证及XSLT 转换 | 第111-112页 |
| ·算法验证工具DaNAMiCS 和Tina | 第112-115页 |
| ·DL 和 F-logic 验证模块 | 第115-121页 |
| ·具体架构说明 | 第115-120页 |
| ·从OWL DL 到F-logic | 第120页 |
| ·Pellet 与Flora-2 的组合推理 | 第120-121页 |
| ·实例 | 第121-131页 |
| ·结语 | 第131-132页 |
| 第8章 结论与展望 | 第132-134页 |
| ·本文的主要贡献 | 第132-133页 |
| ·未来的工作与展望 | 第133-134页 |
| 参考文献 | 第134-143页 |
| 攻读博士期间发表、参与发表论文 | 第143-144页 |
| 攻读博士学位期间参加的科研项目 | 第144-145页 |
| 致谢 | 第145-146页 |
