Modular Reasoning in Aspect-Oriented Languages

Aspect-oriented programming aims to separate crosscutting concerns into their own modules, called aspects. While aspects can achieve this at a syntactic level, this is done at the expense of modular reasoning: Whenever a method call is made, all aspects should be inspected to determine whether or not that call's behaviour will be affected by an aspect. To restore modular reasoning, we present a two-part approach that does not affect the programming language itself, but rather governs how to write contracts for aspect-oriented programs. Presented at SATToSE'15.

面向切面编程（Aspect-oriented programming）旨在将横切关注点（crosscutting concerns）剥离至独立的专属模块中，此类模块被称为切面（aspects）。尽管切面可在语法层面达成该分离目标，但这一实现路径会以牺牲模块化推理（modular reasoning）能力为代价：每当发起一次方法调用时，均需遍历所有切面以判定该调用的行为是否会受到切面的影响。为恢复模块化推理能力，本文提出一种两部分式方案：该方案不会对编程语言本身造成任何改动，仅用于规范面向切面程序的契约（contracts）编写规则。该工作发表于SATToSE'15会议。