ITR: Controlling Software Complexity with Aspects and Analysis

摘要CCR-0312598 PI：Mitchell WandNortheastern University现代软件系统依赖于大量组件的交互。 为了使这些系统可靠地运行，必须控制这种复杂性。 传统的系统组合方法，如模块和分层，在面对适应新环境的需求时变得脆弱。 面向对象编程（AOP）是一种允许程序单元跨模块边界自适应的新技术。 然而，当前实践的AOP牺牲了传统模块系统的许多优点。 本研究的目标是为AOP开发一种新的语言结构，它将保留传统模块组合的优点。 第二个目标是扩展AOP分析，这是一组众所周知的用于理解小程序的技术，以帮助理解AOP系统中组件的交互。这样的分析技术对可靠的科学计算也有影响。

ABSTRACT CCR-0312598 PI: Mitchell WandNortheastern UniversityModern software systems depend on the interaction of a large number of components. For such systems to function reliably, this complexity must be controlled. Traditional system-composition methods, such asmodules and layering, have turned out to be brittle when confronted with the need for adaptation to new contexts. Aspect-oriented programming (AOP) is a promising recent technology for allowing adaptation of program units across module boundaries. However, AOP as currently practiced sacrifices many of the benefits of traditional module systems. The goal of this research is to develop a new language constructs for AOP that will retain the benefits of traditional module composition. A second goal is to extend programanalysis, a well-known set of techniques for understanding programs in the small, to help understand the interaction of components in AOP systems. Such analysis techniques also have implications for reliablescientific computing.