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.

隐式调用机制是组织软件系统的基本技术。 通常，这些机制中的每一种都以巨大的成本作为创新的设计和实施产生。 这种多样性的原因之一是每个机制都是为不同领域设计的。 但是，另一个原因是，隐式调用机制的共同特性知之甚少。 因此，在设计新机制时很难利用以前的经验。 但是，现在，机制和实践经验的收集足够丰富，可以允许设计空间的表征，以便可以以原则性和常规的方式做出选择。 为了实现这种能力来设计隐式调用机制，需要三个步骤。 首先，基于对现有机制的共同和不同方面的分析，将正式化此类机制的基本结构。 其次，将确定如何根据定义明确的原则来创建具有特定理想属性的新机制。 第三，该体系结构和这些原则将应用于两个领域：操纵形式规格的环境和一种用于对百科全书文章的交互式操纵的环境。