-
内容大纲
本书从复杂信息系统自适应逻辑建模与验证、自适应过程时间特性建模与分析、自适应行为不确定性建模与决策三个方面着手。系统、全面地介绍了面向复杂信息系统的自适应软件建模与可靠性验证分析相关的技术、理论和方法。本书共6章,其中,第1章重点介绍了自适应软件建模与验证相关的基础知识,包括自适应软件基本概念、基本术语;第2章重点介绍了复杂信息系统自适应逻辑建模与验证技术,包括可视化建模、模型转换、形式化建模与验证等;第3章重点介绍了复杂信息系统自适应过程时间特性建模与分析,包括时间特性定义、建模与形式化验证分析等;第4章重点介绍了复杂信息系统自适应行为不确定性建模与决策,包括不确定性建模、基于不确定性的自适应决策等;第5章重点介绍了自适应软件建模与验证支撑工具开发方法;第6章介绍了自适应软件建模与验证方法的案例应用。
本书可供高等院校软件工程专业教师、研究生和高年级本科生阅读,也可供从事复杂信息系统需求分析、建模设计和开发的工程技术人员参考。 -
作者介绍
-
目录
第1章 概述
1.1 自适应软件简介
1.2 自适应软件建模技术研究现状
第2章 复杂信息系统自适应逻辑建模与验证
2.1 问题分析与理论基础
2.2 复杂自适应逻辑建模与验证总体思路
2.3 基于扩展UML的自适应软件可视化建模
2.4 自适应软件扩展UML模型到Event-B的转换
2.5 Event-B精化模式定义及自适应性质验证
2.6 实验验证
2.7 相关工作对比分析
2.8 本章小结
第3章 复杂信息系统自适应过程时间特性建模与分析
3.1 问题分析与理论基础
3.2 自适应过程时间特性建模与分析方法总体思路
3.3 自适应过程时间特性定义及形式化模板构建
3.4 Event-B模型到时间自动机网络的转换
3.5 模型检验与定理证明相结合的自适应性质验证
3.6 案例分析
3.7 相关工作对比分析
3.8 本章小结
第4章 复杂信息系统自适应行为不确定性建模与决策
4.1 问题分析与理论基础
4.2 自适应行为不确定性建模方法总体思路
4.3 面向自适应行为不确定性的Event-B扩展
4.4 自适应软件Event-B模型到MDP模型的映射
4.5 基于MDP概率模型检验的自适应推理和决策方法
4.6 案例分析
4.7 相关工作对比分析
4.8 本章小结
第5章 自适应软件形式化建模与验证支撑工具
5.1 开发平台及工具
5.2 支撑工具研制总体思路
5.3 支撑工具研制与开发
5.4 讨论
5.5 本章小结
第6章 自适应软件形式化建模与验证方法领域应用
6.1 地下工程火灾应急扑救系统自适应逻辑建模与验证
6.2 智能建筑运维软件自适应过程时间特性建模与分析
6.3 岛礁运输补给自适应系统行为不确定性建模与分析
6.4 本章小结
参考文献
附录1 Event-B精化模式推导及证明
附录2 MDP模型代码
同类热销排行榜
- 父与子全集(彩色典藏版)11.92
- 快把我哥带走(2)15.92
- 零基础学画漫画(3Q版素描技法篇)8
- 暴走漫画(9)4
- 约翰·汤普森简易钢琴教程(1原版引进)6.4
- 暴走漫画(5)4
- 暴走漫画(10)4
- 凹槽练字板(汉语常用字行书)14
- 楷书入门基础教程(楷)/墨点练字宝14
- 基础素描教程(1)4.4
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...