面向服务需求规约的演化方法研究
| 论文创新点 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-11页 |
| 图目录 | 第11-12页 |
| 表目录 | 第12-13页 |
| 第1章 绪论 | 第13-17页 |
| ·研究背景 | 第13-14页 |
| ·研究动机 | 第14-15页 |
| ·研究内容 | 第15-16页 |
| ·论文的组织 | 第16-17页 |
| 第2章 相关研究综述 | 第17-36页 |
| ·反射机制 | 第17-27页 |
| ·计算反射 | 第17-21页 |
| ·反射与体系结构重用 | 第21-25页 |
| ·反射与软件演化 | 第25-26页 |
| ·反射机制的形式化研究 | 第26-27页 |
| ·面向服务的OWL-S需求规约 | 第27-30页 |
| ·需求演化 | 第30-35页 |
| ·需求演化建模 | 第30-31页 |
| ·需求演化管理 | 第31-33页 |
| ·需求演化的实证分析 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 第3章 基于反射的OWL-S需求规约演化 | 第36-74页 |
| ·概述 | 第36-37页 |
| ·反射式需求规约 | 第37-63页 |
| ·反射式需求规约的元级 | 第38-50页 |
| ·反射式需求规约的基级 | 第50页 |
| ·两级之间的交互协议 | 第50-63页 |
| ·反射式需求规约的描述语言 | 第63-69页 |
| ·反射式需求规约对需求演化的支持 | 第69-71页 |
| ·反射式需求规约对基于重用的需求演化的支持 | 第71-73页 |
| ·本章小结 | 第73-74页 |
| 第4章 基于Π演算的OWL-S需求规约演化模型 | 第74-99页 |
| ·Π演算基础 | 第74-78页 |
| ·π演算基本语法 | 第74-75页 |
| ·π演算的约简规则 | 第75页 |
| ·π演算的迁移规则 | 第75-77页 |
| ·π演算的等价理论 | 第77-78页 |
| ·反射式需求规约演化的形式化规约 | 第78-86页 |
| ·反射式需求规约的形式化规约 | 第78-85页 |
| ·需求规约演化的形式化规约 | 第85-86页 |
| ·反射式需求规约演化的形式化分析 | 第86-98页 |
| ·业务过程的合理性 | 第87-94页 |
| ·业务过程组合的合理性 | 第94-95页 |
| ·业务过程的可替换性 | 第95-97页 |
| ·业务过程演化的正确性 | 第97-98页 |
| ·验证工具的使用 | 第98页 |
| ·本章小结 | 第98-99页 |
| 第5章 支撑工具 | 第99-113页 |
| ·工具总体介绍 | 第99-101页 |
| ·工具的功能 | 第101-104页 |
| ·工具总体设计 | 第104-106页 |
| ·关键的实现技术 | 第106-112页 |
| ·反射式需求规约的解析和语法验证 | 第106-107页 |
| ·反射式需求规约支持的演化操作的实现 | 第107-111页 |
| ·反射式需求规约演化模型的验证技术 | 第111-112页 |
| ·本章小结 | 第112-113页 |
| 第6章 案例研究 | 第113-128页 |
| ·案例概述 | 第113-114页 |
| ·案例的演化实施过程 | 第114-121页 |
| ·制作可演化的反射式需求规约 | 第114-118页 |
| ·演化反射式需求规约 | 第118-121页 |
| ·案例系统的形式化研究 | 第121-127页 |
| ·案例系统的形式化描述 | 第122-125页 |
| ·案例系统的形式化验证 | 第125-127页 |
| ·本章小结 | 第127-128页 |
| 第7章 总结与展望 | 第128-130页 |
| ·总结 | 第128-129页 |
| ·展望 | 第129-130页 |
| 参考文献 | 第130-136页 |
| 附录1 攻读博士学位期间发表的文章 | 第136-137页 |
| 附录2 攻读博士学位期间参与的研究项目 | 第137-138页 |
| 致谢 | 第138页 |
