More Modular Reasoning for Aspect-Oriented Programs

面向方面的程序的更多模块化推理

• 批准号: 0428078
• 负责人: Gary Leavens
• 金额: $ 5.5万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-01 至 2006-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0428078&HistoricalAwards=false
• 关键词: More; Modular; Reasoning; Aspect; Oriented

Proposal 0428078TITLE More Modular Reasoning for Aspect-Oriented ProgramsGary T. LeavensThis project will advance the theory and practice of aspect-oriented software development. Aspect-oriented languages allow modularization of code for requirements that do not align with a program's architecture, reducing scattering and tangling of code for these cross-cutting requirements.The problem addressed by this project is how to recover static, modular reasoning in aspect-oriented programs. The technical approach is to create the design discipline, based on an analogy to behavioral subtyping, and a small aspect-oriented programming language to support it. By producing prototype tools andapplying them in case studies, the researchers will experimentally validate the utility of the language and design discipline. A formal study of specification and verification techniques will demonstratesoundness of static, modular reasoning in the language and design discipline.The discipline developed through the project will benefit software engineers and programmers by providing guidance for thinking about and applying aspect-oriented programming techniques. The discipline mayalso improve software correctness and maintainability. By showing how a language can support the discipline, the project will contribute to the design of programming and specification languages. Like thenotion of behavioral subtyping, a disciplined approach to thinking about aspect-oriented abstraction will help educators convey the key ideas of the paradigm.

建议0428078TITLE更多面向方面程序的模块化推理Gary T.Leaven这个项目将推动面向方面软件开发的理论和实践。面向方面的语言允许对与程序体系结构不一致的需求进行代码模块化，减少这些横切需求的代码分散和纠缠，该项目解决的问题是如何在面向方面的程序中恢复静态的、模块化的推理。技术方法是创建设计规程，基于对行为子类型的类比，并使用小型面向方面的编程语言来支持它。通过制作原型工具并将它们应用于案例研究，研究人员将通过实验验证语言和设计学科的实用性。对规格说明和验证技术的正式研究将展示静态、模块化推理在语言和设计规程中的可靠性。通过该项目开发的规程将为软件工程师和程序员提供思考和应用面向方面编程技术的指导。该学科还可以提高软件的正确性和可维护性。通过展示一种语言如何支持该学科，该项目将有助于编程和规范语言的设计。就像行为子类型化一样，一种有纪律的方法来思考面向方面的抽象将有助于教育工作者传达该范式的关键思想。