Object-Based Concurrent Programming: A Workshop Proposal Submitted to the NSF to be held Sept 25-26, 1988 in San Diego, California

并行编程系统设计问题是计算机科学研究的一个重要领域。在串行计算机中，软件工程方面的考虑，例如对抽象和程序模块化的需求，导致了最近基于对象的编程的流行。由于并行性是分布式对象的自然结果，因此为基于对象的并发编程（OBCP）开发系统很可能在为新一代并发计算机提供良好的软件支持方面取得丰硕成果。OBCP的研究在计算机科学的不同领域取得了相当独立的进展。许多新的编程语言、系统、体系结构和应用程序在过去几年中被开发出来。两个基本的并发模型，即参与者模型和扁平守护角子句，可以为基于对象的并发编程提供一个硬件平台。许多正在进行的项目正在开发基于对象的系统，以支持分布式数据库、分布式仿真和办公信息系统等领域的并发应用程序。最后，关于事务、类型理论、计算反射和程序转换等主题的工作对OBCP具有重要的影响。讲习班将提供第一次机会评估OBCP研究和发展的最新状况。它还将允许就共同目标的发展和将该领域作为一个统一的研究领域进行思想交流。最后，在研讨会上发表的论文将使研究人员更容易获得这项工作。

The problem of designing systems for concurrent programming is an important area of research in computer science. In sequential computers, software engineering considerations, such as the need for abstraction and program modularity, have led to a recent increase in the popularity of object-based programming. Because parallelism is a natural consequence of distributed objects, the development of systems for concurrent object-based programming (OBCP) is likely to prove fruitful in providing good software support for a new generation of concurrent computers. Research in OBCP has progressed in different areas of computer science rather independently. A number of new programming languages, systems, architectures and applications have been developed in the last few years. Two foundational models of concurrency, namely the actor model and Flat Guarded Horn Clauses, can be used to provide a hardware platform for object-based concurrent programming. A number of on-going projects are developing object-based systems to support concurrent applications in areas such as distributed database, distributed simulation, and office information systems. Finally, work on topics such s transactions, type theory, computational reflection and program transformation has important ramifications for OBCP. The workshop will provide the first opportunity to assess the state of the art in research and development of OBCP. It will also permit an exchange of ideas on the development of common goals and the integration of the area as a unified field of research. Finally, the publication of papers presented at the workshop will make the work easily available to researchers.