8.3.4 消息表达式
在实例间的通信规约中，我们统一了同步和异步通信的概念。图8.5展示了消息表达式的结构。
图8.5 OCL消息的抽象语法
MessageExp表达式产生一个OclMessage值的集合。OclMessage是一个发送的信号或调用的操作的统一表示。操作调用或信号发送的目标由target OclExpression来指定。实参是OclExpressions，特别的，它们可能是未被指定的值表达式。它涵盖同步和异步动作。
| 关联 | 说明 |
|---|---|
| target | 信号要发送的目标实例 |
| argument | 操作或信号的参数。它的数量和类型要与定义在操作或信号中的匹配。它的次序也要与操作中的参数或信号中的属性的次序一致。 |
| calledOperation | 如果该消息是一个操作调用请求，那么所请求的是CallOperationAction |
| sentSignal | 如果这是一个发送的信号，它是SendSignalAction |
UnspecifiedValueExp
UnspecifiedValueExp是一个值为指定的表达式。它用于在OCL消息中表示未指定的消息参数。