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

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

• 批准号: 0429947
• 负责人: William Griswold
• 金额: --
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-10-01 至 2006-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0429947&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的基本机制；评估和改善AAOP对分解和耦合的影响；并提高我们对涉及组成推理的无遗物复杂性和潜力的理解。这种方法是在隐式交配的基本本体中进行AOP，然后利用该领域的知识来推动我们对AOP的理解。拟议的工作的智力意义IS在于它提高我们对AOP的理解的潜力，包括影响on肢体性和抽象以及规范和佛经的复杂性。预计将从正则化和改进的AOP机制（例如事件抽象）中流动更广泛的影响。该项目将在AOP上开发和提供高级本科生和早期课程。