ITR: Principles of Distributed Component-Based Software

ITR：基于分布式组件的软件原理

• 批准号: 0081596
• 负责人: Bruce Weide
• 金额: $ 49.98万
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2003-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0081596&HistoricalAwards=false
• 关键词: ITR; Principles; Distributed; Component; Based

Reasoning about the behavior of large component-based software systems demands a "modular" or "compositional" reasoning system, in which summary properties of a system's pieces are composable to deduce properties of the entire system without delving into the internal details of those pieces. This research focuses on contributing principles for how to design component-based software that supports modular reasoning, and to help bring this new knowledge into practical application with commercial distributed component technologies. Specifically, the project investigates: (1) developing and describing detailed principles for designing the interfaces of software components so that they support both modular reasoning about system behavior and effective and efficient distribution and execution; (2) showing how to write human-understandable behavioral specifications for the interfaces of components designed using the above principles; (3) demonstrating additional practical benefits from having formal specifications available to software engineering tools. The generality and efficacy of the results will be evaluated through construction of prototype tools that support distributed component-based software design and development in a programming-language-neutral environment, and by observing the effects of using such tools in the classroom to see how much students benefit from the tools' new specification-enabled capabilities as theydesign and develop distributed component-based software systems.

对大型基于组件的软件系统的行为进行推理需要一个“模块化”或“组合”的推理系统，在这种推理系统中，系统各部分的摘要属性是可组合的，可以推断整个系统的属性，而无需深入研究这些部分的内部细节。 本研究的重点是如何设计基于组件的软件，支持模块化推理的贡献原则，并帮助将这种新的知识到实际应用中的商业分布式组件技术。 具体来说，该项目研究：（1）开发和描述设计软件组件接口的详细原则，以便它们支持关于系统行为的模块化推理以及有效和高效的分发和执行;（2）展示如何为使用上述原则设计的组件接口编写人类可理解的行为规范;（3）证明了软件工程工具可以使用正式规范的额外实际好处。 结果的一般性和有效性将通过构建支持分布式组件为基础的软件设计和开发在一个编程语言中立的环境中，并通过观察在课堂上使用这些工具的效果，看看有多少学生受益于工具的新的规格启用功能，因为他们设计和开发分布式组件为基础的软件系统。