A theory of distributed aspects

12 years 3 months ago
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...
Nicolas Tabareau
Added 17 May 2010
Updated 17 May 2010
Type Conference
Year 2010
Where AOSD
Authors Nicolas Tabareau
Comments (0)