15.6 活动组
15.6.1 概要
ActivityGroups(活动组)是为活动节点和活动边进行分组的构造。节点和边可以属于1个或多个组。本节描述两者具体的活动组,ActivityPartitions和InterruptibleActivityRegion。结构化活动节点是第三种,但它也是动作因此在16.11中讨论。
15.6.2 抽象语法
图15.65 ActivityGroups
ActivityGroups(活动组)是为活动节点和活动边进行分组的构造。节点和边可以属于1个或多个组。本节描述两者具体的活动组,ActivityPartitions和InterruptibleActivityRegion。结构化活动节点是第三种,但它也是动作因此在16.11中讨论。
图15.65 ActivityGroups