《UML入门教程(中文版)part00002》.pdf

96计计第三部分 参 考 资 料 下载 创建动作。创建动作导致了对象的实例化和初始化（见 c r e a t i o n ）。该动作包含一个对类 的引用和一个可选的带有参量表的类作用域操作。动作的执行创建了一个类的新的实例，其 属性值从计算它们的初始值表达式中得到。如果一个明确的创建动作被给定，那么它将被执 行。操作常常会用创建动作的参量值覆盖属性值的初始值。 销毁动作。销毁动作导致目标对象的销毁，该动作有一个针对对象的表达式。销毁动作 没有其他的参量。执行该动作的结果是销毁对象以及到它的所有链及所有组成部分（见 c o m p o s i t i o n ）。 返回动作。返回动作导致了一个到操作调用者的控制转换。该动作只允许在被调用使用 的操作中存在。该动作包含一个可选的返回值表，当调用者接收到控制时该表对调用者是有 效的。如果包含的操作被异步使用，那么调用者必须明确地选择返回消息（作为一个信号）， 否则它将会遗失。 发送动作。发送动作创建了一个信号实例并且用通过计算动作中的参量表达式得到的自 变量初始化这个信号实例。信号被送到对象集合里的对象，这些对象通过计算动作中的目标 表达式而得到。每一个对象接收它自己的信号拷贝。发送者保持它自己的控制线程和收益， 且发送信号是异步的。该动作包含信号的名称、一张信号参量表达式表和对目标对象的对象 集合表达式。 如果对象集合被遗漏，那么信号被发送到由信号和系统配置决定的一个或多个对象。例 如，一个异常被发送到由系统策略决定的包含作用域。 终止动作。终止动作引起某种对象的销毁，这个对象拥有包含该动作的状态机，即该动 作是一种“自杀”行为。其他对象会对对象的销毁事件做出反应。 无解释动作。无解释动作，一种控制构造或其他构造的动作。 表示法 U M L 没有一种固定的动作语言，它希望建模者使用一种实际的编程语言去编写动作。下 面对O C L 的改编是为了编写动作伪代码，但这并不是标准的一部分。 赋值动作 t a rg e t ：= e x p re s s i o n 调用动作 o b j e c t - s e t.o p e r a t i o n - n a m e(a rg u m e n t l i s t ，) 创建动作 n e w c l a s s - n a m e(a rg u m e n t l i s t ，) 销毁动作 o b j e c t. d e s t r o y ( ) 返回动作 r e t u r n e x p re s s i o nl i s t , 发送动作 第13章 术 语 大 全计计97 下载 o b j e c t - s e t . s i g n a l-n a m e(a rg u m e n tl i s t, ) 终止动作 t e r m i n a t e 无解释动作 if (e x p re s s i o n) then (a c t i o n) else (a c t i o n) 如果需要明确区别调用与发送，关键字c a l l和s e n d可以作为表达式的前缀，它们是可选的。 讨论 UML 规格说明定义了一组动作，同时也说明在实际实现中可以用支持工具加入其他动作。 这个决定是为了平衡精确性需求和开发者使用多种具有很广泛语义概念的目标语言的需要。 编程语言的执行语义的变体要比数据结构和有用的控制构造集合中的变体多。不考虑理论上 的可行性，微小的区别很难在语言中与实际的方式对应上。选择一种编程语言作为动作语言 的基础会降低别的语言的作用，且动作的语义会留下一些不完整性和二义性，而这也是我们 所不希望的。如果想使语义更准确些， U M L 必须与一种动作语言相结合。有些批评者说因为 U M L 太自由了，所以它并不精确，但是它的不精确程度不会超过它所选择的动作语言的不精 确程度。U M L 的真正缺陷是它没有实现动作和其他表达式的多语言表示，但是在今天的多语 言世界上这几乎是不可能的。 7. action expression(动作表达式)