面向对象原理与技术(7)

specification.

表达式expression 一个字符串用于计算得到某特定类型的一个值。

动作表达式ActionExpression 计算结果导致某个动作的执行

布尔表达式BooleanExpression 计算结果为一个布尔值的表达式

映射表达式MappingExpression

过程表达式ProcedureExpression

类型表达式TypeExpression 可计算出对一种或多种类型一个引用的一种表达式。

实参表表达式ArgListsExpression

循环表达式IterationExpression

对象集表达式ObjectSetExpression

时间表达式TimeExpression 计算出某个绝对或相对时间值的一种表达式。

8.2 行为元素Behavioral Elements 8.2.1 公共行为Common Behavior

信号signal 实例间进行通信的一种异步激励的规范。信号可带有参量。

接纳reception 说明某个类元已准备接受某个信号signal并做出反应。

异常exception 由行为特征引发的一种信号，一般是在运行出错的情况下引发。

对象object 具有明确定义的边界和可识认性identity的一个实体entity。一个状态和行为的封装体，状态由属性和关系表示，而行为由操作、方法和状态机表示。一个对象是某个类的一个实例。

实例instance 一个实体entity，具有一组作用于它的操作和一个状态以保存操作的结果。

激励stimulus 1.两个实例间一次通信的具体化。2.一个实例对另一个实例传递某些信息，如发出某信号或调用某操作。接受到一个信号通常认为是一个事件发生。

发送者sender [object] 一个对象，它将一个激励传给一个接受者。

接收者 receiver [object] 一个对象，它处理从一个发送者传来的一个激励。

链link 两个实例之间的一种连接，是某个关联的一个实例。

链端link end 某个链的一个端点，某个关联端的一个实例。

链对象link object 一个链，同时也是一个对象。

属性链attribute link 一个实例中的一个命名槽，持有某个属性的值。

动作action 一个可执行语句的规范，该语句形成一个计算过程的抽象。典型地，一个动作会导致系统状态的改变，且可通过给某对象发送消息、或修改某个链、或某个属性值来实现。

创建动作create action

撤销动作destroy action 一个实例使另一个实例消亡。

调用动作call action

返回动作return action

发送动作send action

终止动作terminate action 一个实例自己停止生存自消亡。

不解释动作uninterpreted action UML不解释

赋值动作assignment action 把一个实例赋予一个属性链或一个链。

动作序列action sequence 一组动作作为一个动作。

实参argument 1.一个表达式，描述在一个发出的请求中如何决定实际值，它被聚合在某个动作中。2.某个形参决定其运行时刻实例的一个绑定binding。

构件实例component instance

结点实例node instance

数据值data value 没有可识认性的一个实例。

8.2.2 协作Collaboration

序列图sequence diagram 以时间顺序表示对象交互的图。主要表示参与交互的对象和交换消息的序列。不同于协作图，序列图包括时间顺序而不表示对象间关系。序列图可以一般形式存在(描述所有可能的剧情)，也可以实例方式存在(表示一个实际剧情)。序列图和协作图都表示类似信息，但以不同方式表示。

对象生命线object lifeline 在序列图中的一根线表示某个对象生存在一段时间内。

控制焦点focus of control 在序列图中的一种符号，表示在一段时间期间内某对象正执行某动作，可能是直接进行或通过调用某个子过程。

定时标记timing mark 表示某个事件或消息发生的时间符号。定时标记可用于约束。

前置条件precondition 某操作在被调用前必须为真的一种约束。

后置条件postcondition某操作在完成后必须为真的一种约束。

协作图collaboration diagram 以模型结构组织表示交互的图，可使用类元和关联，也可使用实例和链。不同于序列图，协作图表示实例间的关系。序列图和协作图都表示类似信息，但以不同方式表示。

协作collaboration 一个操作或类元(如一个用例)如何由一组类元及其间的关联实现的规范；在一个协作中所涉及的各类元需要以特定方式扮演特定角色。一种协作涉及多个类且一个类可参与多种协作。协作定义了由实例和链所扮演的一组角色，以及一组交互，定义当实例扮演其角色时相互间的通信。

交互interaction 指明为完成特定任务实例间进行的通信，每个交互都定义在某个协作的语境中。

消息message 1.实例间一种特定的通信，这些实例是在某个交互中确定的。2.从一个实例发给另一个实例的信息规范，期望某种活动相继发生。一个消息可以是发出一个信号或调用某个操作。

关联角色association role 一个关联角色是在某个协作中所需要的某种关联的一种特殊用法。

关联端角色association-end role 确定在一个协作中所用的某个关联的一个端点。

类元角色classifier role 在某协作中某参与者所扮演的一种特定角色，确定了一种类元的一个受限视图，该类元根据协作的需要定义。

8.2.3 用例Use Case

角色 role 参与特定语境中的某个实体的被命名的特定行为。一个角色可以是静态的(如一个关联端)，也可以是动态的(如一个协作角色)。

作用者(参与者)actor 当用例的用户与这些用例交互时，所扮演的相关角色的集合。当一个作用者与一个用例通信时仅扮演一个角色。

用例[类]use case [class] 系统与其作用者actor交互时可执行的动作序列的规范。用例对模型中的行为特征结构化，用例进一步用协作表示其如何实现。

扩展extend 从某个扩展用例(extension use case)到某个基本用例之间的一种关系，说明了扩展用例所定义的行为如何增加基本用例定义行为(服从扩展中确定的条件)。此行为将插入到在基本用例的扩展点所指定的位置。基本用例并不依赖于扩展用例行为的执行。

扩展点extension point 一个扩展点指明一个用例中可被扩展的一个或一组位置。

包含include 从某个基本用例到某个内含用例(inclusion use case)之间的一种关系。说明了基本用例的行为如何容纳内含用例的行为。此行为被包含在基本用例所定义的某个位置。基本用例依赖于内含用例所执行的行为，而不依赖于其结构(如属性或操作)。

用例实例use case instance 某个用例中所确定的动作序列的执行。某个用例类的一个实例。

用例模型use case model 采用用例来描述一个系统的功能需求的一种模型。

8.2.4 状态机State Machines

状态state 一个对象生命期中的某个条件或状况，此时对象满足某些条件、或正执行某些活动或正等待某些事件。元模型中有子类：Compositestate复合状态、Simplestate简单状态和finalstate终态。

状态机state machine是一种行为，描述一种对象或一种交互在其生命期中响应各种事件而经历的状态变化序列，以及对象的响应和动作。

状态图statechart diagram 用于描述状态机的一种图。

伪状态pseudostate 在状态机上的一个顶点具有状态的形式，而不具有状态的行为。伪状态包括初态和历史顶点等。 伪状态的种类： 初始initial伪状态，一个缺省顶点，在一个复合状态中，有一个转换进入其中的缺省状态中。一个复合状态中最多一个初始状态。 深历史deepHistory，表示包含它的复合状态的最近激活active的配置。一个复合状态最多有一个深历史伪状态。 浅历史shallowHistory，表示包含状态的最近激活的子状态。一个复合状态最多有一个浅历史伪状态。进入转换等价于进入一个状态的最近激活的子状态， 结合join，把从几个不同正交区域而来的转换合并起来成为一个转换，进入点上不能有守护条件。 分叉fork，把一个进入转换分解为两个或多个转换进入多个正交目标顶点，从分叉状态出来不能有守护条件。 汇合junction，把多个转换连接起来，以构成状态之间混合式(compound)转换路径。例如，把多个流入转换合并为一个流出转换，以表示一个共享转换路径(所谓merge合并)。相反地，也可把一个流入转换分解为多个流出转换，各自以不同守护条件区分，即静态条件分支(static conditional branch)。若守护条件计算为假，则转换无效。有一个预定义的守护条件else。静态条件分支的条件可能会使转换无效。 选择choice，即动态条件分支，将根据动作所执行的结果判断流入那个状态，且一定流入某个状态，否则运行期出错。

复合状态composite state 1.包含其它状态顶点(状态、伪状态等)的一种状态，复合式关联。2.由并发(正交)子状态、或由连续(不相交)子状态构成的一种状态。直接子状态(direct substate)和传递性嵌套子状态(transitively nested substate)?。isRegion属性? 元模型中有子类Submachinestate子机状态。

子状态substate 作为某个复合状态中的一部分的状态。

简单状态simple state 没有子状态的状态。

并发子状态concurrent substate 包含在同一复合状态中，可与其它子状态同时存在的一种子状态。

分离子状态disjoint substate包含在同一复合状态中，不能与其它子状态同时存在的一种子状态。

事件event 1.一类可观察的发生事情的一种规范，事情发生在瞬间，而无延续性。2.在特定时间和

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说综合文库面向对象原理与技术(7)在线全文阅读。