仅供个人学习记录

流建模

对系统不同组成之间的流做出定义可提供它们之间交互作用的抽象视图
项是定义为流动事物的通用术语。流属性定义了该块可以流入或流出的项

为流动的项建模

项item用于描述一类流动的实体，可以是物质流（如物质和能量），也可以是信息流。可以是块、值类型或者是信号。

项作为块建模，通常包括描述项特征的值属性，如在表示流动的水block中有温度和水压。项可以有内部结构，如流经组装线上的汽车或者是数据总线上发送的复杂消息。

控制流/信息流可以用信号表示。信号用于控制组成的行为，而该组成是信号流向的目标。
SysML允许（但非要求）借由流属性在信号流入或流出块时产生事件。这些事件可以由块的行为访问，因此可用于控制信号流向的目标组成的行为。

项可以在不同抽象层级定义，并可以在整个设计过程不断精化。如一个安全系统至操作员的告警流可以在较高抽象层表示为一个信号。然而在详细分析告警信号如何传递的本质时，项可以进一步重定义，如告警信号以声频方式通信，则可以重定义为一个块，包含声音的幅度和频率属性

流属性

块可以包含流属性flow property，规定哪些可以流入或流出块，每个流属性都有名称、类型、多重性和方向
标签：flow properties ，格式：direction property name:item type[multiplicity]

内部块图各组成间的流建模

流属性兼容性

项流经组成间连接器的能力依赖于连接器两端组成中所规定的流属性。对于由源组成至目标组成的流，连接器两端都必须有一个值属性，该值属性至少具备一个兼容类型和方向。

• 如果目标流属性的类型与源流属性相同或者是源流属性的泛化，则两者是兼容的
• 如果两个属性都有输入/输出方向，或它们方向相反，则这两个流属性的方向也兼容
• 如果基于类型和方向有多个的流属性匹配，则基于其名称确定可兼容的流属性
  这两个流属性的类型和方向均兼容，允许Light由Light Source流出并流至Light Sensor

由Lamp发射的beam光束类型为Unpolarized Light与Polarized Light Sensor的属性incoming light入射光并不兼容。报错如下：

流属性传播

扇入扇出的概念，不是很清晰，看不懂

项流

项流item flow用于规定实际流经连接器的项。项流决定了流动项的类型和流的方向，如水可以在泵与容器间流动。
项流可以是流属性类型的泛化层级中的某些其他元素

项流必须与连接器各端的流属性兼容。项流的唯一约束是其必须与源流属性、目标流属性在相同的分类层级。SysML兼容性约束较为松散，为如何建立项流模型提供了灵活性。

保持兼容性的一个通用方法是项流的类型与源流属性相同或者是前者比后者更通用，目标流属性类型与项流类型相同或者是前者比后者更通用。简单来说就是流应当规定得越来越通用

项流以连接器上的黑实心箭头表示，相同方向的项流在该箭头附近以逗号分隔的列表表示。定义后每个项流都有单独类型名称和项属性名称。方向相反的项流由单独连接器表示。

不知道怎么显示出coherent:Coherent Light、polarized:Polarized Light和light:Light这种显示，只是这是了Item Flow的Conveyed Classifier属性设置了是Coherent Light、Polarized Light和Light

项属性可由参数方程约束，后面章节会说