Service Component Architectures (SCA) is widely used for the integration of heterogeneous applications. This heterogeneity, added to the distributed aspect of SCA, can be a source of behavioral mismatches. In this paper, we present a new approach for behavioral verification of SCA software architectures. More precisely, we propose a translation of a SCA source model to a Wright ADL configuration. In order to facilitate this translation, a guiding script and translation rules are introduced. Then, by using the wr2fdr tool, the translation of this wright configuration to a CSP specification is done. Finally, the FDR2 model-checker simulates and checks the obtained specification.