Modélisation des architectures logicielles dynamiques