More Modular Reasoning for Aspect-Oriented Programs

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

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.