Collaborative Proposal: Advances in Aspect-Oriented Languages, Methods, and Tools

协作提案：面向方面的语言、方法和工具的进展

• 批准号: 0429786
• 负责人: Kevin Sullivan
• 金额: $ 13.28万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-10-01 至 2006-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0429786&HistoricalAwards=false
• 关键词: Collaborative; Proposal; Advances; Aspect; Oriented

Abstract: Aspect-oriented programming (AOP) promotes new mechanisms andmethods to improve separation of concerns in software design. AOP is notwell understood in theory, and remains controversial among researchers andpractitioners. One issue is that it relies on implementation-dependent,implicit side effects, contradicting traditional views on abstraction,information hiding, and compositional reasoning. The PIs' goals are toexplicate fundamental mechanisms of AOP; assess and improve the impact ofAOP on decomposition and coupling; and improve our understanding of theinherent complexity of, and potential for, compositional reasoning involvingAOP. The approach is to ground AOP in an underlying ontology of implicitinvocation and then to leverage knowledge in that domain to advance ourunderstanding of AOP. The intellectual significance of the proposed work isin its potential to improve our understanding of AOP, including effects onmodularity and abstraction, and the complexity of specification andverification. Broader impacts are anticipated to flow from regularized andimproved AOP mechanisms, e.g., for event abstraction. The project will alsosupport development and delivery of a senior-level undergraduate and earlygraduate course on AOP.

翻译后摘要：面向方面的编程（AOP）促进新的机制和方法，以提高分离的关注点在软件设计。AOP在理论上还没有得到很好的理解，在研究者和实践者中仍然存在争议。一个问题是，它依赖于依赖于实现的隐式副作用，与抽象，信息隐藏和组合推理的传统观点相矛盾。PI的目标是阐明AOP的基本机制;评估和改进AOP对分解和耦合的影响;提高我们对涉及AOP的组合推理的内在复杂性和潜力的理解。这种方法是将AOP建立在隐式调用的基础本体中，然后利用该领域的知识来促进我们对AOP的理解。所提出的工作的智力意义在于它有可能提高我们对AOP的理解，包括对模块化和抽象的影响，以及规范和验证的复杂性。更广泛的影响预计将来自规则化和改进的AOP机制，例如，事件抽象。该项目还将支持高级本科生和研究生早期AOP课程的开发和交付。