需求驱动的SaaS服务演化研究
| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第1章 绪论 | 第11-18页 |
| 本章目标 | 第11页 |
| 本章引言 | 第11页 |
| ·研究背景 | 第11-13页 |
| ·研究内容和方法 | 第13-15页 |
| ·研究的原则和成功标准 | 第15页 |
| ·论文创新点 | 第15-16页 |
| ·论文组织结构 | 第16-17页 |
| ·本章小结 | 第17-18页 |
| 第2章 研究现状综述 | 第18-27页 |
| 本章目标 | 第18页 |
| 本章引言 | 第18页 |
| ·SAAS的发展现状 | 第18-19页 |
| ·SAAS的定义和特性 | 第19-21页 |
| ·SAAS理论研究综述 | 第21-22页 |
| ·服务演化研究现状 | 第22-24页 |
| ·SAAS与SOA的比较 | 第24-25页 |
| ·SAAS服务演化与WEB服务演化比较 | 第25页 |
| ·本章小结 | 第25-27页 |
| 第3章 形式化工具及扩展 | 第27-38页 |
| 本章目标 | 第27页 |
| 本章引言 | 第27页 |
| ·PI演算 | 第27-32页 |
| ·基本概念 | 第28-30页 |
| ·操作语义 | 第30-31页 |
| ·行为观察理论 | 第31-32页 |
| ·OWL-S | 第32-33页 |
| ·基本概念 | 第32-33页 |
| ·基本语法 | 第33页 |
| ·扩展PI演算 | 第33-35页 |
| ·操作符 | 第33-34页 |
| ·标号迁移系统 | 第34页 |
| ·约束和归属关系 | 第34-35页 |
| ·扩展OWL-S | 第35-37页 |
| ·支持演化的扩展 | 第35-36页 |
| ·支持动态的扩展 | 第36-37页 |
| ·本章小结 | 第37-38页 |
| 第4章 SAAS服务演化概念框架 | 第38-46页 |
| 本章目标 | 第38页 |
| 本章引言 | 第38页 |
| ·SAAS特性分析 | 第38-40页 |
| ·SAAS服务演化的基本定义 | 第40-42页 |
| ·服务 | 第40页 |
| ·需求 | 第40-41页 |
| ·流程 | 第41页 |
| ·SaaS服务演化 | 第41-42页 |
| ·概念框架 | 第42-44页 |
| ·层次间约束规则 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第5章 需求规约描述和演化 | 第46-77页 |
| 本章目标 | 第46页 |
| 本章引言 | 第46页 |
| ·SAAS服务需求特征 | 第46-48页 |
| ·SAAS服务需求规约描述 | 第48-50页 |
| ·需求规约描述语言 | 第48页 |
| ·SaaS服务需求描述 | 第48-50页 |
| ·OWL-S到PI演算的映射 | 第50-63页 |
| ·基本映射关系 | 第50-51页 |
| ·转换规则 | 第51-54页 |
| ·复合映射关系 | 第54-63页 |
| ·SAAS服务需求规约演化模型 | 第63-70页 |
| ·演化机制 | 第63-65页 |
| ·需求规约演化请求 | 第65-66页 |
| ·基层模型 | 第66-67页 |
| ·元层模型 | 第67-68页 |
| ·需求规约演化模型 | 第68-69页 |
| ·演化操作过程 | 第69-70页 |
| ·需求规约冲突问题 | 第70-76页 |
| ·冲突类型 | 第71-73页 |
| ·冲突检测 | 第73-75页 |
| ·冲突消解 | 第75-76页 |
| ·本章小结 | 第76-77页 |
| 第6章 SAAS服务流程演化 | 第77-99页 |
| 本章目标 | 第77页 |
| 本章引言 | 第77页 |
| ·服务流程演化过程定义 | 第77-80页 |
| ·服务流程结构 | 第79页 |
| ·服务流程状态 | 第79-80页 |
| ·服务流程演化规则 | 第80页 |
| ·服务流程的PI演算描述 | 第80-85页 |
| ·服务流程表示 | 第80-82页 |
| ·服务流程结构描述 | 第82-85页 |
| ·服务流程演化模型 | 第85-88页 |
| ·演化模型 | 第85-86页 |
| ·演化执行 | 第86-88页 |
| ·服务流程互摸拟程度分析 | 第88-91页 |
| ·服务流程簇膨胀问题 | 第91-94页 |
| ·问题的产生 | 第91页 |
| ·演化路径和服务流程簇优化 | 第91-94页 |
| ·SAAS服务流程验证 | 第94-98页 |
| ·可达性 | 第94-96页 |
| ·死锁 | 第96-97页 |
| ·活锁 | 第97-98页 |
| ·本章小结 | 第98-99页 |
| 第7章 SAAS服务增量式演化 | 第99-125页 |
| 本章目标 | 第99页 |
| 本章引言 | 第99页 |
| ·SAAS服务 | 第99-104页 |
| ·基本概念 | 第100页 |
| ·原子服务描述 | 第100-102页 |
| ·原子服务通道类型 | 第102-103页 |
| ·服务基调 | 第103-104页 |
| ·增量式服务演化 | 第104-105页 |
| ·多租户服务 | 第104-105页 |
| ·增量式服务演化 | 第105页 |
| ·增量式演化模型 | 第105-118页 |
| ·插入增量演化 | 第106-109页 |
| ·删除增量演化 | 第109-111页 |
| ·替换增量演化 | 第111-112页 |
| ·移动增量演化 | 第112-116页 |
| ·通道增量演化 | 第116-118页 |
| ·演化的复合 | 第118-121页 |
| ·复合顺序 | 第118-120页 |
| ·复合行为 | 第120-121页 |
| ·服务演化一致性分析 | 第121-124页 |
| ·本章小结 | 第124-125页 |
| 第8章 原型系统和案例分析 | 第125-148页 |
| 本章目标 | 第125页 |
| 本章引言 | 第125页 |
| ·AEPS介绍 | 第125-127页 |
| ·概述 | 第125-126页 |
| ·系统框架 | 第126-127页 |
| ·技术开发环境 | 第127页 |
| ·运行环境 | 第127-128页 |
| ·演化日志数据库 | 第127-128页 |
| ·OWL解析引擎及接口 | 第128页 |
| ·Graph引擎及接口 | 第128页 |
| ·辅助工具 | 第128-131页 |
| ·演化需求描述图形化表示工具 | 第129-130页 |
| ·演化需求建模工具 | 第130-131页 |
| ·演化日志分析工具 | 第131页 |
| ·客户关系管理SAAS服务系统案例分析 | 第131-138页 |
| ·系统介绍 | 第131-133页 |
| ·服务需求演化 | 第133-135页 |
| ·服务流程演化 | 第135-136页 |
| ·服务演化 | 第136-138页 |
| ·案例评析 | 第138页 |
| ·政务信息资源目录服务系统案例分析 | 第138-147页 |
| ·系统介绍 | 第138-141页 |
| ·服务需求演化 | 第141-142页 |
| ·服务流程演化 | 第142-146页 |
| ·服务演化 | 第146页 |
| ·案例评析 | 第146-147页 |
| ·本章小结 | 第147-148页 |
| 第9章 总结和展望 | 第148-153页 |
| 本章目标 | 第148页 |
| 本章引言 | 第148页 |
| ·本文工作回顾 | 第148-150页 |
| ·下一步改进方向 | 第150-151页 |
| ·本章小结 | 第151-153页 |
| 附录 | 第153-155页 |
| 附录A 攻读博士学位期间主持和参与的项目 | 第153-154页 |
| 附录B 攻读博士学位期间发表和录用的论文 | 第154-155页 |
| 参考文献 | 第155-161页 |
| 致谢 | 第161页 |
