10.3.1.3 Ocl消息表达式计算
Ocl消息表达式用于规定一个对象已经或将要给其它对象发送的消息的事实。Ocl消息表达式计算如图10.10所示，它们在本节定义。
图10.10 消息计算的领域模型
OclMessageArgEval
ocl消息实参计算是对一个OclMessageArg的计算。它代表了操作或信号的实际参数的计算。消息表达式的实参要么是一个ocl表达式，要么是一个变量定义。
| 关联 | 说明 |
|---|---|
| variable | 在实参是一个变量定义时，代表对该实参进行计算的OclExpEval |
| 当实参是一个OclExpression时，代表对该实参进行计算的OclExpEval |
OclMessageExpEval
ocl消息表达式计算是对一个OclMessageExp的计算。我们唯一需要施加给ocl消息表达式的是它所能代表的OclMessageValue（要么是一个操作调用，要么是一个UML信号），它发生在‘当前’和发送实例的输出队列中的一个参考时间点之间。时间点‘现在’指的是计算执行的时刻。该时间点由OclMessageExpEval（从OclExpEval继承）的environment链接所体现。
| 关联 | 说明 |
|---|---|
| target | 代表该计算的动作执行的目标实例的OclExpEval |
| arguments | 代表该操作或消息的实际参数计算的OclMessageArgEvals |
UnspecifiedValueExpEval
未指定值表达式计算是对一个UnSpecifiedValueExp的计算。它产生一个随机选择的该表达式类型的实例。