More Modular Reasoning for Aspect-Oriented Programs

点击翻译按钮获取中文摘要

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.