NSF Young Investigator: Towards An Engineering Basis for Software Architecture

NSF 青年研究员：迈向软件架构的工程基础

• 批准号: 9357792
• 负责人: David Garlan
• 金额: $ 31.25万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-08-15 至 2000-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9357792&HistoricalAwards=false
• 关键词: NSF; Young; Investigator; Towards; Engineering

An important goal in software engineering is to describe complex software systems at an architectural level of abstraction. While architectural design has always been a major factor in determining the success of a software system, architectural descriptions are typically understood only in informal, idiomatic ways. Because of this informality architectural designs are typically not well-integrated into the software development environments, but appear (if at all) as corroborative high-level documentation for a system. This research places architectural design on a more solid footing in two complementary ways. First, it provides a formal basis for describing and reasoning about architectural designs. This leads to rules for checking whether architectural designs are well-formed in a way that is analogous to type checking for existing implementation languages. Second, it provides tools for developing style-specific architectural design environments. These tools provide cost-effective ways to generate new environments tailored to the architectural design of specific application families. This grant includes support under the Research Experiences for Undergraduates (REU) Program.

软件工程的一个重要目标是在抽象的架构层面上描述复杂的软件系统。 尽管建筑设计一直是确定软件系统成功的主要因素，但通常仅以非正式的惯用方式才能理解建筑描述。 由于这种非正式性，架构设计通常并不完善地整合到软件开发环境中，但（如果有的话）是系统的佐证高级文档。 这项研究以两种互补的方式将建筑设计更加坚实。 首先，它为描述和推理建筑设计提供了正式的基础。 这导致了检查建筑设计是否以类似于类型检查现有实施语言的方式进行的规则。 其次，它为开发特定于样式的建筑设计环境提供了工具。 这些工具提供了成本效益的方式来生成针对特定应用程序家庭建筑设计量身定制的新环境。 该赠款包括在本科生（REU）计划的研究经验下的支持。