ITR: Controlling Software Complexity with Aspects and Analysis

CCR-0312598 PI: Mitchell WandNortheastern university现代软件系统依赖于大量组件的相互作用。为了使这样的系统可靠地运行，这种复杂性必须得到控制。传统的系统组成方法，如模块和分层，在面对适应新环境的需要时变得脆弱。面向方面编程（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.