Vérification d'architecture logicielle par transformation de modèles.

Abstract

Ce modeste travail s'inscrit dans le cadre des architectures logicielles à base de composants, le but de ce travail est d'effectué une vérification d'architecture logicielle par transformation de modèle, pour cela nous avons choisi la méthode formelle B comme une technique de vérification et le ATL comme un langage de transformation dans notre projet. Mots-clés : Architecture Logicielle, Composant, Transformation de modèle, techniques de vérification, modèle architectural, ATL.