Language and System Support for Object-Oriented Programming

面向对象编程的语言和系统支持

• 批准号: 9104013
• 负责人: Dennis Kafura
• 金额: $ 18.35万
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-15 至 1994-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9104013&HistoricalAwards=false
• 关键词: Language; System; Support; Object; Oriented

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.

这项研究的预期结果是：o设计利用继承的并发对象的方法。 该方法具有相关的组件，用于使用基于CCS的形式主义来推理对象的可观察行为，使用名为行为集的新机制表达行为，并确保使用基于MCC ESP的分布式对象的面向对象的核心使用ACT ++原型执行过程。 o一种更成熟的技术，用于垃圾收集活动物体。 该技术不仅满足了ACT ++的特定需求，而且还可以基于并发对象或细颗粒过程为其他系统和语言做出贡献。 o同时基于对象的语言的首次现实比较研究。 这项研究将采用一系列常见的中等规模的问题，并参与评估过程，国际研究界的领导成员。 增强的ACT ++原型系统将提供给其他研究人员。