NSF Young Investigator: Towards An Engineering Basis for Software Architecture

软件工程的一个重要目标是在抽象的架构层次上描述复杂的软件系统。虽然架构设计一直是决定软件系统成功的主要因素，但架构描述通常只能以非正式的、惯用的方式来理解。由于这种非正式性，架构设计通常不能很好地集成到软件开发环境中，而是作为系统的确证高级文档出现（如果有的话）。这项研究以两种互补的方式为建筑设计奠定了更坚实的基础。首先，它为描述和推理建筑设计提供了形式化的基础。这就产生了检查体系结构设计是否格式良好的规则，其方式类似于对现有实现语言的类型检查。其次，它提供了开发特定于风格的体系结构设计环境的工具。这些工具提供了经济有效的方法来生成针对特定应用程序系列的体系结构设计量身定制的新环境。这项资助包括本科生研究经验（REU）计划下的支持。

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.