Summary: Process­Algebraic Foundations of
Aspect­Oriented Programming
James H. Andrews
Dept. of Computer Science, Univ. of Western Ontario
London, Ontario, CANADA N6A 5B7
andrews@csd.uwo.ca
Abstract. 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 prac­
tical 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.
``The Analytical Engine weaves Algebraical patterns just as the Jacquard loom
weaves flowers and leaves.'' -- Ada Augusta, Countess of Lovelace
1 Introduction
Aspect­oriented programming (AOP) offers the promise of ``additive, rather than
invasive, software development'' [CG99]: development in which various aspects

Source: Andrews, Jamie - Department of Computer Science, University of Western Ontario

Collections: Computer Technologies and Information Sciences