CAREER: Lightweight Modeling and Enforcement of Architectural Behavior

CCF-0546550乔纳森·阿尔德里希·卡内基·梅隆大学CAREER：建筑行为的轻量级建模和实施构建和发展大型软件系统是当今软件工程师面临的最大挑战之一。处理软件系统复杂性的一种方法是研究其软件体系结构，即软件系统的高级组织。该研究正在开发用于对软件体系结构进行建模和在代码中实施体系结构的轻量级技术。核心方法是一种新的软件体系结构的形式化建模框架，该框架可以在设计中表达任意的动态性，同时还可以抽象和组合机制以允许设计的可伸缩性。该框架基于定义如何模拟和分析动态体系结构模型的形式语义。为了增加软件体系结构在实践中的影响，该项目正在开发新的技术，使用散布在整个源代码中的不显眼的程序注释，将任意面向对象的实现代码映射到高级体系结构设计。这些注释由新的程序分析技术使用，以验证代码是否符合架构设计的结构，确保工程师在实践中实现其架构设计的好处。该项目正在通过案例研究验证这些技术，并通过开放源码软件、商业化和教育推广取得影响。

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.