Книга: Un cadre pour la tracabilite des motifs de conception: A framework for design motif traceability (French Edition)

Les patrons de conception sont importants en genie logiciel a objets car ils contribuent a la qualite des programmes. Ils proposent des motifs de conception, solutions elegantes a des problemes recurrents de conception. A l'usage, ces motifs sont dissemines dans le code et ne sont plus explicites lors de la maintenance pourtant, ils aideraient a comprendre l'implantation et la conception des programmes, assurant leur qualite. Ce livre decrit une approache pour la tracabilite de ces motifs. La metamodelisation est utilisee pour decrire les motifs et les programmes Java. Elle amene a expliciter certaines relations interclasses pour les identifier par analyses statiques et dynamiques. Elle conduit a traduire les motifs en systemes de contraintes et a identifier les micro-architectures similaires par la resolution de problemes de satisfaction de contraintes. La programmation par contraintes avec explications permet de guider la resolution et d'expliquer les micro-architectures identifiees. La suite d'outils Ptidej implante l'approche. Elle inclut le metamodele PADL, des outils d'analyses statiques et dynamiques et un solveur de contraintes.