We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from
the structure and the functioning of living cells. The dynamics (the evolution) of the
overall architecture is defined by rules that modify the contents (data) and structure of
the membrane system. The evolution of the membrane system can be statically checked
to ensure that some properties imposed by the architecture are preserved