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.

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