高级检索

    一个并发对象演算

    A CALCULUS OF CONCURRENT OBJECTS

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

       

      Abstract: 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.

       

    /

    返回文章
    返回