Un cadre pour la tra�abilit� des motifs de conception

Un cadre pour la tra�abilit� des motifs de conception. Gu�h�neuc, Y. �ditions universitaires europ�ennes, June, 2010. 360 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�abilit� 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 PDL ; 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 PaLM.

@BOOK{Gueheneuc-EUE-PhDThesis,
   PUBLISHER    = {�ditions universitaires europ�ennes},
   TITLE        = {Un cadre pour la tra�abilit� des motifs de conception},
   YEAR         = {2010},
   AUTHOR       = {Yann-Ga�l Gu�h�neuc},
   ALTEDITOR    = {},
   OPTADDRESS   = {},
   OPTEDITION   = {},
   MONTH        = {June},
   NOTE         = {360 pages.},
   OPTNUMBER    = {},
   OPTSERIES    = {},
   OPTVOLUME    = {},
   KEYWORDS     = {Topic: <b>Design patterns</b>, 
      Rubrique : <b>patrons de conception</b>, Livre : EUE},
   URL          = {http://www.yann-gael.gueheneuc.net/Work/PhDThesis/Documents/LongPhDThesisYannGaelGueheneuc.doc.zip},
   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. 
      �&nbsp;l'usage, ces motifs de conception sont diss�min�s dans le code 
      source et ne sont plus explicites lors de la maintenance&nbsp;; 
      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�abilit� 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 PDL ; 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 PaLM.}
}

Downloads: 0

{"_id":"kCxJDmxtD6eG9Gnhr","bibbaseid":"guhneuc-uncadrepourlatraabilitdesmotifsdeconception-2010","author_short":["Gu�h�neuc, Y."],"bibdata":{"bibtype":"book","type":"book","publisher":"�ditions universitaires europ�ennes","title":"Un cadre pour la tra�abilit� des motifs de conception","year":"2010","author":[{"firstnames":["Yann-Ga�l"],"propositions":[],"lastnames":["Gu�h�neuc"],"suffixes":[]}],"alteditor":"","optaddress":"","optedition":"","month":"June","note":"360 pages.","optnumber":"","optseries":"","optvolume":"","keywords":"Topic: Design patterns, Rubrique : patrons de conception, Livre : EUE","url":"http://www.yann-gael.gueheneuc.net/Work/PhDThesis/Documents/LongPhDThesisYannGaelGueheneuc.doc.zip","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�abilit� 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 PDL ; 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 PaLM.","bibtex":"@BOOK{Gueheneuc-EUE-PhDThesis,\r\n PUBLISHER = {�ditions universitaires europ�ennes},\r\n TITLE = {Un cadre pour la tra�abilit� des motifs de conception},\r\n YEAR = {2010},\r\n AUTHOR = {Yann-Ga�l Gu�h�neuc},\r\n ALTEDITOR = {},\r\n OPTADDRESS = {},\r\n OPTEDITION = {},\r\n MONTH = {June},\r\n NOTE = {360 pages.},\r\n OPTNUMBER = {},\r\n OPTSERIES = {},\r\n OPTVOLUME = {},\r\n KEYWORDS = {Topic: Design patterns, \r\n Rubrique : patrons de conception, Livre : EUE},\r\n URL = {http://www.yann-gael.gueheneuc.net/Work/PhDThesis/Documents/LongPhDThesisYannGaelGueheneuc.doc.zip},\r\n ABSTRACT = {Les patrons de conception sont importants en g�nie \r\n logiciel � objets car ils contribuent � la qualit� des programmes. \r\n Ils proposent des solutions �l�gantes � des probl�mes r�currents de \r\n conception, des motifs utilis�s pendant l'implantation. \r\n � l'usage, ces motifs de conception sont diss�min�s dans le code \r\n source et ne sont plus explicites lors de la maintenance ; \r\n pourtant, ils aideraient � comprendre l'implantation et la conception \r\n des programmes, assurant leur qualit�. Ce m�moire propose des mod�les \r\n et des algorithmes pour garantir la tra�abilit� des motifs de \r\n conception entre les phases d'implantation et de r�troconception des \r\n programmes par l'identification semi-automatique des \r\n micro-architectures similaires � ces motifs dans le code source. La \r\n m�tamod�lisation est utilis�e pour d�crire les motifs de conception \r\n et les programmes Java. Elle am�ne � expliciter certaines relations \r\n interclasses (association, agr�gation et composition) offertes par \r\n les langages de conception comme UML et � pr�ciser leurs propri�t�s \r\n (dur�e de vie, exclusivit�, multiplicit� et site d'invocation) pour \r\n les identifier avec des algorithmes d'analyses statiques et \r\n dynamiques. Elle conduit aussi � traduire les motifs en syst�mes de \r\n contraintes et � identifier les micro-architectures similaires, \r\n formes compl�tes et approch�es, par la r�solution de probl�mes de \r\n satisfaction de contraintes. La programmation par contraintes avec \r\n explications permet de guider la r�solution et d'expliquer les \r\n micro-architectures identifi�es. La suite d'outils Ptidej est une \r\n implantation des mod�les et des algorithmes propos�s. Elle est \r\n int�gr�e � l'environnement Eclipse de d�veloppement en Java. Elle \r\n inclut le m�tamod�le PADL, d�riv� du m�tamod�le PDL ; des outils \r\n d'analyses statiques et dynamiques, Introspector et Caffeine ; et un \r\n solveur de contraintes, PtidejSolver, d�riv� du solveur de \r\n contraintes avec explications de r�f�rence PaLM.}\r\n}\r\n\r\n","author_short":["Gu�h�neuc, Y."],"key":"Gueheneuc-EUE-PhDThesis","id":"Gueheneuc-EUE-PhDThesis","bibbaseid":"guhneuc-uncadrepourlatraabilitdesmotifsdeconception-2010","role":"author","urls":{"Paper":"http://www.yann-gael.gueheneuc.net/Work/PhDThesis/Documents/LongPhDThesisYannGaelGueheneuc.doc.zip"},"keyword":["Topic: Design patterns","Rubrique : patrons de conception","Livre : EUE"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://www.yann-gael.gueheneuc.net/Work/Publications/Biblio/complete-bibliography.bib","dataSources":["8vn5MSGYWB4fAx9Z4"],"keywords":["topic: design patterns","rubrique : patrons de conception","livre : eue"],"search_terms":["cadre","pour","tra","abilit","des","motifs","conception","gu�h�neuc"],"title":"Un cadre pour la tra�abilit� des motifs de conception","year":2010}