umlsemantics012.htm

软件开发文档大全

    <font face="Courier New"><p></font>sequence字符串 ::= 数 {‘.’ sequence字符串}<font face="Courier New"></p>         
    <p></font>　<font face="Courier New"></p> 
    </font><font face="Times New Roman"><p></font>sequence属性的默认值为空字符串实例。</p> 
    <p>消息实例的recurrence属性是体现条件或重复执行的字符串实例。recurrence字符串由下列产生规则指定：</p> 
    <font face="Courier New"><p></font>recurrence字符串 ::= ‘*’ ‘[‘ 重复句 ‘]’<font face="Courier New"></p>         
    <p></font>recurrence字符串 ::= ‘[‘ 条件句 ‘]’<font face="Courier New"></p>         
    <p></font>　<font face="Courier New"></p> 
    </font><p>重复句体现了在给定嵌套深度下消息实例的重复执行。条件句体现了对消息实例发生可能的断言。重复句和条件句都可以用伪码或实际编程语言实现，其精确语法不由UML指定。</p> 
    <font face="Times New Roman"><p></font>recurrence属性的默认值是空字符串值。</p> 
    <p>消息实例的isAsynchronous属性是一个布尔值实例，说明消息实例是否同步发送。isAsynchronous的默认值是假，表明激发消息实例的实例类的实例被挂起，直到消息实例的动作完成。如果该属性值为真，表明激发消息实例的实例类的实例不等待消息实例的动作完成。</p> 
    <p>消息实例的direction属性是一个枚举，体现消息实例是激活还是返回。direction的默认值是激活。</p> 
    <p>消息实例的script属性是未解释的，其目的是说明描述交互作用实例中消息实例含义的伪码。</p> 
    <p>消息集是链接角色实例到消息实例集合的组合聚集。消息集的责任是指定附着在链接角色实例上的消息实例。每个链接角色实例可以有零个或多个消息实例，每个消息实例是且仅是一个链接角色实例的消息。</p> 
    <p>动作是消息实例到动作实例的组合聚集。动作的责任是为消息实例的指定动作实例。每个消息实例有且仅有一个动作实例，每个动作实例是零个或一个消息实例的动作。</p> 
    <p>事务是消息实例到名字实例的共享聚集。事务的责任是将消息实例的集合组成事务，表明该组被看作是可以卷回的行为。每个消息实例可以有不超过一个说明事务的名字实例，每个说明事务的名字实例可以与零个或多个消息实例相关。</p> 
    <p>线程是实例类和消息实例之间的关联。线程的责任是指定控制消息实例激发的控制流。实例类的实例必须是活动类实例的实例化；实例的名字是线程的名字。每个实例类的实例可以是零个或多个消息实例的线程，每个消息实例关联的线程不超过一个。执行消息实例所在的线程常常不是显式的。</p> 
    <p>交互作用实例反映一系列消息实例的执行；执行体现了实例类的实例集合的动态行为。</p> 
    <p>交互作用实例的执行开始于独立线程中序列数是1的消息实例。消息实例的激活是对动作实例进行求值。以后继续下一个线性计数的消息实例，执行过程受迁移条件、重复句、和可能引起控制流挂起、重复、或产生分支的条件句的影响。开始一个嵌套的序列数体现了一个嵌套激活。</p> 
    <b><font face="Arial" size="5"><p></font></b><font size="5">11.3 </font><a name="11.3"></a>导出语义</p>         
    <p>模型元素的语义参见第二节。</p>         
    <p>名字的语义参见第四节。</p>         
    <p>实例和值的语义参见第五节。</p>         
    <p>关系、关联和关联角色的语义参见第六节。</p>         
    <p>协同的语义参见第九节。本上下文中，用作一个行为实例簇的协同实例常用于指定相应视图元素实例的泳道。</p>         
    <p>行为类的语义参见第九节和第十节。如第十节所述，行为类/行为实例类是体现了UML中本质/现象结构。</p>         
    <p>动作的语义参见第十节。</p>         
    <p>链接、链接角色和消息都是模型元素的子类型，因此各类的实例都可以有附着的构造型、标志值、附注和限制条件实例（也可以参加依赖关系）。</p>         
    <p>如第十节所述，状态机和交互作用是行为类的两个子类型。交互作用实例反映类型或协同实例的行为化语义。这样，交互作用实例说明了原型化行为。依照交互作用实例集，参加交互作用实例的实例类实例有可能组成状态机实例的一部分或一个完整的状态机实例。</p>         
    <p>交互作用实例体现了交互作用图和协同图实例表示的模型，参见第十二节；这些图分别体现了由时间和空间组织的行为化图。</p>         
    <p>交互作用实例的部件可以与其它交互作用实例相连。例如，交互作用实例中的链接实例可以是一个协同实例具体化而来的关联实例的实例化。因此，此链接实例可以扩展到另一个交互作用实例。类似地，由消息实例的动作实例激发的操作实例可以扩展到另一个交互作用实例，如第九节所述，操作实例可以由协同实例体现，协同实例反过来可以有行为类实例。</p>         
    <p>如第八节所述，协同实例共享实例类和关系实例。这表明在同一交互作用实例中，可能以任意或重叠方式将这些元素实例分组。</p>         
    <p>与消息相关联的名字实例通常为空。如果非空，该名字实例可以用于交互作用实例中的限制条件实例，指定时间限制条件。此时，消息名字N体现消息的开始，N’体现消息实例求值的结束。</p>         
    <p>消息的isAsynchronous属性区分同步和异步消息。其它形式同步可以用适当的标志值实例指定，不定义为UML的标准元素。</p>         
    <p>给定交互作用实例中有相同名字实例的实例类的实例体现同一个实例。这些相同名字实例之间的相互依赖常用成为和复制这两个构造型表示，参见第五节。这些实例可以有不同的值、动作、状态值和角色。</p>         
    <p>类型/实例类、关联/链接、关联角色/链接角色、属性/值、信号/消息和操作/消息分别组成一个本质/现象对。</p>         
    <b><font face="Arial" size="5"><p></font></b><font size="5">11.4 </font><a name="11.4"></a>标准元素</p>         
    <p>有七个标准限制条件应用于本图描述的元模型类：</p>         
    <table border="1" cellspacing="1" bordercolor="#000000" width="534" align="center">         
      <tr>         
        <td width="22%">名字</td>         
        <td width="22%">应用于</td>         
        <td width="57%">语义</td>         
      </tr>         
      <tr>         
        <td width="22%">关联</td>         
        <td width="22%">链接角色</td>         
        <td width="57%">关联是应用于链接角色的限制条件，指定相应实例通过关联是可见的。</td>         
      </tr>         
      <tr>         
        <td width="22%">广播</td>         
        <td width="22%">消息</td>         
        <td width="57%">广播是应用于消息的限制条件，指定消息不以任何次序激发。</td>         
      </tr>         
      <tr>         
        <td width="22%">全局化</td>         
        <td width="22%">链接角色</td>         
        <td width="57%">全局化是应用于链接角色的限制条件，指定相应实例可见的原因是在全局范围内。</td>         
      </tr>         
      <tr>         
        <td width="22%">局部化</td>         
        <td width="22%">链接角色</td>         
        <td width="57%">局部化是应用于链接角色的限制条件，指定相应实例可见的原因是它是操作的局部变量。</td>         
      </tr>         
      <tr>         
        <td width="22%">参数</td>         
        <td width="22%">链接角色</td>         
        <td width="57%">参数是应用于链接角色的限制条件，指定相应实例可见的原因是它是操作的参数。</td>         
      </tr>         
      <tr>         
        <td width="22%">自身</td>         
        <td width="22%">链接角色</td>         
        <td width="57%">自身是应用于链接角色的限制条件，指定相应实例可见的原因是它是消息的         
        分发者或分发者的部件。</td>         
      </tr>         
      <tr>         
        <td width="22%">表决</td>         
        <td width="22%">消息</td>         
        <td width="57%">表决是应用于返回消息集合的限制条件，指定返回值由集合中的所有返回值通过多数表决来选取。</td>         
      </tr>         
    </table>         
  </blockquote>         
   
    <p><b><a href="umlsemantics001.htm">返回目录</a></b></p> 
  
</body>