16.12.4 表示法

ExpansionRegion表示为一个虚线圆角框，左上角是«parallel»、 «iterative» 或 «stream»关键字（如图16.48）。输入和输出ExpansionNodes表示为由竖线条分割的小矩形（该符号暗示了一个元素列表）。ExpansionNode符号被置于虚线框的边界上。通常ActivityEdge箭头可以区分是输入还是输出。如果没有，可以使用带有Pins的小箭头（图16.5）。

图16.48 Expansion Region

昨为一种简化表示法，ExpansionNode的“框列表”表示可以被直接放置于Action符号，替代action的pins（图16.49）。这指明了一个包含单一Action的expansion region。完整的表示如图16.50。简化表示中，对于action的每个in或inout参数（必须至少有一个这样的参数）必须有一个输入ExpansionNode与之相对应，并且对于每一个out、inout、return参数都有一个输出ExpansionNode与之对应。

图16.49 Shorthand notation for expansion region containing single node

图16.50 Full form of previous shorthand notation

图16.51展示了一个包含一个单一CallBehaviorAction的ExpansionRegion的进一步简化。它使用了图16.49的简化表示，但是，它在右上角放置了一个“*”（指示多次执行），而不是使用一个mode关键字。这种表示法映射到一个包含一个CallBehaviorActon、mode=parallel的expansion region。

图16.51 Notation for expansion region with one behavior invocation