一个并发对象演算

A CALCULUS OF CONCURRENT OBJECTS

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型，并发面向对象程序设计语言的开发受到了很大的制约．为了给并发面向对象程序设计定义一个公共的语义框架，人们分别以π－演算和ａｃｔｏｒ模型为基础进行了研究．综合这两种方法，文中定义了一个形式化模型．该模型具有清晰的形式化定义，既可重用标准的并发性理论，还保存了高级面向对象的程序设计风格．本文还提供了一个ａｃｔｏｒ代数及一个并发对象演算，并在两者之间建立起变换关系．

The development of concurrent object\|oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent object systems. Based on the \|calculus and the actor model respectively, attempts have been made to define a common semantic framework for concurrent object\|oriented programming. By compromising these two approaches, a formalism that enjoys a clean formal definition is defined, which allows the reuse of standard results of the theory of concurrency, while preserving a high level object\|oriented programming style. The actor algebra and the concurrent object calculus are proposed in the paper here, and the translation relationship between the two approaches is also presented.