Language and System Support for Object-Oriented Programming

这项研究的预期结果是：设计利用继承的并发对象的方法。该方法具有相关组件，用于使用基于CCS的形式化方法来推理对象的可观察行为，使用名为行为集的新机制来表达该行为。并使用基于MCC的ESP分布式面向对象内核的act++原型来保证执行过程中的行为。O较为成熟的活动对象垃圾回收技术。该技术不仅可以满足act++的特定需求，还可以为基于并发对象或细粒度过程的其他系统和语言做出贡献。第一次对并发的基于对象的语言进行比较研究。这项研究将采用一套共同的中等规模问题，并涉及国际研究界的主要成员的评价过程。增强的act++原型系统将提供给其他研究人员。

The anticipated results of this research are: o a methodology for designing concurrent objects that exploits inheritance. The methodology has related components for reasoning about the observable behavior of an object using a formalism based on CCS, expressing that behavior using a new mechanism named behavior sets, and guaranteeing that behavior during execution using the ACT++ prototype based on MCC's ESP distributed object-oriented kernel. o a more mature technology for the garbage collection of active objects. This technology serves not only the specific needs of ACT++ but also contributes to other systems and languages based on concurrent objects or fine-grain processes. o the first realistic comparative study of concurrent object-based languages. This study will employ a common set of medium-scale problems and involve in the evaluation process leading members of the international research community. The enhanced ACT++ prototype system will be made available to other researchers.