书籍详情
复杂信息系统能力需求技术
作者：朱卫星，何红悦 编
出版社：国防科技大学出版社
出版时间：2019-09-01
ISBN：9787567305489
定价：¥28.00
购买这本书可以去
内容简介
《复杂信息系统能力需求技术》的内容分为三部分。第一部分介绍复杂信息系统能力需求的获取及描述技术，包含两个章节，第一章介绍基于多视图框架的能力需求的描述方法和获取技术，第二章介绍基于本体的复杂信息系统能力需求的领域知识复用技术。第二部分介绍复杂信息系统能力需求的分析验证技术，分别利用本体推理、SysML、fUML、MDA等方法对复杂信息系统的能力需求从不同方面对其进行验证分析，包含四个章节，第三章验证复杂信息系统能力需求的概念一致性，第四章对复杂信息系统的能力需求进行效能分析，第五章介绍复杂信息系统能力需求的可执行分析技术，第六章介绍复杂信息系统能力需求模型的转换技术。第三部分介绍复杂信息系统能力需求方案的优选技术。
作者简介
暂缺《复杂信息系统能力需求技术》作者简介
目录
第一章 复杂信息系统能力需求开发技术
1．1 复杂信息系统能力需求背景介绍
1．1．1 复杂信息系统需求开发技术
1．1．2 复杂信息系统能力需求开发
1．1．3 能力概念定义
1．2 复杂信息系统能力需求开发过程
1．3 能力需求描述的概念框架
1．3．1 概念框架的基本构成
1．3．2 业务目标视图模型
1．3．3 节点视图模型
1．3．4 资源视图模型
1．3．5 活动视图模型
1．3．6 信息视图模型
1．3．7 能力视图模型
1．3．8 互操作性视图模型
1．3．9 事件跟踪视图模型
1．4 能力需求描述方法
1．4．1 能力需求三层建模框架
1．4．2 复杂信息系统能力需求元概念模型
1．4．3 支持领域特定描述语言的对象建模技术
1．5 能力需求获取方法
1．5．1 需求获取概念框架
1．5．2 能力概念框架引导的对象建模过程
第二章 复杂信息系统能力需求领域知识复用技术
2．1 基于本体的领域知识复用技术
2．2 领域知识复用层次
2．2．1 基于应用概念的领域本体抽取与合并
2．2．2 领域知识复用方法
2．3 领域复用算法
2．4 本体映射方法
2．4．1 本体描述语言符号
2．4．2 特征解析
2．4．3 候选映射选择
2．4．4 相似度计算与综合
2．4．5 阈值的选取及生成映射
2．4．6 迭代
2．4．7 用户筛选
2．4．8 具体算法
2．5 本体合并方法
2．6 算法复杂度分析
2．6．1 映射的复杂性
2．6．2 合并的复杂性
第三章 复杂信息系统能力需求形式化验证技术
3．1 需求模型形式化验证框架
3．2 模型语义定义及其形式化
3．2．1 复杂信息系统能力概念化元本体
3．2．2 OWL DL本体与SHOIN（D）知识库之间的转换规则
3．2．3 领域概念模型定义及其形式化
3．2．4 系统知识模型定义及其形式化
3．3 互操作性知识定义及其形式化
3．3．1 互操作性定义
3．3．2 系统互操作性等级评估方法
3．3．3 系统互操作性知识定义及形式化
3．4 领域知识一致性验证
3．4．1 领域一致性问题分析
3．4．2 领域知识一致性检查
3．5 系统互操作性等级判定
3．5．1 单系统互操作性判定
3．5．2 多系统互操作性等级判定
第四章 基于SysML的复杂信息系统效能分析技术
4．1 复杂信息系统效能与能力需求
4．1．1 能力与效能的概念
4．1．2 能力与效能的关系
4．2 基于SysML的复杂信息系统效能分析建模方法
4．2．1 SysML对复杂信息系统效能分析建模的支持
4．2．2 基于需求图的系统目标需求分析
4．2．3 基于活动图的系统动态行为建模
4．2．4 基于块图的静态结构建模
4．2．5 基于参数图的参数关系建模
第五章 基于fUML的复杂信息系统能力需求可执行技术
5．1 复杂信息系统行为的建模语义
5．2 能力需求模型的动作语义
5．2．1 动作语义的基本概念
5．2．2 可执行动作语义元模型
5．3 能力需求模型的基本动作
5．3．1 读写动作
5．3．2 激活动作
5．3．3 复合动作
5．3．4 计算动作
5．3．5 动作的执行机制
5．4 动作语义在能力需求建模语言中的映射
第六章 基于MDA的复杂信息系统能力需求模型转换技术
6．1 基于QVT的模型转换框架
6．1．1 模型转换基本定义
6．1．2 模型转换框架
6．1．3 转换定义语言QVT
6．2 能力需求模型到可执行仿真模型转换的设计与实现
6．2．1 模型转换过程
6．2．2 应用活动图模型的形式化
6．2．3 基于QVT和XSLT的模型转换实现
第七章 复杂信息系统能力需求方案组合鲁棒优化技术
7．1 复杂信息系统能力需求方案组合基本问题分析
7．2 复杂信息系统能力需求方案组合基本问题模型
7．3 复杂信息系统能力需求方案组合模型
7．3．1 经典Markowitz模型
7．3．2 复杂信息系统能力需求方案组合模型
7．3．3 复杂信息系统能力需求方案组合的开发风险建模
7．3．4 目标函数和约束条件
7．3．5 综合主、客观权重信息的组合赋权方法
7．4 复杂信息系统能力需求方案组合鲁棒优化模型
7．4．1 不确定集的构造
7．4．2 能力需求方案组合的鲁棒优化模型
7．4．3 鲁棒优化模型的求解方法
参考文献
1．1 复杂信息系统能力需求背景介绍
1．1．1 复杂信息系统需求开发技术
1．1．2 复杂信息系统能力需求开发
1．1．3 能力概念定义
1．2 复杂信息系统能力需求开发过程
1．3 能力需求描述的概念框架
1．3．1 概念框架的基本构成
1．3．2 业务目标视图模型
1．3．3 节点视图模型
1．3．4 资源视图模型
1．3．5 活动视图模型
1．3．6 信息视图模型
1．3．7 能力视图模型
1．3．8 互操作性视图模型
1．3．9 事件跟踪视图模型
1．4 能力需求描述方法
1．4．1 能力需求三层建模框架
1．4．2 复杂信息系统能力需求元概念模型
1．4．3 支持领域特定描述语言的对象建模技术
1．5 能力需求获取方法
1．5．1 需求获取概念框架
1．5．2 能力概念框架引导的对象建模过程
第二章 复杂信息系统能力需求领域知识复用技术
2．1 基于本体的领域知识复用技术
2．2 领域知识复用层次
2．2．1 基于应用概念的领域本体抽取与合并
2．2．2 领域知识复用方法
2．3 领域复用算法
2．4 本体映射方法
2．4．1 本体描述语言符号
2．4．2 特征解析
2．4．3 候选映射选择
2．4．4 相似度计算与综合
2．4．5 阈值的选取及生成映射
2．4．6 迭代
2．4．7 用户筛选
2．4．8 具体算法
2．5 本体合并方法
2．6 算法复杂度分析
2．6．1 映射的复杂性
2．6．2 合并的复杂性
第三章 复杂信息系统能力需求形式化验证技术
3．1 需求模型形式化验证框架
3．2 模型语义定义及其形式化
3．2．1 复杂信息系统能力概念化元本体
3．2．2 OWL DL本体与SHOIN（D）知识库之间的转换规则
3．2．3 领域概念模型定义及其形式化
3．2．4 系统知识模型定义及其形式化
3．3 互操作性知识定义及其形式化
3．3．1 互操作性定义
3．3．2 系统互操作性等级评估方法
3．3．3 系统互操作性知识定义及形式化
3．4 领域知识一致性验证
3．4．1 领域一致性问题分析
3．4．2 领域知识一致性检查
3．5 系统互操作性等级判定
3．5．1 单系统互操作性判定
3．5．2 多系统互操作性等级判定
第四章 基于SysML的复杂信息系统效能分析技术
4．1 复杂信息系统效能与能力需求
4．1．1 能力与效能的概念
4．1．2 能力与效能的关系
4．2 基于SysML的复杂信息系统效能分析建模方法
4．2．1 SysML对复杂信息系统效能分析建模的支持
4．2．2 基于需求图的系统目标需求分析
4．2．3 基于活动图的系统动态行为建模
4．2．4 基于块图的静态结构建模
4．2．5 基于参数图的参数关系建模
第五章 基于fUML的复杂信息系统能力需求可执行技术
5．1 复杂信息系统行为的建模语义
5．2 能力需求模型的动作语义
5．2．1 动作语义的基本概念
5．2．2 可执行动作语义元模型
5．3 能力需求模型的基本动作
5．3．1 读写动作
5．3．2 激活动作
5．3．3 复合动作
5．3．4 计算动作
5．3．5 动作的执行机制
5．4 动作语义在能力需求建模语言中的映射
第六章 基于MDA的复杂信息系统能力需求模型转换技术
6．1 基于QVT的模型转换框架
6．1．1 模型转换基本定义
6．1．2 模型转换框架
6．1．3 转换定义语言QVT
6．2 能力需求模型到可执行仿真模型转换的设计与实现
6．2．1 模型转换过程
6．2．2 应用活动图模型的形式化
6．2．3 基于QVT和XSLT的模型转换实现
第七章 复杂信息系统能力需求方案组合鲁棒优化技术
7．1 复杂信息系统能力需求方案组合基本问题分析
7．2 复杂信息系统能力需求方案组合基本问题模型
7．3 复杂信息系统能力需求方案组合模型
7．3．1 经典Markowitz模型
7．3．2 复杂信息系统能力需求方案组合模型
7．3．3 复杂信息系统能力需求方案组合的开发风险建模
7．3．4 目标函数和约束条件
7．3．5 综合主、客观权重信息的组合赋权方法
7．4 复杂信息系统能力需求方案组合鲁棒优化模型
7．4．1 不确定集的构造
7．4．2 能力需求方案组合的鲁棒优化模型
7．4．3 鲁棒优化模型的求解方法
参考文献
猜您喜欢
