内容简介
本文首先对复杂系统的建模技行研究，系统论述了建模的目标、原则和策略，建模语言的类型、定义和规范，以及建模方法的基本类型和复杂类型。在此基础上，使用适合于复杂系统的建模语言和建模方法，详细论述了复杂系统能力需求的建模过程和路线，并讨论了能力需求模型的形式化定义框架和验证方法。复杂系统的能力需求建模涉及众多来自不同背景、代表不同诉求、范围广泛的利益相关方。一个切合实际、定义良好的建模技术可以帮助系统分析人员、有效地引导利益相关行协同，共同完成复杂系统能力需求的建模、定义和验证。
目录
第1章绪论
1.1目标及意义
1.2相关研究
1.3相关概念
1.4主要工作
1.5本书结构
第2章建模技术
2.1建模的目标、原则和策略
2.2建模语言
2.3建模方法
2.4形式化技术
2.5小结
第3章能力需求元模型
3.1元模型的作用
3.2探索需求的本体基础
3.3构建能力需求元模型
3.4能力需求元模型的基本要素
3.5能力需求元模型的作用
3.6小结
第4章复杂系统能力需求建模
4.1基本建模思想
4.2使命分析
4.3组织视图建模
4.4业务视图建模
4.5目标视图建模
4.6能力视图建模
4.7多视图的建模路线
4.8小结
第5章能力需求模型的一致检查
5.1一致问题简介
5.2一致问题产生的原因
5.3一致检查内容
5.4一致规则
5.5一致检查机制
5.6一致检查过程
5.7小结
第6章能力需求模型的形式化框架
6.1基本研究思路
6.2逻辑框架
6.3重要概念和关系的形式讨论
6.4角色依赖关系的形式讨论
6.5小结
第7章能力需求模型的形式化验证
7.1符号化模型检测
7.2互模拟和模拟
7.3ACTL*K模型检测的基本思路
7.4时序和意向公式的检测
7.5动态公式的检测
7.6小结
第8章应用示例
8.1能力需求建模
8.2模型一致检查
8.3模型验证
8.4小结
参考文献
摘要与插图
第1章绪论
无论是大型系统还是小型系统，简单系统还是复杂系统，其研制和开发的主要目标是为了满足用户需求。用户对系统所提出的需求，将直接影响系统的建设方向。系统的研制和开发终与否，也与用户需求有着密切的关系。随着时代和技术的发展，人们的需求越来越难以把握，所要构建的系统也越来越复杂，系统研制和开发度常常落后于用户需求的变化，对系统需行建模变成了一件困难和代价高昂的事情。只有不断创新和更新系统需求建模技术，才能跟上时代和技术的发展步伐，才能提高系统研制和开发的率。
本书针对复杂系统的能力需求建模技行研究。首先梳理了相关的建模技术，论述了各种建模语言、建模方法以及形式化技术。在此基础上，探讨了复杂系统能力需求的本体基础，规范了能力需求的描述而提出一套较为完整的建模方法体系。后探讨了能力需求模型的形式化检查和验证技术，以期有效地检查和验证模型的正确。本书的研究对规范复杂系统能力需求的建模具有较强的指导意义。
1.pan style="font-family:宋体">目标及意义
复杂系统的需求建模问题可以划分为“问题存在领域”和“问题求解技能”两方面，这是一个经典的工程问题。在“问题存在领域”方面，由于系统本身的复杂以及系统所处环境的复杂，使得复杂系统的需求呈现出不确定和复杂。新系统的研制更多依赖于已有系统的需求、工程经验及产品，许多系统更是采取“边研制、边提需求”的方式开展。在这样的情况下，研制和开发新系统的失败率通常是高的。为解决这一问题，需要借鉴需求工程研究和应用领城的一些经验，结合复杂系统需求的特点，提出一套系统化的建模方法来帮助军事人员和技术人员完整、、一致地获取信息系统需求。这也正是本书研究的一个出发点。复杂系统需求建模在“问题求解技能”方面一直受到广泛的重视。良好的建模技术能够有效地指导或引导系统模型的构建以及系统需求的获取、描述、分析和验证等活动。随着信息技术的发展，各行业、企业都纷纷研究和创建各具和时代特征的建模技术，以有效支持系统及其需求的建模。不同的建模技术所采用的语言、方法和工具也各有不同，大多数建模技术主要针对软件系统。复杂系统的建模技术，仍旧是一个需要着力研究的开放命题。
复杂系统的需求是一个多层次的复杂体系。本书的目标之一是讨论能力需求的本体基础，分析能力需求建模的核心概念要素，规范能力需求的描述而提出一套较为系统的建模方法体系，帮助用户和系统分析人员有效地获取信息系统的能力需求，对复杂系统的设计和开发提供支撑。
另外，提高需求的形式化程度是需求工程领域的一个重要趋势。使用形式化技术对需求模行定义和验证，能暴露出系统需求中出现的不一致、二义和不完整，有助于提高对需求的理解，把逻辑错误限制在系统设计的早期，提高系统需求文档正确，降低整个系统开发和维护的成本。本书的目标之二是探讨能力需求模型的形式化框架，并在此基础上给出验证方法，从而帮助分析人员对能力需求模行有效的定义和验证。
……