ITR: Controlling Software Complexity with Aspects and Analysis

摘要CCR-0312598 PI：Mitchell Wand东北大学现代软件系统依赖于大量组件的交互。为了让这类系统可靠地运行，必须控制这种复杂性。传统的系统组成方法，如模块和分层，在面对适应新环境的需要时被证明是脆弱的。面向方面编程(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.