17.7.3 语义

交互使用

InteractionUse（交互使用）的语义是所引用交互的语义的轨迹集合，其中gates被解析，以及所有一般化的部分都被找到例如用arguments替换parameters。

一个实际的Gate可以被附加到一个交互使用的外边界上来为所引用的交互中的具体发送者和接收者建立连接提供一个链接点。

部分分解

交互中一个生命线被一个交互（被生命线关联的可连接元素的类型所拥有）所分解被解释为是一个交互使用。进入或从分解的生命线出来的消息被解释为与分解上形式gates匹配的实际的gates。

由于被分解的生命线被解释为一个交互使用，PartDecomposition（部分分解）的语义是由分解（其中的gates和参数已被匹配）所引用的交互的语义。

说一个联合片段是额外全局的（extra-global）指 的是有一个具有相同操作符的联合片段在它的交互中覆盖了被分解的生命线。 这个（高层）联合片段必须通过逐个合并分解的操作数来获得。