Large Scale Empirical Validation of the Aspect-Oriented Design Hypothesis

面向方面设计假设的大规模实证验证

• 批准号: 0725370
• 负责人: Cristina Lopes
• 金额: $ 69.32万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-09-01 至 2012-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0725370&HistoricalAwards=false
• 关键词: Large; Scale; Empirical; Validation; Aspect

Throughout the history of technology, modular design has proven to be an effective way to deal with system complexity. Modular design is also routinely applied to software-intensive systems. Software, however, is different from hardware. Specifically, the fact that software can programmatically affect other software broadens the options for modularization. The very nature of modules can be redefined in ways that would be impractical in hardware. Aspect-Oriented Programming (AOP) has recently put forth one of those redefinitions. In AOP, some modules called ''aspects'' directly address the crosscutting nature of some design concerns by modeling those concerns from outside the modules to which the local effects belong.This research will conduct a large-scale empirical validation of the design hypothesis put forth by AOP, and will leverage it to derive principles for modular design. The AOP hypothesis has three sub-hypotheses: (1) Complex software must cope with the existence of cross-cutting concerns; using traditional procedure- or object- oriented design, those cross-cutting concerns show up as design elements scattered throughout several modules and tangled with other concerns within those modules; (2) Scattering and tangling are ''bad'' for the design process; (3) The alternative composition mechanisms embodied in an aspect-oriented language like AspectJ are ''''better'''' than the traditional ones. The empirical validation of AOP will be enabled by an infrastructure called Sourcerer, developed for collecting, searching, and analyzing software on the very-large scale of Open Source software available on the Internet. More broadly, this research will investigate methodologies for conducting empirical research in Open Source software.

在整个技术历史上，模块化设计已被证明是处理系统复杂性的有效方法。模块化设计也通常应用于软件密集型系统。但是，软件与硬件不同。具体而言，软件可以通过编程方式影响其他软件的事实扩大了模块化的选项。可以以硬件不切实际的方式重新定义模块的本质。面向方面的编程（AOP）最近提出了其中一种重新定义。在AOP中，一些称为““方面””的模块通过对当地效果所属的模块进行建模来建模这些问题，直接解决了某些设计问题的交叉性质。这项研究将对AOP提出的大规模经验验证，并将利用其为模块化设计提供原理。 AOP假设具有三个亚烟叶：（1）复杂的软件必须应对存在跨切割问题的存在；使用传统的程序或面向对象的设计，这些跨切割问题显示为散布在几个模块中的设计元素，并与这些模块中的其他问题纠缠在一起； （2）对于设计过程而言，散射和纠结是“坏”； （3）以诸如AspectJ之类的方面语言体现的替代构图机制比传统语言是“更好”。 AOP的经验验证将由称为souderer的基础架构启用，该基础架构用于在Internet上提供的开源软件的很大规模收集，搜索和分析软件。从更广泛的角度来看，这项研究将研究开源软件中进行实证研究的方法。