协调行为与活动

正如在前面的主题中所讨论的，系统建模语言（SysML）有两个基本方面，类似于人类用来交流的自然语言中的两个重要语法类别，即名词和动词。在 SysML 中，这些是结构和行为构造；结构结构类似于自然语言中的名词，行为结构类似于动词。

当我们讨论包和块时，我们在前面的主题中提到了语言的结构方面。我们现在将现在转向主要的行为图，即活动图。还有许多其他的行为图，实际上行为在结构图中以操作的形式可见，并且在直接分配给块的行为中也是可见的。

虽然 SysML 的新手，第一次查看活动图，可能会想起流程图，但他们很快就会知道活动图的语法和语义远远超出了流程图。活动图正式基于称为Petri Nets的数学分支，它使用标记系统来指示动作的序列以及流经系统的项目。流动的项目可以是信息项目、物理项目甚至是控制信号。我们将引用这个令牌系统作为阐明活动图工作的一种方式。

该图描述了车辆的加速度，显示了活动图中常见的许多元素。您将在后续主题中看到，这是一个非常富有表现力的图表，如果精心制作，可以严谨地传达大量信息。

事实上，活动图的语法是任何 SysML 图中最丰富的语法之一，当您添加Enterprise Architect包含的用于处理这些图的丰富而有效的机制和工具时，建模者就有机会表达它们本身使这些成为系统表示中最通用但也最具挑战性的部分之一。

SysML活动图基于同名UML图，但在两个方面增加了额外的语义：

• 连续流，允许限制实体在活动中沿边缘流动的速率，以及确保最新信息可用于行动的机制

• 概率，引入到活动中以包括一个值可用于参数集的边缘或输出的可能性

虽然该图可以说是基于我们自然语言中的动词序列化机制（动词串与名词连接在一起），但如前所述，它的正式起源于称为Petri 网和令牌流的数学分支。建模者必须理解语言的标记流方面，并且能够学习可视化这些流经物件流的不可见项目，这些项目被滞留在缓冲区中，并受其他语言机制控制，这些语言机制指导项目如何从行动中流动。如果没有这种理解，就很难解释一个活动图，包括如何控制序列的行动、如何消耗输入以及如何创建输出。

活动图与它们的近亲（如流程图或进程流程图）之间的显着区别在于能够在这些行为元素和结构元素之间建立关系。

系统工程学科的A基本方面是功能与形式函数的能力，而且还能够在它们之间创建映射，从而暴露与架构和设计的这两个组成部分相关的接缝。大规模、复杂系统工程问题的经验证据证明，这种方法可以带来深远的好处。

Enterprise Architect提供了一个丰富的工具箱来处理这些关系，不仅包括将系统行为以活动和行动的形式分配给块的能力，而且还能够将这些元素与块拥有的行为特征相关联，例如操作。