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 的实证验证将通过名为 Sourcerer 的基础设施来实现，该基础设施是为收集、搜索和分析互联网上可用的大规模开源软件而开发的。更广泛地说，这项研究将调查在开源软件中进行实证研究的方法。