Un cadre pour la tra�abilit� des motifs de conception. Gu�h�neuc, Y. Ph.D. Thesis, �cole des Mines de Nantes et Universit� de Nantes, juin, 2003. 350 pages.Paper abstract bibtex Les patrons de conception sont importants en génie logiciel à objets car ils contribuent à la qualité des programmes. Ils proposent des solutions élégantes à des problèmes récurrents de conception, des motifs utilisés pendant l'implantation. À l'usage, ces motifs de conception sont disséminés dans le code source et ne sont plus explicites lors de la maintenance ; pourtant, ils aideraient à comprendre l'implantation et la conception des programmes, assurant leur qualité. Ce mémoire propose des modèles et des algorithmes pour garantir la tra ̧cabilité des motifs de conception entre les phases d'implantation et de rétroconception des programmes par l'identification semi-automatique des micro-architectures similaires à ces motifs dans le code source. La métamodélisation est utilisée pour décrire les motifs de conception et les programmes Java. Elle amène à expliciter certaines relations interclasses (association, agrégation et composition) offertes par les langages de conception comme UML et à préciser leurs propriétés (durée de vie, exclusivité, multiplicité et site d'invocation) pour les identifier avec des algorithmes d'analyses statiques et dynamiques. Elle conduit aussi à traduire les motifs en systèmes de contraintes et à identifier les micro-architectures similaires, formes complètes et approchées, 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 est une implantation des modèles et des algorithmes proposés. Elle est intégrée à l'environnement \Eclipse de développement en Java. Elle inclut le métamodèle PADL, dérivé du métamodèle ¶DL ; des outils d'analyses statiques et dynamiques, \Introspector et Caffeine ; et un solveur de contraintes, PtidejSolver, dérivé du solveur de contraintes avec explications de référence ¶aLM.
@PHDTHESIS{Gueheneuc03-PhD,
AUTHOR = {Yann-Ga�l Gu�h�neuc},
SCHOOL = {�cole des Mines de Nantes et Universit� de Nantes},
TITLE = {Un cadre pour la tra�abilit� des motifs de conception},
YEAR = {2003},
OPTADDRESS = {},
MONTH = {juin},
NOTE = {350 pages.},
OPTTYPE = {},
KEYWORDS = {Topic: <b>Design patterns</b>,
Topic: <b>Binary class relations</b>},
URL = {http://www.yann-gael.gueheneuc.net/Work/PhDThesis/},
ABSTRACT = {Les patrons de conception sont importants en g\'enie
logiciel \`a objets car ils contribuent \`a la qualit\'e des
programmes. Ils proposent des solutions \'el\'egantes \`a des
probl\`emes r\'ecurrents de conception, des motifs utilis\'es pendant
l'implan\-tation. \`A~l'usage, ces motifs de conception sont
diss\'emin\'es dans le code source et ne sont plus explicites lors de
la maintenance~; pourtant, ils aideraient \`a comprendre
l'implantation et la conception des programmes, assurant leur
qualit\'e. Ce m\'emoire propose des mod\`eles et des algorithmes pour
garantir la tra\c cabilit\'e des motifs de conception entre les
phases d'implantation et de r\'etroconception des programmes par
l'identification semi-automatique des micro-architectures similaires
\`a ces motifs dans le code source. La m\'etamod\'elisation est
utilis\'ee pour d\'ecrire les motifs de conception et les programmes
Java{}. Elle am\`ene \`a expliciter certaines relations interclasses
(association, agr\'e\-gation et composition) offertes par les
langages de conception comme UML{} et \`a pr\'eciser leurs
propri\'et\'es (dur\'ee de vie, exclusivit\'e, multiplicit\'e et site
d'invocation) pour les identifier avec des algorithmes d'analyses
statiques et dynamiques. Elle conduit aussi \`a traduire les motifs
en syst\`emes de contraintes et \`a identifier les
micro-architectures similaires, formes compl\`etes et approch\'ees,
par la r\'esolution de probl\`emes de satisfaction de contraintes. La
programmation par contraintes avec explications permet de guider la
r\'esolution et d'expliquer les micro-architectures identifi\'ees. La
suite d'outils Ptidej{} est une implantation des mod\`eles et des
algorithmes propos\'es. Elle est int\'egr\'ee \`a l'environnement
\Eclipse{} de d\'eveloppement en Java{}. Elle inclut le
m\'etamod\`ele PADL{}, d\'eriv\'e du m\'etamod\`ele \PDL{}~; des
outils d'analyses statiques et dynamiques, \Introspector{} et
Caffeine{}~; et un solveur de contraintes, PtidejSolver{}, d\'eriv\'e
du solveur de contraintes avec explications de r\'ef\'erence \PaLM{}.}
}
Downloads: 0
{"_id":"BDsC2KoFFpdrEGrJw","bibbaseid":"guhneuc-uncadrepourlatraabilitdesmotifsdeconception-2003","downloads":0,"creationDate":"2018-01-17T20:29:42.602Z","title":"Un cadre pour la tra�abilit� des motifs de conception","author_short":["Gu�h�neuc, Y."],"year":2003,"bibtype":"phdthesis","biburl":"http://www.yann-gael.gueheneuc.net/Work/Publications/Biblio/complete-bibliography.bib","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Yann-Ga�l"],"propositions":[],"lastnames":["Gu�h�neuc"],"suffixes":[]}],"school":"�cole des Mines de Nantes et Universit� de Nantes","title":"Un cadre pour la tra�abilit� des motifs de conception","year":"2003","optaddress":"","month":"juin","note":"350 pages.","opttype":"","keywords":"Topic: <b>Design patterns</b>, Topic: <b>Binary class relations</b>","url":"http://www.yann-gael.gueheneuc.net/Work/PhDThesis/","abstract":"Les patrons de conception sont importants en génie logiciel à objets car ils contribuent à la qualité des programmes. Ils proposent des solutions élégantes à des problèmes récurrents de conception, des motifs utilisés pendant l'implantation. À l'usage, ces motifs de conception sont disséminés dans le code source et ne sont plus explicites lors de la maintenance ; pourtant, ils aideraient à comprendre l'implantation et la conception des programmes, assurant leur qualité. Ce mémoire propose des modèles et des algorithmes pour garantir la tra ̧cabilité des motifs de conception entre les phases d'implantation et de rétroconception des programmes par l'identification semi-automatique des micro-architectures similaires à ces motifs dans le code source. La métamodélisation est utilisée pour décrire les motifs de conception et les programmes Java. Elle amène à expliciter certaines relations interclasses (association, agrégation et composition) offertes par les langages de conception comme UML et à préciser leurs propriétés (durée de vie, exclusivité, multiplicité et site d'invocation) pour les identifier avec des algorithmes d'analyses statiques et dynamiques. Elle conduit aussi à traduire les motifs en systèmes de contraintes et à identifier les micro-architectures similaires, formes complètes et approchées, 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 est une implantation des modèles et des algorithmes proposés. Elle est intégrée à l'environnement \\Eclipse de développement en Java. Elle inclut le métamodèle PADL, dérivé du métamodèle ¶DL ; des outils d'analyses statiques et dynamiques, \\Introspector et Caffeine ; et un solveur de contraintes, PtidejSolver, dérivé du solveur de contraintes avec explications de référence ¶aLM.","bibtex":"@PHDTHESIS{Gueheneuc03-PhD,\r\n AUTHOR = {Yann-Ga�l Gu�h�neuc},\r\n SCHOOL = {�cole des Mines de Nantes et Universit� de Nantes},\r\n TITLE = {Un cadre pour la tra�abilit� des motifs de conception},\r\n YEAR = {2003},\r\n OPTADDRESS = {},\r\n MONTH = {juin},\r\n NOTE = {350 pages.},\r\n OPTTYPE = {},\r\n KEYWORDS = {Topic: <b>Design patterns</b>, \r\n Topic: <b>Binary class relations</b>},\r\n URL = {http://www.yann-gael.gueheneuc.net/Work/PhDThesis/},\r\n ABSTRACT = {Les patrons de conception sont importants en g\\'enie \r\n logiciel \\`a objets car ils contribuent \\`a la qualit\\'e des \r\n programmes. Ils proposent des solutions \\'el\\'egantes \\`a des \r\n probl\\`emes r\\'ecurrents de conception, des motifs utilis\\'es pendant \r\n l'implan\\-tation. \\`A~l'usage, ces motifs de conception sont \r\n diss\\'emin\\'es dans le code source et ne sont plus explicites lors de \r\n la maintenance~; pourtant, ils aideraient \\`a comprendre \r\n l'implantation et la conception des programmes, assurant leur \r\n qualit\\'e. Ce m\\'emoire propose des mod\\`eles et des algorithmes pour \r\n garantir la tra\\c cabilit\\'e des motifs de conception entre les \r\n phases d'implantation et de r\\'etroconception des programmes par \r\n l'identification semi-automatique des micro-architectures similaires \r\n \\`a ces motifs dans le code source. La m\\'etamod\\'elisation est \r\n utilis\\'ee pour d\\'ecrire les motifs de conception et les programmes \r\n Java{}. Elle am\\`ene \\`a expliciter certaines relations interclasses \r\n (association, agr\\'e\\-gation et composition) offertes par les \r\n langages de conception comme UML{} et \\`a pr\\'eciser leurs \r\n propri\\'et\\'es (dur\\'ee de vie, exclusivit\\'e, multiplicit\\'e et site \r\n d'invocation) pour les identifier avec des algorithmes d'analyses \r\n statiques et dynamiques. Elle conduit aussi \\`a traduire les motifs \r\n en syst\\`emes de contraintes et \\`a identifier les \r\n micro-architectures similaires, formes compl\\`etes et approch\\'ees, \r\n par la r\\'esolution de probl\\`emes de satisfaction de contraintes. La \r\n programmation par contraintes avec explications permet de guider la \r\n r\\'esolution et d'expliquer les micro-architectures identifi\\'ees. La \r\n suite d'outils Ptidej{} est une implantation des mod\\`eles et des \r\n algorithmes propos\\'es. Elle est int\\'egr\\'ee \\`a l'environnement \r\n \\Eclipse{} de d\\'eveloppement en Java{}. Elle inclut le \r\n m\\'etamod\\`ele PADL{}, d\\'eriv\\'e du m\\'etamod\\`ele \\PDL{}~; des \r\n outils d'analyses statiques et dynamiques, \\Introspector{} et \r\n Caffeine{}~; et un solveur de contraintes, PtidejSolver{}, d\\'eriv\\'e \r\n du solveur de contraintes avec explications de r\\'ef\\'erence \\PaLM{}.}\r\n}\r\n\r\n","author_short":["Gu�h�neuc, Y."],"key":"Gueheneuc03-PhD","id":"Gueheneuc03-PhD","bibbaseid":"guhneuc-uncadrepourlatraabilitdesmotifsdeconception-2003","role":"author","urls":{"Paper":"http://www.yann-gael.gueheneuc.net/Work/PhDThesis/"},"keyword":["Topic: <b>Design patterns</b>","Topic: <b>Binary class relations</b>"],"metadata":{"authorlinks":{"gu�h�neuc, y":"https://bibbase.org/show?bib=http%3A%2F%2Fwww.yann-gael.gueheneuc.net%2FWork%2FPublications%2FBiblio%2Fcomplete-bibliography.bib&msg=embed"}}},"search_terms":["cadre","pour","tra","abilit","des","motifs","conception","gu�h�neuc"],"keywords":["topic: <b>design patterns</b>","topic: <b>binary class relations</b>"],"authorIDs":["AfJhKcg96muyPdu7S"],"dataSources":["8vn5MSGYWB4fAx9Z4"]}