Modularizing Control

面向方面编程(AOP)是一个活跃的研究领域，它致力于模块化程序特征，包括同步、分发和插装，所有这些特征都与更基本的应用程序关注点横切和缠绕在一起。通过封装和抽象这些特征，程序可以变得更容易编写、阅读和维护。AOP的一种基本形式是通过一种由三部分组成的新机制来模块化这些特征：动态连接点、切入点、和建议。这种机制的现有语义描述与AOP的模块化关注点分离的目标脱节，因为该描述对基本语言施加了自组织扩展。基于博士研究表明，动态连接点自然地产生于编程语言的延续语义，本研究提出了AOP的模块化目标和它所使用的语义结构之间的桥梁。该桥梁将动态连接点方面标识为程序的模块化控制结构。因此，在短期内，提出了许多项目来精炼和扩展AOP的这种模型，特别关注AOP提供的模块单元的类型和效果描述。通过识别和注释程序中的这些“抽象控制类型”，我们能够更全面地说明程序员的意图，并提供方法来对照实际程序代码检查这些意图。这种清晰度和检查应该会导致更少的软件缺陷，并可能导致更大的代码重用。从长远来看，这个研究计划建议开发一个“编程语言的标准模型”，它描述编程语言中工作的元素和交互作用。这种控制上的模块化是该模型的第一部分。

Aspect-oriented programming (AOP), an active research area, is interested in modularizing program features, including synchronization, distribution, and instrumentation, all of which crosscut and entangle with more fundamental application concerns.  By encapsulating and abstracting these features, programs can become easier to write, read, and maintain.  One fundamental form of AOP modularizes these features by a novel mechanism comprised of three parts: dynamic join points, pointcuts, and advice.  Existing semantic accounts of this mechanism are disconnected from AOP's goal of modular separation of concerns because the account imposes an ad-hoc extension to a base language.Based on doctoral research showing that dynamic join points arise naturally from the continuation semantics of a programming language, this research proposes a bridge between the modularity goals of AOP and the semantic structures it works with.  That bridge identifies dynamic join point aspects as modularizing control structure of programs.  In the short term, a number of projects are proposed to refine and extend this model of AOP, especially focusing on types and effects descriptions of the modular units made available by AOP.  By identifying and annotating these "abstract control types" in programs, we enable a fuller account of the programmers intentions and provide ways for those intentions to be checked against the actual program code.  This clarity and checking should result in fewer software defects, and possibly greater code reuse.In the long term, this research programme proposes to develop a "standard model of programming languages" which characterizes the elements and interactions at work in programming languages.  This modularity over control is the first part of that model.