@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{\'e}nie 
      logiciel \`a objets car ils contribuent \`a la qualit{\'e} des 
      programmes. Ils proposent des solutions {\'e}l{\'e}gantes \`a des 
      probl{\`e}mes r{\'e}currents de conception, des motifs utilis{\'e}s 
      pendant l'implan\-tation. \`A~l'usage, ces motifs de conception sont 
      diss{\'e}min{\'e}s 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{\'e}moire propose des mod{\`e}les et des 
      algorithmes pour garantir la tra\c cabilit{\'e} des motifs de 
      conception entre les phases d'implantation et de r{\'e}troconception 
      des programmes par l'identification semi-automatique des 
      micro-architectures similaires \`a ces motifs dans le code source. La 
      m{\'e}tamod{\'e}lisation est utilis{\'e}e pour d{\'e}crire les motifs 
      de conception et les programmes Java{}. Elle am{\`e}ne \`a expliciter 
      certaines relations interclasses (association, agr{\'e}\-gation et 
      composition) offertes par les langages de conception comme UML{} et 
      \`a pr{\'e}ciser leurs propri{\'e}t{\'e}s (dur{\'e}e 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{\`e}mes de 
      contraintes et \`a identifier les micro-architectures similaires, 
      formes compl{\`e}tes et approch{\'e}es, par la r{\'e}solution de 
      probl{\`e}mes de satisfaction de contraintes. La programmation par 
      contraintes avec explications permet de guider la r{\'e}solution et 
      d'expliquer les micro-architectures identifi{\'e}es. La suite 
      d'outils Ptidej{} est une implantation des mod{\`e}les et des 
      algorithmes propos{\'e}s. Elle est int{\'e}gr{\'e}e \`a 
      l'environnement \Eclipse{} de d{\'e}veloppement en Java{}. Elle 
      inclut le m{\'e}tamod{\`e}le PADL{}, d{\'e}riv{\'e} du 
      m{\'e}tamod{\`e}le \PDL{}~; des outils d'analyses statiques et 
      dynamiques, \Introspector{} et Caffeine{}~; et un solveur de 
      contraintes, PtidejSolver{}, d{\'e}riv{\'e} du solveur de contraintes 
      avec explications de r{\'e}f{\'e}rence \PaLM{}.}
}

{"_id":"AXozpTG7zaZyXynYF","bibbaseid":"guhneuc-uncadrepourlatraabilitdesmotifsdeconception-2003","author_short":["Gu�h�neuc, Y."],"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'implan­tation. À 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{\\'e}nie \r\n logiciel \\`a objets car ils contribuent \\`a la qualit{\\'e} des \r\n programmes. Ils proposent des solutions {\\'e}l{\\'e}gantes \\`a des \r\n probl{\\`e}mes r{\\'e}currents de conception, des motifs utilis{\\'e}s \r\n pendant l'implan\\-tation. \\`A~l'usage, ces motifs de conception sont \r\n diss{\\'e}min{\\'e}s dans le code source et ne sont plus explicites \r\n lors de la maintenance~; pourtant, ils aideraient \\`a comprendre \r\n l'implantation et la conception des programmes, assurant leur \r\n qualit{\\'e}. Ce m{\\'e}moire propose des mod{\\`e}les et des \r\n algorithmes pour garantir la tra\\c cabilit{\\'e} des motifs de \r\n conception entre les phases d'implantation et de r{\\'e}troconception \r\n des programmes par l'identification semi-automatique des \r\n micro-architectures similaires \\`a ces motifs dans le code source. La \r\n m{\\'e}tamod{\\'e}lisation est utilis{\\'e}e pour d{\\'e}crire les motifs \r\n de conception et les programmes Java{}. Elle am{\\`e}ne \\`a expliciter \r\n certaines relations interclasses (association, agr{\\'e}\\-gation et \r\n composition) offertes par les langages de conception comme UML{} et \r\n \\`a pr{\\'e}ciser leurs propri{\\'e}t{\\'e}s (dur{\\'e}e de vie, \r\n exclusivit{\\'e}, multiplicit{\\'e} et site d'invocation) pour les \r\n identifier avec des algorithmes d'analyses statiques et dynamiques. \r\n Elle conduit aussi \\`a traduire les motifs en syst{\\`e}mes de \r\n contraintes et \\`a identifier les micro-architectures similaires, \r\n formes compl{\\`e}tes et approch{\\'e}es, par la r{\\'e}solution de \r\n probl{\\`e}mes de satisfaction de contraintes. La programmation par \r\n contraintes avec explications permet de guider la r{\\'e}solution et \r\n d'expliquer les micro-architectures identifi{\\'e}es. La suite \r\n d'outils Ptidej{} est une implantation des mod{\\`e}les et des \r\n algorithmes propos{\\'e}s. Elle est int{\\'e}gr{\\'e}e \\`a \r\n l'environnement \\Eclipse{} de d{\\'e}veloppement en Java{}. Elle \r\n inclut le m{\\'e}tamod{\\`e}le PADL{}, d{\\'e}riv{\\'e} du \r\n m{\\'e}tamod{\\`e}le \\PDL{}~; des outils d'analyses statiques et \r\n dynamiques, \\Introspector{} et Caffeine{}~; et un solveur de \r\n contraintes, PtidejSolver{}, d{\\'e}riv{\\'e} du solveur de contraintes \r\n avec explications de r{\\'e}f{\\'e}rence \\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":{}}},"bibtype":"phdthesis","biburl":"http://www.yann-gael.gueheneuc.net/Work/Publications/Biblio/complete-bibliography.bib","dataSources":["8vn5MSGYWB4fAx9Z4"],"keywords":["topic: <b>design patterns</b>","topic: <b>binary class relations</b>"],"search_terms":["cadre","pour","tra","abilit","des","motifs","conception","gu�h�neuc"],"title":"Un cadre pour la tra�abilit� des motifs de conception","year":2003}