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 wellsuited
for modelling Ambient-PRISMA
