ITR/SY(CISE): Compositional Connectors

ITR/SY(CISE)：组合连接器

• 批准号: 0113810
• 负责人: David Garlan
• 金额: $ 42万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-09-01 至 2006-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0113810&HistoricalAwards=false
• 关键词: ITR; SY; CISE; Compositional; Connectors

NSF ITR Proposal #0113810Compositional ConnectorsDavid GarlanFor systems composed from independently developed parts, specialized forms ofinteraction are often needed to bridge component mismatches or to achieveextra-functional properties (e.g., security, reliability), making the design andimplementation of these interaction mechanisms a critical issue. Unfortunately,system developers have few options: they must live with available, but ofteninadequate, generic support for interaction (such as RPC), or they musthandcraft specialized mechanisms at great cost.This research investigates a new approach whereby interaction mechanisms areconstructed compositionally. Specifically, basic connectors (such as RPC ordata streams) can be augmented with selected adaptations or enhancements toproduce a more complex connector that meets the system requirements. Thiswork will investigate the hypothesis that (a) there exists a collection ofgeneral-purpose transformations that can be applied to connectors to produceincreasingly rich forms of interaction, and (b) tools can be built to automatethe application of these transformations to existing interaction mechanisms.If successful, this research will reduce the cost of component integration bypartially automating the production of complex interaction mechanisms, improvethe quality of systems by making it simple to add security and dependabilityfeatures, and develop new foundations for specifying and reasoning about complexinteraction mechanisms.

NSF ITR 提案 #0113810 组合连接器 David Garlan 对于由独立开发的部件组成的系统，通常需要专门的交互形式来桥接组件不匹配或实现额外的功能属性（例如安全性、可靠性），这使得这些交互机制的设计和实现成为一个关键问题。 不幸的是，系统开发人员几乎没有选择：他们必须接受可用但通常不充分的交互通用支持（例如 RPC），或者必须以巨大的成本手工制作专门的机制。本研究研究了一种组合构建交互机制的新方法。 具体来说，可以通过选定的调整或增强来增强基本连接器（例如 RPC 或数据流），以生成满足系统要求的更复杂的连接器。 这项工作将研究以下假设：(a) 存在一组通用转换，可以应用于连接器以产生越来越丰富的交互形式，(b) 可以构建工具来自动将这些转换应用到现有交互机制。如果如果成功，这项研究将通过部分自动化复杂交互机制的生产来降低组件集成的成本，通过简化添加安全性和可靠性功能来提高系统质量，并为复杂交互的指定和推理奠定新的基础机制。