Although object-oriented languages and technologies have been used widely, the theories of object-oriented languages are not perfect. The main reason is that there is not a common model in object-oriented languages. A lot of research have been done on sequential object-oriented languages with many achievements. By contraries, little research have been done on concurrent object-oriented languages.In order to study the mechanism of concurrent object-oriented language, firstly, several models of object-oriented language are investigated in the thesis. And then two kinds of concurrent model, Pi calculus and actor model, are expounded. On this condition, actor object calculus, namly AOC, is presented. AOC calculus is asynchronous pi-calculus which is enriched with actor mechanisim and reinterpreted. At last, the semantic description of object language OL is presented with AOC calculus. |