网络式软件

序言

前言

第一章 绪论

1.1 软件的网络化

1.2 软件工程的重点向需求工程转移

1.3 本书拟解决的关键问题

1.3.1 统一需求元描述问题

1.3.2 网络式软件需求获取及建模过程中的适应性问题

1.3.3 共性与个性化需求的协同整合问题

1.4 本书的组织结构

参考文献

第二章 软件新范型

2.1 软件范型的发展历史

2.1.1 面向过程范型

2.1.2 面向对象范型

2.1.3 基于构件的范型

2.1.4 互联网和面向服务的范型

2.2 面向语义服务的新范型

2.2.1 互联网上的软件工程

2.2.2 一种面向语义SOA的新范型

2.3 小结

参考文献

第三章 网络式软件研究进展

3.1 网络式软件

3.1.1 网络式软件的新特点

3.1.2 网络式软件的开发模式

3.2 网络式软件需求工程

3.2.1 什么是网络式软件需求工程

3.2.2 网络式软件需求工程的难点

3.3 理论和实践基础

3.3.1 本体

3.3.2 本体元建模

3.3.3 语义SOA

3.4 小结

参考文献

第四章 网络式软件的需求元建模框架

4.1 需求建模研究进展

4.1.1 面向目标的建模

4.1.2 基于本体的建模

4.1.3 面向特征的建模

4.1.4 现有建模技术分析

4.2 需求元建模框架RGPS概述

4.2.1 需求元建模框架RG3PS的提出

4.2.2 需求元建模框架RGPS的定义及其设计思路

4.2.3 需求元建模框架RGPS的作用

4.3 在RGPS中融人情境需求

4.3.1 情境建模相关研究

4.3.2 情境元模型

4.3.3 情境元模型的融入

4.3.4 情境信息的描述

4.4 在RGPS中融入可信性需求

4.4.1 可信性建模相关研究

4.4.2 可信性元模型及其与RGPS的融合

4.4.3 可信性信息的描述

4.5 RGPS需求元建模框架中的元模型

4.5.1 角色层元模型

4.5.2 目标层元模型

4.5.3 过程层元模型

4.5.4 服务层元模型

4.5.5 层次间关系的元模型

4.6 小结

参考文献

第五章 基于RGPS的领域建模

5.1 领域建模基础

5.1.1 什么是领域

5.1.2 领域建模

5.1.3 本体与领域建模

5.2 一种基于RGPS的领域建模方法

5.3 城市交通领域建模分析

5.3.1 领域本体的构造

5.3.2 需求用例分析

5.4 建模工具介绍

5.5 领域模型演化的系统动力学分析

5.5.1 领域吸收率

5.5.2 基于RGPS元模型的领域吸收率及其计算

5.5.3 QoE与网络式软件生命周期

5.5.4 一种领域模型演化的系统动力学模型

5.6小结

参考文献

第六章 网络式软件需求获取

6.1 需求获取研究进展

6.1.1 需求获取的对象

6.1.2 需求获取技术

6.1.3 需求描述语言

6.2 网络式软件需求获取框架

6.3 一种面向服务的需求描述语言

6.3.1 需求描述模型

6.3.2 自然语言模式

6.3.3 需求描述自然语言模式

6.3.4 SORL的基本构成

6.4 需求预处理

6.4.1 构建SORL树

6.4.2 结构化

6.5 需求获取工具和实例

6.5.1 需求获取平台

6.5.2 需求获取实例

6.6 小结

参考文献

第七章 网络式软件需求分析

7.1 需求分析研究进展

7.1.1 需求分析的任务

7.1.2 需求分析方法

7.1.3 非功能需求分类和建模

7.2 非功能需求冲突管理

7.2.1 非功能需求的形式化表示

7.2.2 非功能需求冲突检测

7.2.3 非功能需求冲突消解

7.3 非功能需求冲突管理实例

7.3.1 非功能需求建模实例

7.3.2 冲突检测和消解实例

7.4 小结

参考文献

第八章 网络式软件需求演化建模

8.1 软件演化技术的研究进展

8.1.1 基于方面的软件演化方法

8.1.2 基于反射体系结构的软件演化方法

8.2 网络式软件的演化建模

8.2.1 基本过程

8.2.2 面向方面的目标需求规格的形成

8.2.3 网络式软件运行时反射的演化框架

8.3 案例分析

8.4 小结

参考文献

第九章 网络式软件需求模型的验证

9.1 需求验证研究进展

9.1.1 形式化方法的概述

9.1.2 相关工作

9.2 网络式软件的过程模型

9.2.1 OWL—S概述

9.2.2 服务的静态信息

9.2.3 服务的过程模型

9.2.4 过程模型的抽象定义

9.3 过程模型的动态语义

9.3.1 进程代数

9.3.2 变量申明及数据流结构

9.3.3 过程结果

9.3.4 控制结构

9.3.5 过程模型

9.4 过程模型验证及实例

9.4.1 验证性质

9.4.2 案例分析

9.5 小结

参考文献

第十章 网络式软件的需求管理

10.1 网络式软件的需求管理框架

10.2 需求数据管理

10.2.1 基于XML的需求数据格式

10.2.2 需求数据和需求文档的存储

10.3 需求变更控制

10.3.1 需求变更的原因

10.3.2 需求变更的实现基础

10.3.3 需求变更的处理流程

10.4 需求跟踪

10.4.1 网络式软件需求跟踪的作用

10.4.2 网络式软件需求项之间的关系

10.4.3 网络式软件需求跟踪的实现

10.5 需求状态跟踪

10.5.1 网络式软件需求状态

10.5.2 网络式软件需求状态跟踪的作用

10.5.3 网络式软件需求状态跟踪图

10.6 需求管理工具

10.7 小结

参考文献

第十一章 面向网络服务的软件规模化定制

11.1 软件新观念

11.1.1 软件的网络观——软件是网络

11.1.2 软件的服务观——软件即服务

11.1.3 软件的价值观——软件服务无边界

11.2 面向网络服务的软件规模化定制关键技术

11.2.1 概念模型

11.2.2 面向服务族的设计技术

11.2.3 网络服务实现技术

11.2.4 用户信息记录和行为分析技术

11.2.5 用户界面设计技术

11.3 面向网络服务的软件规模化定制的基础设施

11.3.1 基于MFI的Web服务注册联邦

11.3.2 Web服务注册联邦的运行机制

11.4 软件规模化定制中的按需模型选择

11.4.1 模型驱动的软件开发

11.4.2 按需模型选择

11.5 小结

参考文献

第十二章 网络式软件复杂系统群体行为涌现的调控机理

12.1 网络式软件复杂系统

12.2 网络式软件系统与非线性系统和复杂系统的关系

12.3 从系统整体论到生成整体论

12.4 网络式软件复杂系统的涌现行为

12.5 松散耦合和语义互操作性能力

12.6 网络式软件“整体”构架的元属性及其机理

12.7 网络式软件复杂系统的互操作性聚类机理

12.8 网络式软件复杂系统互操作性调控的基本规则

12.9 语义互操作性能力计算和群体行为涌现的调控技术

12.9.1 语义互操作性能力的计算方法

12.9.2 多LME互操作系统的结构及其动态演变

12.9.3 面向期望行为目标的群体行为涌现调控技术

12.10 小结

参考文献

第十三章 总结和展望

附录A 缩写词对照表

附录B 英汉名词对照表

《网络式软件》针对网络式软件涉众需求的差异性、需求和环境的动态多变，系统地论述了网络式软件需求工程的理论与方法。
全书分四个部分，共计十三章。第一部分（第一章至第三章）主要介绍了网络式软件产生的背景；第二部分（第四章和第五章）重点阐述了网络式软件的需求元建模框架；第三部分（第六章至第十一章）系统介绍了在RGPS需求元建模框架的指导下的需求获取、分析、演化建模、验证与管理方法，以及面向网络服务的软件规模化制定；第四部分（第十二章和第十三章）主要介绍了网络式软件复杂系统群体涌现的调控机理，明确了今后的研究方向。
《网络式软件》可供从事软件研究的科技人员阅读，亦可作为高等院校计算机软件与理论专业研究生的教材和参考书。