📄 umlsemantics012.htm
字号:
<head><meta NAME="´¡ãÍâÈí¼þ¹¡è³Ì" Content="Author:Asia Alien"><title>UML语义（中文）</title><meta http-equiv="Content-Type" content="text/html; charset=gb2312"><link REL="stylesheet" HREF="../../newcss.css" TYPE="text/css"></head><body> <b><font face="Arial" size="5"><h3><font face="Arial" size="7"> <img border="0" src="i/umldilver.gif" WIDTH="606" HEIGHT="15"></font></h3> <h3></font></b><font size="5">11. </font><a name="11"></a>行为化元素: 交互作用 <b><a href="umlsemantics001.htm">返回目录</a></b></h3> <blockquote> <p> <font size="3"><img border="0" src="i/image12.gif" WIDTH="620" HEIGHT="479"></font></p> <b><font face="Arial" size="5"><p></font></b><font size="5">11.1<a name="11.1"></a> </font>描述</p> <p>本图描述了UML中交互作用的语义，包括下列元模型类：</p> <blockquote> <p>动作 参见第十节。</p> <p>关联 参见第六节。</p> <p>关联角色 参见第六节。</p> <p>行为类 参见第五节。</p> <p>实例类 参见第五节。</p> <p>交互作用 交互作用是互相作用的实例集合之间的协同反映的行为。交互作用反映了类型协同的行为。</p> <p>链接 链接是传送消息所经过的实例之间的关系。</p> <p>链接角色 链接角色是实例在链接中充当的角色。</p> <p>消息 消息是动作的发送。</p> <p>模型元素 参见第二节。</p> <p>名字 参见第二节。</p> <p>协同 参见第九节。</p> <p>关系 参见第三节。</p> <p>值 参见第五节。</p> <font face="Times New Roman"><p></font> <font face="Times New Roman"></p> </blockquote> </font><p>本图还介绍了下列关系：</p> <blockquote> <p>动作 动作是消息到动作的组合聚集。动作是消息的动作。</p> <p>簇 簇是行为到协同集合的组合聚集。协同是行为的簇。</p> <p>一般化 交互作用是行为类的子类型。</p> <font face="Times New Roman"><p></font>链接是关系的子类型。</p> <font face="Times New Roman"><p></font>链接角色是模型元素的子类型。</p> <font face="Times New Roman"><p></font>消息是模型元素的子类型。</p> <p>实例集 实例集是交互作用到实例集合的组合聚集，是在交互作用中协同的实例。</p> <p>链接实例 链接实例是链接和关联之间的关联，表明链接是关联的实例化。</p> <p>链接角色集 链接角色集是链接到它所链接的角色的组合聚集。一个链接有两个或更多链接角色。</p> <p>链接集 链接集是交互作用到链接集合的组合 聚集。链接集是连接在交互作用中协同者的链接的集合。</p> <p>消息集 消息集是链接角色到消息集合的组合聚集。消息集是附着在链接角色上的消息的集合。</p> <p>扮演者 扮演者是实例和链接角色之间的关联，表明实例扮演给定角色。因此实例是链接的参加者。</p> <p>限制域 限制域是链接角色到值集合的组合聚集。这些值称作链接角色的限制域。</p> <p>角色实例 角色实例是链接角色和关联角色之间的关联，表明链接角色是关联角色的实例化。</p> <p>线程 线程是实例和消息之间的关联，表明实例命名被激发的给定消息所在的线程。因此实例是线程的拥有者。</p> <p>事务 事务是消息到名字的共享聚集。名字称作消息的事务。</p> </blockquote> <b><font face="Arial" size="5"><p></font></b><font size="5">11.2 </font><a name="11.2"></a>基本语义</p> <p>交互作用是行为类的子类型。交互作用的责任是反映互相作用的实例集合的行为。交互作用实例的名字是一个名字实例，体现交互作用的名字；其值非空。交互作用实例定义一个命名空间。</p> <p>簇是行为类实例到协同实例集合的组合聚集。簇的责任是指定行为类的实例中实例类的实例和链接实例的集合。</p> <p>实例类是模型元素的子类型。实例类的实例的isCreated属性是一个布尔值，指定实例类的实例是否刚刚创建。isCreated的默认值为假。实例类的实例的isDestroyed属性是一个布尔值，指定实例类的实例是否刚刚析构。isDestroyed的默认值为假。有可能这两个属性值同时为真，但这种情况很少见，只出现在实例类的实例先被创建，然后马上被析构时。</p> <p>实例集是交互作用实例到实例类的实例的组合聚集。实例集的责任是指定组成交互作用实例的实例类的实例。每个交互作用实例可以有零个或多个实例类的实例,每个实例类的实例可以是零个或一个交互作用实例的一部分。因为一个交互作用实例定义一个命名空间，所以所有交互作用实例中有相同名字的实例类的实例看作是体现同一个实例（但可能有不同的值、动作、状态值和角色）。</p> <p>链接是关系的子类型。链接的责任是体现消息传送所经过的实例之间的关系。链接实例的名字是一个体现链接名字的名字实例；通常为空。链接实例的isCreated属性是一个布尔值，指定链接实例是否刚刚创建。isCreated的默认值为假。链接实例的isDestroyed属性是一个布尔值，指定链接实例是否刚刚析构。isDestroyed的默认值为假。有可能这两个属性值同时为真，但这种情况很少见，只出现在链接实例先被创建，然后马上被析构时。</p> <p>链接集是交互作用实例到链接实例集合的组合聚集。链接集的责任是指定组成交互作用实例的链接实例。每个交互作用可以有零个或多个链接实例，而每个链接实例只属于一个交互作用实例。</p> <p>链接实例是链接实例和关联实例之间的关联。链接实例的责任是指定链接实例是关联实例的实例化。每个链接实例是不多于一个关联实例的实例化，每个关联实例有零个或多个链接实例。</p> <p>链接角色是模型元素的子类型。链接角色的责任是指定实例在链接实例中扮演的角色。链接角色实例的名字是体现链接角色名字的名字实例；通常为空。</p> <p>链接角色集是链接实例到链接角色实例集合的组合聚集。链接角色集的责任是指定链接实例的角色。如果链接实例是一个关联实例的实例化，则该链接实例的链接角色实例必须与相应的关联角色实例相匹配。每个链接角色实例只是一个链接实例的链接角色，而每个链接实例有两个或多个链接角色实例，其数量和次序与相应的关联实例相同。链接角色是有序聚集；习惯上与链接实例中第一个链接角色实例关联的实例类的实例是附着在链接角色实例上的消息的发送者。</p> <p>角色实例是链接角色实例和关联角色实例之间的关联。角色实例的责任是指定链接角色实例是关联角色实例的实例化。每个链接角色实例是不多于一个关联角色的实例化，每个关联角色有零个或多个链接角色实例。</p> <p>限制域是链接角色实例到值实例集合的组合聚集。限制域的责任是赋值给与关联角色实例的属性实例相对应的链接角色实例。链接角色实例的值实例在次序和类型上必须与相应属性实例相匹配。</p> <p>扮演者是实例类实例和链接角色实例之间的关联。 扮演者的责任是指定实例类的实例是链接角色实例中的一个扮演者。每个实例类的实例可以是零个或多个链接角色实例的扮演者，每个链接角色实例是一个实例类的实例的链接角色。实例类的实例的类型必须与相应关联角色实例的参加者的类型相匹配。</p> <p>消息是模型元素的子类型。消息的责任是指定动作实例的发送。消息实例的名字是一个体现消息名字的名字实例；通常为空。消息实例的synchronizationPoint属性是指定线程受限序列数字的集合的字符串，每个数字必须与交互作用实例中消息实例的序列数字相匹配，表明在执行过程中，直到迁移条件中引用的所有消息实例都到达，才进入消息实例。synchronizationPoint字符串的语法由下列产生规则指定：</p> <font face="Courier New"><p></font>同步字符串 ::= 受限序列 {‘,’ 同步字符串}<font face="Courier New"></p> <p></font>受限序列 ::= [数 | 线程名]<font face="Courier New"></p> <p></font>{‘.’ 受限序列}<font face="Courier New"></p> <p></font> <font face="Courier New"></p> </font><p>数体现了在动作实例激发过程中序列的线性次序。相差为一的序列在该嵌套层次下线性相连。线程名字体现了并发控制流（必须是活动类的实例化）的名字。synchronizationPoint的默认值是空字符串实例。</p> <p>消息实例的sequence属性是体现给定线程中消息实例次序的字符串实例，规定为简单的数序列。sequence字符串的语法由下列产生规则指定：</p> ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -