论文部分内容阅读
虽然面向对象语言与技术已被广泛使用，但是面向对象语言理论还不完善。主要原因是，面向对象语言还没有一个被广泛认同的模型。对于顺序面向对象语言，人们研究得比较多，并取得了许多成果。相反，对于并发面向对象语言，人们研究得较少。 为了研究并发面向对象语言机制，本文首先讨论了几种面向对象语言模型，然后阐述了Pi演算和Actor模型两种并发模型。在此基础上，本文提出了Actor对象演算——AOC。AOC演算是扩充了Actor机制并且被重新解释了的异步Pi演算。最后，本文用AOC演算给出了一个对象语言OL的语义描述。