Vers une démarche de vérification formelle d'architectures logicielles