Les paradigmes composants et services ont été déclinés sous forme de nombreux frameworks tels que J2EE, OSGI, SCA ou encore Fractal. Néanmoins, peu d'outils permettent de garantir la fiabilité des applications en raisonnant de manière générique sur leur configuration architecturale et les spécifications de leurs constituants...