Foundations for Reasoning About (Practical) Implicit Invocation Systems

（实际）隐式调用系统的推理基础

• 批准号: 9633532
• 负责人: David Garlan
• 金额: $ 7.5万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-08-01 至 2000-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9633532&HistoricalAwards=false
• 关键词: Foundations; Reasoning; About; Practical; Implicit

A critical issue for large-scale systems design and evolution is the choice of an architectural style that permits the integration of separately-developed components into larger systems. Familiar styles include those based on remote procedure call, shared variables, asynchronous message passing, etc. One increasingly important architectural style for system composition is implicit invocation (II). However, there is no established basis for reasoning about II systems. In particular it is difficult to answer questions like: What will be the effect of announcing a given event? Have enough event bindings been declared? Does a given component announce the sufficient events to permit effective integration? If I add a new component to an existing system, will it break the existing system? The goal of this project is to provide such a basis for reasoning about systems designed using the II architectural style. Two central benefits are expected. The first benefit is a step towards being able to reason fully about systems constructed in this style. The second and probably more important benefit is to replace current ad hoc reasoning approaches used by practitioners who use the II style with a collection of sound ideas that allow better informal reasoning about such systems. ***

大规模系统设计和演进的一个关键问题是选择允许将单独开发的组件集成到更大系统中的架构风格。熟悉的风格包括基于远程过程调用、共享变量、异步消息传递等的风格。对于系统组合来说，一种日益重要的体系结构风格是隐式调用 (II)。 然而，对于 II 系统的推理还没有既定的基础。特别是很难回答这样的问题：宣布特定事件会产生什么效果？是否声明了足够的事件绑定？ 给定组件是否宣布了足够的事件以允许有效集成？如果我向现有系统添加新组件，是否会破坏现有系统？ 该项目的目标是为推理使用 II 架构风格设计的系统提供这样的基础。 预计有两个主要好处。 第一个好处是朝着能够充分推理以这种方式构建的系统迈出了一步。第二个也许更重要的好处是用一系列合理的想法来取代使用 II 风格的从业者当前使用的临时推理方法，这些想法允许对此类系统进行更好的非正式推理。 ***