Process-Algebraic Foundations of Aspect-Oriented Programming
Process-Algebraic Foundations of Aspect-Oriented Programming
复制标题
DOI：
10.1007/3-540-45429-2_14
复制
发表时间：
2001-09
期刊：
影响因子：
--
通讯作者：
J. Andrews
中科院分区：
文献类型：
--
作者：
J. Andrews
过程代数被提议作为面向方面编程的基础。描述了特定的过程代数，并给出了说明其在编程中的用途的程序。有人认为，该框架澄清了程序之间的等效概念和切面编织算法的正确性。从理论和实践的角度讨论了哪种等价概念最合适的问题。提出了方面编织算法并证明是正确的。提出了一种简单的命令式面向方面的语言并将其翻译为给定的过程代数。
Process algebras are proposed as a foundation for aspect-oriented programming. A particular process algebra is described, and programs illustrating its use in programming are given. It is argued that the framework clarifies the notion of equivalence between programs and correctness of aspect-weaving algorithms. The question of which notion of equivalence is most appropriate is discussed from theoretical and practical points of view. An aspect-weaving algorithm is presented and proven correct. A simple imperative aspect-oriented language is presented and translated into the given process algebra.