Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Ambient-PRISMA is an architectural approach for specifying aspect-oriented software architecture and generating code of distributed and mobile systems. Ambient-PRISMA lacks a precise semantics due to the fact that it is based only on a metamodel. In this paper, Ambient-PRISMA is mapped into a formal language called Channel Ambient Calculus, a process algebra for specifying mobile applications that provides channels and ambients as first-class citizens. We argue that the formalization in Channel Ambient Calculus is particularly well-suited for modelling Ambient-PRISMA.