CAREER: Lightweight Modeling and Enforcement of Architectural Behavior

jonathan AldrichCarnegie Mellon university职业生涯：架构行为的轻量级建模和实施构建和发展大型软件系统是当今软件工程师面临的最大挑战之一。处理软件系统复杂性的一种方法是研究它的软件体系结构，即软件系统的高层组织。这项研究正在开发用于建模软件体系结构和在代码中执行体系结构的轻量级技术。核心方法是一个新的正式的软件架构建模框架，它可以表达设计中的任意动态，同时也可以抽象和组合机制，允许设计扩展。该框架以定义如何模拟和分析动态体系结构模型的形式化语义为基础。为了增加软件架构在实践中的影响，该项目正在开发从任意面向对象的实现代码映射到高级架构设计的新技术，在整个源代码中使用不显眼的程序注释。新的程序分析技术使用这些注释来验证代码是否符合体系结构设计的结构，确保工程师在实践中实现他们的体系结构设计的好处。该项目通过案例研究验证了这些技术，并通过开源软件、商业化和教育推广实现了影响。

CCF-0546550Jonathan AldrichCarnegie Mellon UniversityCAREER: Lightweight Modeling and Enforcement of Architectural BehaviorBuilding and evolving large software systems is one of the biggest challenges facing software engineers today. One approach to dealing with the complexity of a software system is to study its software architecture, the high-level organization of a software system. This research is developing lightweight techniques for modeling software architecture and for enforcing architecture in code.The core approach is a new formal modeling framework for software architectures that can express arbitrary dynamism in the design, yet also abstraction and composition mechanisms that allow the designs to scale. The framework is grounded in formal semantics that define how dynamic architectural models can be simulated and analyzed.In order to increase the impact of software architecture in practice, the project is developing new techniques for mapping from arbitrary object-oriented implementation code to a high-level architectural design, using unobtrusive program annotations sprinkled throughout the source code. These annotations are used by novel program analysis techniques to verify that the code conforms to the structure of the architectural design, ensuring that engineers achieve the benefits of their architectural design in practice. The project is validating these techniques through case studies, and is achieving impact through open source software, commercialization, and educational outreach.