Dans cet article, nous présentons la spécification d'architectures logicielles dans Kmelia, un modèle à composants basé sur les services. Kmelia permet de définir un modèle simple d'architecture fondé sur la description des composants, des services et de leurs interactions, le raisonnement sur des modèles incomplets et le raffinement. Nous traitons plus particulièrement de i) la hiérarchisation des connexions par une description fine des protocoles et des interfaces de services, ii) la composition de services et de composants supportant la hiérarchisation et iii) la vérification outillée de composabilité des éléments de l'architecture qui permet de détecter statiquement des incompatibilités dans les assemblages (visibilités, assertions, comportement dynamique).