复杂信息系统能力需求可执行建模与仿真

第1章  绪论 1 1.1  能力需求的基本概念 1  1.1.1  能力 1  1.1.2  能力概念模型 2  1.1.3  基于能力的需求开发 4 1.2  需求建模方法 6  1.2.1  传统的建模方法 6  1.2.2  基于SysML的建模 9  1.2.3  可执行建模 16  1.2.4  建模方法比较 22 1.3  模型仿真方法 23  1.3.1  基于Petri网的仿真方法 23  1.3.2  基于DEVS的仿真方法 26  1.3.3  其他模型仿真方法 26 1.4  建模与仿真工具 27  1.4.1  TAU G2 27  1.4.2  Rhapsody 28  1.4.3  ExtendSim 28  1.4.4  System Architect 29  1.4.5  Computer-Aided Prototype System 29  1.4.6  其他工具 29 第2章  能力需求的可执行建模框架 30 2.1  可执行建模框架 30  2.1.1  多视图可执行建模框架 30  2.1.2  目标视图 32  2.1.3  业务视图 33  2.1.4  系统视图 34  2.1.5  能力视图 35  2.1.6  四视图之间的关系 36 2.2  能力视图建模 37  2.2.1  基于能力需求分析的仿真过程 37  2.2.2  能力概念元模型的扩展 39  2.2.3  能力需求建模语言的扩展 41 2.3  可执行能力需求模型开发及仿真过程 43 第3章  基于SysML的能力需求建模 47 3.1  SysML对能力需求建模的支持 47  3.1.1  MDA与复杂系统能力建模 47  3.1.2  SysML对能力需求静态建模的支持 48  3.1.3  SysML对能力需求动态建模的支持 53 3.2  能力需求描述语言的语法及语义 55  3.2.1  CRDLS抽象语法 56  3.2.2  CRDLS表面语法 59  3.2.3  CRDLS语义 61 3.3  基于CRDLS的能力需求建模方法 67  3.3.1  基于RD的目标需求分析 68  3.3.2  基于AD的动态行为建模 70  3.3.3  基于BD的静态结构建模 71 第4章  能力需求模型的可执行语义 77 4.1  动作语义的基本概念 77  4.1.1  UML动作语义 77  4.1.2  动作语义规约语言 78 4.2  可执行动作语义元模型 79 4.3  可执行动作语义的抽象语法 80  4.3.1  读写动作 82  4.3.2  复合动作 86  4.3.3  计算动作 87  4.3.4  集合动作 88  4.3.5  调用活动动作 89 4.4  可执行动作语义的表面语法 89 4.5  可执行动作语义的实现机制 92 第5章  能力需求模型的仿真评估 95 5.1  能力需求模型的仿真机理 95 5.2  能力需求模型的形式化 97  5.2.1  应用活动图模型 98  5.2.2  能力需求模型的BNF文法描述 99  5.2.3  基于XML的能力需求模型 102 5.3  需求模型到仿真模型的转换 105  5.3.1  AADM的扩展 105  5.3.2  AADM到仿真模型的映射算法 106  5.3.3  算法分析 108 5.4  模型仿真执行机理 109 5.5  能力的效能评估 111  5.5.1  能力指标分析方法 111  5.5.2  能力的验证与评估 114 第6章  能力需求模型的可执行仿真工具 117 6.1  仿真工具的需求分析 117  6.1.1  仿真工具的设计需求 117  6.1.2  构建仿真虚拟平台框架 118 6.2  仿真工具的总体设计 119  6.2.1  体系结构设计 119  6.2.2  工具的开发环境 120 6.3  各模块的设计与实现 122  6.3.1  展现层 122  6.3.2  业务逻辑层 124  6.3.3  资源层 129 参考文献 134