Abstract : The paper sketches how architectural styles can be used as a way to make a high abstraction level model suitable to analysis.
Résumé : Cet article de vulgarisation montre comment utiliser des styles architecturaux afin de permettre l'analyse de modèles à haut niveau d'abstraction.