Abstract. Process algebras are proposed as a foundation for aspectoriented 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 practicalpoints 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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.