15、并发面向对象语言与函数式编程语言介绍

并发面向对象语言与函数式编程语言介绍

并发面向对象语言

在并发面向对象语言中，标记迁移系统有着重要的地位。下面是一些关键的迁移规则：
|规则|描述|
| ---- | ---- |
|[callc]|$\langle o_1?m, o_2\rangle\stackrel{o_2, o_1, m,?}{\Longrightarrow}\langle\epsilon, o_2\rangle$，表示对象 $o_1$ 请求使用对象 $o_2$ 中的方法 $m$|
|[acceptc]|$\langle o_1!m, o_2\rangle\stackrel{o_1, o_2, m,!}{\Longrightarrow}\langle\epsilon, o_2\rangle$，表示对象 $o_1$ 被允许使用对象 $o_2$ 中的方法 $m$|
|[compc]|若 $\langle S_1, o_1\rangle\stackrel{o_2, o_1, m, d}{\Longrightarrow}\langle S_1’, o_1\rangle$，则 $\langle S_1; S_2, o_1\rangle\stackrel{o_2, o_1, m, d}{\Longrightarrow}\langle S_1’; S_2, o_1\rangle$，其中 $d\in{?,!}$|

标记是一个三元组 $(o_1, o_2, d)$，其中 $o_1$ 和 $o_2$ 是对象名，$d\in{?,!}$ 是方向，$A_c = O_{names} \times O_{names} \times M_{names} \times {?,!}$。

全局迁