SysML精粹学习笔记一

一、MBSE（Model Based Systems Engineering，基于模型的系统工程）

1.MBSE的三大支柱：建模语言、建模方法、建模工具
2.能够构建和阅读形式良好的模型，是MBSE的核心
3.SysML与方法无关；你可以使用SysML创建系统模型，不管你认为对于自己的需求哪种建模方法最合适
4.我强烈推荐你选择一种兼容XML元数据交换（XML）的工具。XML标准让兼容的工具可以交换模型数据。

二、系统建模语言概览

1.SysML并不是一种独立的语言。而是统一建模语言（Unified Modeling Language，UML）子集的一种形式（扩展）。
2.SysML：一种建模语言。了解SysML不是什么也同样重要：它不是一种建模方法。
3.SysML图分类

      你要知道带空三角形箭头的线的意义，才能够理解这幅图的意思。那些线叫做泛化。你可以按照箭头的方向把它读作“…….是……的一种类型”。
4.每种类型图的目的的简要总结
      模块定义图用于表示模块和值类型之类的元素（定义能够在可操作的系统中存在的事物类型）以及那些元素之间的关系。BDD的通常用法包括显示系统层级关系树以及分类树。

      内部模块图用于指定单个模块的内部结构。更精确的说法是，IBD会显示模块内部组成部分之间的关系，以及它们之间的接口。

      用例图用于表达系统执行的用例，以及引起用例的行为者和其中的参与者。用例图是系统在行为者的协作下所执行服务的黑盒视图。

      活动图用于指定一种行为，主要关注控制流程，以及输入通过一系列动作转换为输出的过程。活动图一般用作一种分析工具，以理解和表达系统所需要的行为。

      序列图用于指定一种行为，主要关注模块的组成部分如何通过操作调用和异步信号交互。序列图通常用作详细设计工具，以精确地把一种行为指定为生命周期开发阶段的输入项。序列图也是指定测试案例的一种优秀机制。

      状态机图用于指定一种行为，主要关注模块的一系列状态，以及响应事件时，状态之间的可能转换。状态机图和序列图一样，都可以精确说明一个模块的行为，可以作为生命周期开发阶段的输入项。

      参数图用于表示一种或多种约束——特别是等式和不等式——如何与系统的属性绑定。参数图支持工程分析，包括性能、可靠性、可用性、电力、人力和成本。参数图还可以用于支持候选物理架构的优劣势研究。

      包图用于显示模型以包相互包含的层级关系形式组织的方式。包图可能还会显示包所包含的模型元素，以及包之间的依赖关系和它们包含的模型元素。

      需求图用于表示基于文字的需求、需求之间的关系（包含关系、继承关系以及复制关系），以及满足、验证和改善它们的其他模型元素。

5.通用的图概念
      每幅图都会有外框、内容区域(也叫做画布)和头部。

      头部信息的格式是一种最重要的图概念。头部一般包含四段信息：

• 图的类型
• 模型元素类型
• 模型元素名称
• 图的名称
  
        图的类型以SysML定义的缩写显示：
• bdd = 模块定义图
• ibd = 内部模块图
• uc = 用例图
• act = 活动图
• sd = 序列图
• stm = 状态机图
• par = 参数图
• req = 需求图
• pkg = 包图
        每种图可表示的模型元素类型

图类型	可表示的模型元素类型
模块定义图	包、模型、模型库、视图、模块、约束模块
内部模块图	模块
用例图	包、模型、模型库、视图
活动图	活动
序列图	交互
状态机图	状态机
参数图	模块、约束模块
需求图	包、模型、模型库、视图、需求
包图	包、模型、模型库、视图、概况

      模型的图永远不是模型本身；它只是模型的视图。

      你不能因为某个特性在一幅图中没有出现就断定它不存在；它可能会在模型的另一幅图中出现，也可能根本就不出现。