Skip to main content
Article thumbnail
Location of Repository

Process-algebraic foundations of aspect-oriented programming

By James H. Andrews


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

Publisher: 2013-09-21
Year: 2001
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.