Engineering Domain-Specific Implicit Invocation Mechanisms

工程特定领域的隐式调用机制

• 批准号: 9112880
• 负责人: David Garlan
• 金额: $ 14.21万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-01 至 1994-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9112880&HistoricalAwards=false
• 关键词: Engineering; Domain; Specific; Implicit; Invocation

Implicit invocation mechanisms are a fundamental technique for organizing software systems. Typically, each of these mechanisms has been produced - at significant cost - as an innovative design and implementation. One reason for this diversity is that each mechanism has been designed for different domains. Another reason, however, is that the common properties of implicit invocation mechanisms are poorly understood. Consequently, it is hard to take advantage of previous experiences when designing a new mechanism. Now, however, the collection of mechanisms and practical experience is rich enough to permit the characterization of the design space so that choices can be made in a principled and routine way. To achieve this ability to engineer implicit invocation mechanisms requires three steps. First, based on an analysis of the common and distinct aspects of existing mechanisms, the underlying architecture of such mechanisms will be formalized. Second, how to create new mechanisms with specific desirable properties by specializing this architecture according to well-defined principles will be determined. Third, this architecture and these principles will be applied to two domains: an environment for manipulating formal specifications and an environment for interactive manipulation of encyclopedia articles.

隐式调用机制是组织软件系统的基本技术。 通常，这些机制中的每一个都是以创新设计和实施方式生产的，成本高昂。 造成这种多样性的原因之一是每种机制都是针对不同领域设计的。 然而，另一个原因是人们对隐式调用机制的共同属性知之甚少。 因此，在设计新机制时很难利用以前的经验。 然而现在，机制和实践经验的收集已经足够丰富，可以描述设计空间的特征，从而可以以原则性和常规的方式做出选择。 要实现这种设计隐式调用机制的能力需要三个步骤。 首先，基于对现有机制的共性和独特性的分析，将形式化这些机制的底层架构。 其次，将确定如何通过根据明确定义的原则专门化该架构来创建具有特定所需属性的新机制。 第三，这种架构和这些原则将应用于两个领域：操纵形式规范的环境和交互式操纵百科全书文章的环境。