Engineering Domain-Specific Implicit Invocation Mechanisms

隐式调用机制是一种基本技术， 组织软件系统。 通常，这些机制中的每一个都具有 作为一种创新设计， 实施. 这种多样性的一个原因是， 是为不同的领域设计的。 另一个原因是， 隐式调用机制的共同属性是 不太了解。 因此，很难利用 设计新机制时的经验。 然而现在， 积累了丰富的机制和实践经验 允许设计空间的特征化，以便选择可以 以一种有原则的、常规的方式进行。 为了实现这种能力， 设计隐式调用机制需要三个步骤。 第一、 根据对现有的共同和不同方面的分析， 这些机制的基础架构将是 正式化。 第二，如何建立新的机制， 通过专门化这种架构， 将确定明确的原则。 第三，这种架构 这些原则将应用于两个领域：环境 用于操作正式规范和环境， 百科全书文章的交互式操作。

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.