《SysML精粹》学习记录--第十二章

---

第十二章：分配——横跨关系

分配关系简介

  系统设计过程中存在分配：为结构分配需求、为结构分配行为、为物理结构分配逻辑结构、为结构分配资源（即人力、电力、成本、吞吐量等）。SysML支持分配的概念，让建模者可以直接在系统模型中记录分配活动的结果。在模型中创建分配关系确保了从架构级别到下一级别的设计一致性，让建模者可以在生命周期进行的过程中有效而系统地回顾那些决定。
  分配指的一般是横跨的关系。建模者可以在任意两个模型元素之间创建分配关系，不管它们包含在系统模型的哪个位置，也不管它们出现在哪种图上。分配关系会横跨模型的各种方面：需求、行为、结构和约束。为了达到这个目的，SysML允许在九种SysML 图中的任意一种中显示分配关系，但并没有一种图来专门显示这种关系。
  分配关系可以确立一种横跨关系，从而为在模型中导航提供一种有效的方法，并确保模型的各个组成部分可以适当地整合。
  行为分配（也叫做功能分配）指的是为结构元素分配行为元素的活动。最常见的情况下，这会采用以下两种特别形式中的一种:（1）为模块分配一个行为、交互或者状态机行为；（2）为组成部分属性（属于一个模块）分配一个动作。分配关系的标识法和依赖一样（带有开口箭头的虚线），但带有<<allocate>>元类型。被分配的元素会显示在线的尾端；接收分配的元素会显示在线的箭头端。
  结构分配指的是为一个结构元素分配另一个结构元素的活动。常见的结构分配形式包括：（1）为物理模块分配逻辑模块；（2）为硬件属性分配软件属性。在系统设计中，一种常见的技术是在生命周期早期定义逻辑系统架构，以更好地理解系统必须做什么，在稍后定义一种或多种备选的物理架构，说明系统将如何做。在系统开发过程中，把软件组件的部署指定给硬件节点，是一种常见的需求。UML提供了一种图（部署图）来专门解决这个问题，而SysML 并没有提供。建模者可以使用分配关系来替代部署图在SysML模型中满足这种需求。在SysML中并没有定义<<software>>和<<hardware>>元类型，它们都是自定义的元类型，建模团队一般会定义它们，并应用在模块、组成部分属性和引用属性上，从而澄清那些元素的本质。
  需求分配：为结构分配需求的活动（可能是最常见的分配形式）。建模者不会在系统模型中使用SysML分配关系来表示需求分配，可以使用在第十一章中讨论的一种需求关系，即<>关系。

分配关系标识法

  直接标识法、分隔框标识法、插图标识法、矩阵和表格都适用于分配。此外，对于分配还可以使用一种无法对需求关系使用的标识法：分配活动分区。
  1）直接标识关注关系本身。但是，它的使用仅限于能够合理地显示在同一幅图上的两个元素之间的分配。分配的本质就是一种横跨的关系，并不总是符合这个条件。
  2）可以在所有能够显示分隔框的元素类型上使用分隔框标识法（例如，BDD上的模块和活动，IBD上的组成部分属性和引用属性）。分隔框名称告诉看图者分配关系的方向。如果分隔框的名称是allocatedTo，那么列在分隔框中的元素都位于关系的箭头端（也就是说，它们是分配的目标）。如果分隔框的名称是allocatedFrom，那么列在分隔框中的元素都位于关系的尾端（也就是说，它们是被分配的元素）。优点：分隔框标识法要比直接标识法和插图标识法更精简。可以在一个分隔框中列举多个元素（只要对于拥有分隔框的元素来说，它们都位于分配关系的同一端）。缺点：它仅用于能够显示分隔框的元素（例如:模块、组成部分属性、活动）。那些无法显示分隔框的元素（例如:执行者、项目流等）无法使用该标识法。
  3）插图标识法只是附着在一个元素上的注释（也就是一个笔记符号）。插图标识法的内容和分隔框标识的内容一样：它指定了分配关系的方向，并列举了在另一端的元素。优点：具有多功能性，它可以附着在任意类型图中的任意类型元素上；缺点：其最浪费空间。
  4）矩阵在系统工程文档中非常常用，但矩阵并不是一种图形标识法（而大多数SysML标识法都是图形标识）。然而，SysML支持矩阵标识法，因为它是在最少空间中表示多种关系的最佳机制（优点）。缺点：它不会显示元素的特性，止于它们之间的关系。矩阵在打印文档中的时候，不易于阅读。
  5）SysML支持表格，其优点为：表格节省空间，也没有矩阵那么紧凑，同时表格既可以显示元素的属性，也可以显示元素之间的关系。缺点是：打印文档中不易阅读。
  6）分配活动分区是一种活动分区，它在头部的名称前面带有<<allocate>>元类型。带有<<allocate>>元类型和没有元类型的活动分区之间的区别非常细微，对日常建模工作来说没有任何影响。有了分配活动分区，得到分配的行为元素总是活动中的一个节点(更常见的是一个活动)；接收分配的结构元素（名称显示在分区的头部）可能或者是一个模块，或者是一个组成部分属性。如果结构元素是一个模块，那么分配会在那个模块的所有实例应用。如果结构元素是一个组成部分属性，那么分配只会在构建的系统中组成部分所代表的一系列实例应用。尽管可应用性很有限，但分配活动分区是一种常用且有用的行为分配表示法。它加强了活动图的功能；利益相关者通常认为同样重要的还有谁或者什么执行了哪个动作，而不仅仅是哪些动作执行了。
优点：分配活动分区是一种非常节省空间的方法；可以在一幅图上表示多个分配。缺点：可应用性有限。建模者只能在活动图上使用分配活动分区，而且只能使用它来执行一种分配：行为分配（即为结构元素分配行为元素）。
  在SysML模型中，基本原理会被记录为一种特殊的注释。注释的标识是一个笔记符号：一个带有右上角折角的矩形。基本原理元素的标识法是在注释体前面带有元类型<<rationale>>的笔记符号。把基本原理附着给任何类型元素以及两个元素之间的任何类型的关系都是合法的。

小结

  分配是一种有用且功能丰富的关系，建模者可以在两种模型元素之间创建它：不管它们位于系统模型的何处，也不管它们出现在哪幅图中。因此，把分配称为横跨关系。系统工程师在传统上会为三种特定的目的在系统设计中使用分配——行为分配、结构分配和需求分配。可以以任何方式来为分配关系定义新的用法，只要那对于建模者和相关的利益相关者有意义。