Nowadays, distributed and mobile systems are acquiring greater importance and becoming more widely used to support ubiquitous
computing. However, developing systems of this kind is a difficult task. Instead of concentrating on how problems should be
solved developers must worry about implementation details. Ambient Calculus is a formalism that provides primitives to describe
mobile systems in an abstract way. Aspect-oriented software development and software architectures promise to achieve reusability,
maintenance and adaptability, which are all essential for the development of distributed systems. In this paper, we present
how a platform-independent model called Ambient-PRISMA combines both Ambient Calculus and Aspect-Oriented Software Architecture
for the specification of distributed and mobile systems. A platform-specific model in .Net for supporting Ambient-PRISMA code
generation is also presented.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914952_55.