网络式软件

图书标准信息

• 作者 何克清 著
• 出版社 科学出版社
• 出版时间 2008-10
• 版次 1
• ISBN 9787030231604
• 定价 50.00元
• 装帧 精装
• 开本 16开
• 纸张 胶版纸
• 页数 246页
• 字数 364千字
• 正文语种 简体中文

【内容简介】

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

【目录】

序言
前言
第一章绪论
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.5RGPS需求元建模框架中的元模型
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.3QoE与网络式软件生命周期
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.4SORL的基本构成
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.1OWL—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.2Web服务注册联邦的运行机制
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英汉名词对照表