云计算SaaS服务演化
本书特色
[
本书从服务演化管理的角度，以Pi演算和OWL-S及其扩展作为形式化工具，较为系统地讨论了云计算环境下SaaS软件模式的服务演化相关问题，包括SaaS服务演化的概念框架、需求规约形式化描述方法、层间映射规则、需求演化方法、服务流程演化方法、服务增量式演化方法、服务数据演化方法等，并给出相关推理过程和算法。本书还给出了一个服务演化过程的原型系统，并提供案例研究。
]
内容简介
[
本书根据SaaS模式的”单实例，多租户”、功能可伸缩、按需服务等特性，以租户需求为驱动，研究SaaS服务的演化理论和方法。通过建立SaaS服务演化的总体概念框架，采用OWLS、Pi演算及其扩展作为形式化工具，对SaaS服务演化的需求规约、需求转换映射、演化操作模型、模型分析等进行深入研究，从需求、流程和服务三个层面研究演化过程。
]
目录
目录第1章 绪论 11.1 背景介绍 11.2 内容和方法概述 21.3 原则和范围 41.4 本书的主要价值 41.5 本书的组织结构 51.6 本章小结 6第2章 相关现状综述 72.1 SaaS的发展现状 72.1.1 概述 72.1.2 SaaS的优点 82.1.3 SaaS的缺点 92.1.4 SaaS的发展前景 92.2 SaaS的定义和特性 102.2.1 SaaS的定义 102.2.2 SaaS的特性 122.3 SaaS应用分析 122.3.1 SaaS与传统软件应用比较 132.3.2 从SaaS到互联网+ 142.4 SaaS理论研究综述 152.4.1 SaaS理论研究 152.4.2 SaaS演化研究 152.5 服务演化研究现状 162.5.1 服务的静态演化 162.5.2 服务的动态演化 172.5.3 Web 服务演化 182.5.4 服务组合演化 192.5.5 软件在线演化 192.6 SaaS与SOA的比较 202.7 SaaS服务演化与Web服务演化比较 212.8 本章小结 21第3章 形式化工具及扩展 233.1 Pi演算 233.1.1 基本概念 233.1.2 操作语义 253.1.3 行为观察理论 263.1.4 Pi演算建模示例 273.2 扩展Pi演算 293.2.1 操作符 293.2.2 标号迁移系统 293.2.3 约束和归属关系 303.3 OWL-S 303.3.1 基本概念 303.3.2 基本语法 313.3.3 结构描述 333.4 扩展OWL-S 353.4.1 支持演化的扩展 363.4.2 支持动态的扩展 363.5 本章小结 37第4章 SaaS服务演化概念框架 384.1 SaaS特性分析 384.2 SaaS服务演化基本概念形式化描述 414.2.1 服务 414.2.2 需求 424.2.3 流程 424.2.4 SaaS服务演化 424.3 概念框架 434.3.1 提出问题 434.3.2 构建概念框架 434.3.3 需求层 444.3.4 流程层 454.3.5 服务层 464.4 层次间的约束规则 474.5 本章小结 48第5章 SaaS服务需求描述和演化 495.1 SaaS服务需求特征 495.2 SaaS服务需求规约描述 505.2.1 需求规约描述语言 505.2.2 SaaS服务需求描述 515.2.3 SaaS服务需求演化描述 525.3 OWL-S到Pi演算的映射 535.3.1 基本映射关系 535.3.2 转换规则 545.3.3 复合映射关系 565.4 SaaS服务需求规约演化模型 635.4.1 演化机制 635.4.2 需求规约演化请求 645.4.3 基层模型 665.4.4 元层模型 675.4.5 需求规约演化模型 675.4.6 演化操作过程 685.5 需求规约冲突问题 695.5.1 冲突类型 705.5.2 冲突检测 725.5.3 冲突消解 735.6 服务层的映射规则 745.6.1 服务结构 745.6.2 基本活动的映射规则 755.6.3 服务单元的映射规则 785.7 服务流程层的映射规则 795.7.1 概念映射描述 795.7.2 原子行为的映射规则 795.7.3 流程结构的映射规则 825.7.4 异常处理的映射规则 845.7.5 事件触发的映射规则 845.7.6 事件回滚的映射规则 855.8 本章小结 85第6章 SaaS服务流程演化 866.1 服务流程演化过程定义 866.1.1 服务流程结构 876.1.2 服务流程状态 886.1.3 服务流程演化规则 886.2 服务流程的Pi演算描述 896.2.1 服务流程表示 896.2.2 服务流程结构描述 906.3 服务流程演化模型 926.3.1 演化模型 926.3.2 演化执行 936.4 服务流程互模拟程度分析 956.5 服务流程簇膨胀问题 976.5.1 问题的产生 976.5.2 演化路径和服务流程簇优化 976.6 SaaS服务流程验证 1006.6.1 可达性 1006.6.2 死锁 1016.6.3 活锁 1026.7 本章小结 103第7章 SaaS服务增量式演化 1047.1 SaaS服务 1047.1.1 基本概念 1047.1.2 原子服务描述 1057.1.3 原子服务通道类型 1067.1.4 服务基调 1077.2 增量式服务演化 1077.2.1 多租户服务 1077.2.2 服务演化过程 1087.3 增量式演化模型 1097.3.1 插入增量演化 1097.3.2 删除增量演化 1127.3.3 替换增量演化 1147.3.4 移动增量演化 1157.3.5 通道增量演化 1187.4 演化的复合 1207.4.1 复合顺序 1207.4.2 复合行为 1227.5 服务演化一致性分析 1227.6 本章小结 124第8章 SaaS服务数据演化 1258.1 SaaS数据模式的演化过程 1258.1.1 演化策略 1258.1.2 演化框架 1278.1.3 演化点选择 1278.1.4 演化方法 1288.1.5 演化过程 1298.1.6 演化结果 1308.2 SaaS数据模型演化方法 1308.2.1 演化框架 1318.2.2 模型演化相关定义 1318.2.3 模型演化语义冲突 1328.2.4 模型演化操作规则 1348.2.5 演化过程计算 1368.3 SaaS数据演化涌现性问题 1378.3.1 认识数据演化的涌现性 1378.3.2 SaaS数据演化的相关定义 1398.3.3 SaaS数据演化的涌现性特征 1408.3.4 涌现性分析过程 1418.4 SaaS数据演化涌现性的度量 1418.4.1 涌现性度量问题 1418.4.2 求解涌现性的信息熵值的方法 1428.4.3 演化过程中的误差校正 1438.4.4 多个涌现性特征的信息熵 1438.4.5 信息熵的参数求解 1438.5 本章小结 144第9章 原型系统和案例分析 1459.1 AEPS介绍 1459.1.1 概述 1459.1.2 系统框架 1459.1.3 技术开发环境 1469.2 运行环境 1479.2.1 演化日志数据库 1479.2.2 OWL解析引擎及接口 1479.2.3 Graph引擎及接口 1479.3 辅助工具 1489.3.1 演化需求描述图形化表示工具 1489.3.2 演化需求建模工具 1499.3.3 演化日志分析工具 1509.4 客户关系管理SaaS服务系统案例分析 1509.4.1 系统介绍 1509.4.2 服务需求演化 1529.4.3 服务流程演化 1539.4.4 服务演化 1549.4.5 案例评析 1569.5 政务信息资源目录服务系统案例分析 1569.5.1 系统介绍 1569.5.2 服务需求演化 1589.5.3 服务流程演化 1599.5.4 服务演化 1629.5.5 案例评析 1629.6 本章小结 162第10章 总结和展望 16310.1 本书内容回顾 16310.2 本书改进方向 16510.3 未来需要探索研究的问题 16610.3.1 云计算的若干问题 16610.3.2 SaaS应用中的若干问题 16710.3.3 Pi演算和OWL-S形式化工具应用若干问题 16910.4 本章小结 170参考文献 171
封面
书名:云计算SaaS服务演化
作者:何俊
页数:184
定价:¥99.0
出版社:科学出版社
出版日期:2020-04-01
ISBN:9787030551856
PDF电子书大小:68MB