Un Cadre Pour La Tra abilit Des Motifs de Conception

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.