📄 app-umlccw3.htm
字号:
<html>
<body text="#333399" link="#990033"
vlink="#009966" alink="#FF6600">
<table BORDER="0" CELLPADDING="3" WIDTH="100%" mstheme mstheme>
<tr>
<td ALIGN="RIGHT" VALIGN="TOP" WIDTH="8%"><!--mstheme--></font></td>
<td VALIGN="TOP" WIDTH="100%"><p align="center"> </p>
<p align="center"><font face="宋体" size="4"><b>标准建模语言UML的动态建模机制
</b></font></p>
<p align="center"><font size="-1">作者 王云 葛科</font><!--mstheme--></font></td>
<td WIDTH="7%"> <!--mstheme--></font></td>
</tr>
<tr>
<td ALIGN="RIGHT" VALIGN="TOP" WIDTH="8%"><!--mstheme--></font></td>
<td VALIGN="TOP" WIDTH="100%"> <p><small>原载《计算机世界》1998年43期<br>
技术专题版连载 </small></p>
<dl>
<dd> <p>1.消息
在面向对象技术中，对象间的交互是通过对象间消息的传递来完成的。在UML的四个动态模型中均用到消息这个概念。通常，当一个对象调用另一个对象中的操作时，即完成了一次消息传递。当操作执行后，控制便返回到调用者。对象通过相互间的通信（消息传递）进行合作，并在其生命周期中根据通信的结果不断改变自身的状态。
在UML中，消息的图形表示是用带有箭头的线段将消息的发送者和接收者联系起来，箭头的类型表示消息的类型。
</p>
</dd>
<dd> </dd>
<dd>UML定义的消息类型有三种： 简单消息（Simple Message）
表示简单的控制流。用于描述控制如何在对象间进行传递，而不考虑通信的细节。
同步消息（Synchronous Message）
表示嵌套的控制流。操作的调用是一种典型的同步消息。调用者发出消息后必须等待消息返回，只有当处理消息的操作执行完毕后，调用者才可继续执行自己的操作。
异步消息（Asynchronous Message）
表示异步控制流。当调用者发出消息后不用等待消息的返回即可继续执行自己的操作。异步消息主要用于描述实时系统中的并发行为。</dd>
<dd> </dd>
<dd> </dd>
<dd>2. 状态图 状态图（State Diagram）用来描述一个特定对象的所有可能状态及其引起状态转移的事件。大多数面向对象技术都用状态图表示单个对象在其生命周期中的行为。一个状态图包括一系列的状态以及状态之间的转移。<p>(1)
状态
所有对象都具有状态，状态是对象执行了一系列活动的结果。当某个事件发生后，对象的状态将发生变化。状态图中定义的状态有：初态、终态、中间状态、复合状态。其中，初态是状态图的起始点，而终态则是状态图的终点。一个状态图只能有一个初态，而终态则可以有多个。
中间状态包括两个区域：名字域和内部转移域，如图3所示。图中内部转移域是可选的，其中所列的动作将在对象处于该状态时执行，且该动作的执行并不改变对象的状态。
</p>
</dd>
<dd>一个状态可以进一步地细化为多个子状态，我们将可以进一步细化的状态称作复合状态。子状态之间有“或关系”和“与关系”两种关系。或关系（如
图4）说明在某一时刻仅可到达一个子状态。例如，一个处于行驶状态的汽车，在“行驶”这个复合状态中有向前和向后两个不同的子状态，在某一时刻汽车要么向前，要么向后。与关系（
如图5）说明复合状态中在某一时刻可同时到达多个子状态（称为并发子状态）。具有并发子状态的状态图称为并发状态图。
</dd>
</dl>
<dl>
<dd>(2) 转移
状态图中状态之间带箭头的连线被称为转移。状态的变迁通常是由事件触发的，此时应在转移上标出触发转移的事件表达式。如果转移上未标明事件，则表示在源状态的内部活动执行完毕后自动触发转移。</dd>
<dd> </dd>
<dd> </dd>
<dd>3. 顺序图 顺序图（Sequence Diagram）用来描述对象之间动态的交互关系，着重体现对象间消息传递的时间顺序。顺序图存在两个轴：水平轴表示不同的对象，垂直轴表示时间。顺序图中的对象用一个带有垂直虚线的矩形框表示，并标有对象名和类名。垂直虚线是对象的生命线，用于表示在某段时间内对象是存在的。对象间的通信通过在对象的生命线间画消息来表示。消息的箭头指明消息的类型。
顺序图中的消息可以是信号（Signal）、操作调用或类似于C＋＋中的RPC（Remote
Procedure Calls）和Java中的RMI（Remote Method Invocation）。当收到消息时，接收对象立即开始执行活动，即对象被激活了。通过在对象生命线上显示一个细长矩形框来表示激活。
消息可以用消息名及参数来标识。消息也可带有顺序号，但较少使用。消息还可带有条件表达式，表示分支或决定是否发送消息。如果用于表示分支，则每个分支是相互排斥的，即在某一时刻仅可发送分支中的一个消息。
在顺序图的左边可以有说明信息，用于说明消息发送的时刻、描述动作的执行情况以及约束信息等。一个典型的例子就是用于说明一个消息是重复发送的。另外，可以定义两个消息间的时间限制。
一个对象可以通过发送消息来创建另一个对象，当一个对象被删除或自我删除时，该对象用“X”标识。
另外，在很多算法中，递归是一种很重要的技术。当一个操作直接或间接调用自身时，即发生了递归。产生递归的消息总是同步消息，返回消息应是一个简单消息。
</dd>
<dd> </dd>
<dd> </dd>
<dd>4. 合作图 合作图（Collaboration Diagram）用于描述相互合作的对象间的交互关系和链接关系。虽然顺序图和合作图都用来描述对象间的交互关系，但侧重点不一样。顺序图着重体现交互的时间顺序，合作图则着重体现交互对象间的静态链接关系。
合作图中对象的外观与顺序图中的一样。如果一个对象在消息的交互中被创建，则可在对象名称之后标以{new}。类似地，如果一个对象在交互期间被删除，则可在对象名称之后标以{destroy}。对象间的链接关系类似于类图中的联系（但无多重性标志）。通过在对象间的链接上标志带有消息串的消息（简单、异步或同步消息）来表达对象间的消息传递。
</dd>
<dd> </dd>
<dd>(1) 链接 链接用于表示对象间的各种关系，包括组成关系的链接（Composition
Link）、聚集关系的链接（Aggregation Link）、限定关系的链接（Qualified
Link）以及导航链接（Navigation Link）。各种链接关系与类图中的定义相同，在链接的端点位置可以显示对象的角色名和模板信息。</dd>
<dt> </dt>
<dd>(2) 消息流
在合作图的链接线上，可以用带有消息串的消息来描述对象间的交互。消息的箭头指明消息的流动方向。消息串说明要发送的消息、消息的参数、消息的返回值以及消息的序列号等信息。</dd>
<dt> </dt>
</dl>
<dl>
<dd>5.活动图（Activity Diagram）
活动图的应用非常广泛，它既可用来描述操作（类的方法）的行为，也可以描述用例和对象内部的工作过程。活动图是由状态图变化而来的，它们各自用于不同的目的。活动图依据对象状态的变化来捕获动作（将要执行的工作或活动）与动作的结果。活动图中一个活动结束后将立即进入下一个活动（在状态图中状态的变迁可能需要事件的触发）。</dd>
<dd> </dd>
<dd>活动和转移 </dd>
<dd>一项操作可以描述为一系列相关的活动。活动仅有一个起始点，但可以有多个结束点。活动间的转移允许带有guard⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -