基于模型的系统工程——综合运用OPM和SysML

1开始建模

• 第一节 事故自动响应系统
• 第二节 OPM功能作为种子原理
• 第三节 识别系统功能
• 第四节 识别系统受益者
• 第五节 过程变换对象

2文本描述和仿真推演

• 第一节 OPL――英语的一个子集
• 第二节 状态和推演
• 第三节 OPM模型的仿真推演

3用链接联系事物

• 第一节 过程链接与结构链接
• 第二节 添加支持对象
• 第三节 添加结构链接
• 第四节 物理事物与信息事物
• 第五节 模型的事实和OPL段落
• 第六节 环境事物与系统事物
• 第七节 初始状态和终止状态
• 第八节 触发状态和事件链接

4SysML――用例图、模块图、状态机图

• 第一节 SysML用例图
• 第二节 SysML模块和模块图
• 第三节 SysML状态机图

5通过放大进行细化

• 第一节 测量事故严重程度
• 第二节 放大：在一个新OPD图中细化一个过程
• 第三节 OPD对象过程图树
• 第四节 OPM模型事实表示原理
• 第五节 事故严重程度属性及其测量
• 第六节 系统模拟：推演测试

6系统的动态行为

• 第一节 在轻度毁伤时退出
• 第二节 消息创建和发送
• 第三节 过程执行顺序：OPM时间轴原理
• 第四节 救援来了
• 第五节 当前设计的执行线程

7控制系统的行为

• 第一节 布尔对象作为分支条件
• 第二节 条件链接与手段链接
• 第三节 继承关系
• 第四节 放大到事故严重程度测量
• 第五节 参与约束
• 第六节 逻辑运算符：OR与XOR
• 第七节 事故严重程度测量过程的细化
• 第八节 事物的范围：信号作为临时对象
• 第九节 诊断如何完成

8抽象和细化

• 第一节 放大――在新图中细化过程
• 第二节 放大后的消息处理过程
• 第三节 ACR系统结构视图

9概念建模――目的与背景

• 第一节 系统、模型和系统工程
• 第二节 一种基础的系统工程OPM本体
• 第三节 对象、状态、变换和过程的定义
• 第四节 系统及相关概念
• 第五节 语言和建模

10事物――对象与过程

• 第一节 面向对象与对象过程法
• 第二节 存在、事物和变换
• 第三节 对象标识
• 第四节 语法和语义对比
• 第五节 OPM过程链接独特性原理
• 第六节 过程的判定
• 第七节 OPM元素命名
• 第八节 事物的定义
• 第九节 OPM事物的性质
• 第一十零节 事物的临界情况
• 第一十一节 运算符、运算对象和变换

11对象过程语言――文本描述

• 第一节 OPL――文本描述
• 第二节 OPL的两个目的
• 第三节 OPM图、文等价原理
• 第四节 OPM模型结构的元模型
• 第五节 OPL的保留短语和非保留短语
• 第六节 OPM双模式描述的动机
• 第七节 世界语――人类可读的自动生成的文本

12SysML――基础和视图

• 第一节 UML――统一建模语言
• 第二节 SysML的支柱
• 第三节 需求视图
• 第四节 模块和结构
• 第五节 活动图
• 第六节 序列图
• 第七节 需求图
• 第八节 参数图和约束属性块
• 第九节 SysML与OPM比较
• 第一十零节 SysML与OPM的综合运用

13系统动态特性

• 第一节 变换和影响
• 第二节 存在与变换
• 第三节 过程链接
• 第四节 变换链接
• 第五节 支持链接
• 第六节 前置和后置对象集
• 第七节 特定状态的过程链接
• 第八节 特定状态的支持链接
• 第九节 特定状态的变换链接
• 第一十零节 特定状态的影响链接

14系统结构特性

• 第一节 结构关系
• 第二节 结构关系的对称性和传递性
• 第三节 结构关系作为状态保持过程

15参与约束和分支

• 第一节 结构和过程参与约束
• 第二节 结构参与约束
• 第三节 速记符和保留字
• 第四节 基数
• 第五节 过程参与约束
• 第六节 结构关系的分配律
• 第七节 分支、柄和齿
• 第八节 齿事物集

16基本结构关系

• 第一节 关系符号和参与者
• 第二节 关系命名和OPL语句
• 第三节 结构层次、传递性和用户自定义符号

17组成关系

• 第一节 基本概念
• 第二节 组成关系作为分支
• 第三节 语义Web实例
• 第四节 组成关系命名
• 第五节 UML和SysML中强组成关系与弱组成关系
• 第六节 表示部分的顺序
• 第七节 组成关系和带标签的结构关系
• 第八节 非完备的组成关系
• 第九节 参数化的部分约束――微语言

18表征关系

• 第一节 事物和特征
• 第二节 属性和操作：两类特征
• 第三节 UML/SysML和OPM中特征的对比
• 第四节 OPM事物和特征命名的唯一性
• 第五节 四类表征关系
• 第六节 基本的结构层次
• 第七节 属性命名问题
• 第八节 特征和链接的属性

19状态与取值

• 第一节 状态定义
• 第二节 状态隐藏和显示
• 第三节 取值：状态的数值化
• 第四节 状态转移：当过程起作用
• 第五节 路径标签和触发器
• 第六节 大脑“自组织临界”模型
• 第七节 特定状态的结构链接定义
• 第八节 特定状态的结构链接定义

20继承关系与实例关系

• 第一节 继承与实例化：简介
• 第二节 继承
• 第三节 通过辨别属性来特殊化
• 第四节 特定状态的表征链接
• 第五节 类型-实例
• 第六节 实例的相对性
• 第七节 约束属性值
• 第八节 过程实例

21复杂性管理――细化与抽象

• 第一节 复杂性管理的需求
• 第二节 模型复杂度声明
• 第三节 基于侧面与基于细节分解
• 第四节 完备性和简明性的权衡
• 第五节 状态显示和状态隐藏
• 第六节 展开和折叠
• 第七节 图内展开和新图展开
• 第八节 端口折叠
• 第九节 放大和缩小
• 第一十零节 同步和异步过程细分
• 第一十一节 放大和展开的对等
• 第一十二节 系统框图和最终对象过程图
• 第一十三节 OPD对象树和对象林
• 第一十四节 缩小
• 第一十五节 简化一个OPD
• 第一十六节 考虑过程链接优先级的抽象
• 第一十七节 放大时的链接迁移
• 第一十八节 视图创建：第四类细分机制
• 第一十九节 自中间向两头作为架构设计的常见做法
• 第二十零节 OPM系统模型中的导航

22OPM操作语义和控制链接

• 第一节 事件―条件―动作控制机制
• 第二节 前置条件、过程前置对象集和后置对象集
• 第三节 控制链接的种类
• 第四节 事件链接
• 第五节 条件链接
• 第六节 异常链接
• 第七节 变换率
• 第八节 基于OPM的运算
• 第九节 集合和反复
• 第一十零节 放大过程语境中的操作语义
• 第一十一节 相关对象集实例变换
• 第一十二节 UML的对象约束语言

23逻辑算子与概率

• 第一节 逻辑“与”的过程链接
• 第二节 逻辑“非”
• 第三节 逻辑“异或”与“或”链接符
• 第四节 分散和汇聚“异或”和“或”链接
• 第五节 “异或”组合和“或”组合
• 第六节 逻辑“异或”与“或”：特定状态的链接扇形
• 第七节 多控制链接的“或”语义
• 第八节 链接概率和概率链接扇形

24ISO 19450标准概述

• 第一节 The ISO 19450 介绍
• 第二节 ISO 19450术语、定义和符号
• 第三节 OPM原理和概念
• 第四节 ISO 19450的4个附件