A theory of distributed aspects

Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or improve distributed component infrastructures or application servers, those systems are not underpinned with a formal semantics and so do not permit to establish properties on the code to be executed. This paper introduces the aspect join calculus – an aspect-oriented and distributed language based on the join calculus, a member of the πcalculus family of process calculi suitable as a programming language. It provides a first formal theory of distributed AOP as well as a base language in which many features of previous distributed AOP systems can be formalized. The semantics of the aspect join calculus is given by a (chemical) operational semantics and a type system is developed to ensure properties satisfied by aspects during the execution of a process. We also give a translation of the aspect join calcul...

• Type: Conference
• Year: 2010
• Where: AOSD
• Authors: Nicolas Tabareau
• Keywords: AOSD 2010, Aspect Join Calculus, Core Join Calculus, Programming Languages, Software Engineering