Overview

Les patrons de conception sont importants en génie logiciel à objets car ils contribuent à la qualité des programmes. Ils proposent des motifs de conception, solutions élégantes à des problèmes récurrents de conception. À l'usage, ces motifs sont disséminés dans le code et ne sont plus explicites lors de la maintenance; pourtant, ils aideraient à comprendre l'implantation et la conception des programmes, assurant leur qualité. Ce livre décrit une approache pour la traçabilité de ces motifs. La métamodélisation est utilisée pour décrire les motifs et les programmes Java. Elle amène à expliciter certaines relations interclasses pour les identifier par analyses statiques et dynamiques. Elle conduit à traduire les motifs en systèmes de contraintes et à identifier les micro-architectures similaires par la résolution de problèmes de satisfaction de contraintes. La programmation par contraintes avec explications permet de guider la résolution et d'expliquer les micro-architectures identifiées. La suite d'outils Ptidej implante l'approche. Elle inclut le métamodèle PADL, des outils d'analyses statiques et dynamiques et un solveur de contraintes.