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

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�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.

@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>, 
      Rubrique : <b>patrons de conception</b>, 
      Topic: <b>Binary class relations</b>, 
      Rubrique : <b>relations binaires entre classes</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. 
      �&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&nbsp;; des outils 
      d'analyses statiques et dynamiques, Introspector et Caffeine&nbsp;; 
      et un solveur de contraintes, PtidejSolver, d�riv� du solveur de 
      contraintes avec explications de r�f�rence PaLM.}
}

Downloads: 0

{"_id":"A4XHtzCCxDw8j86FA","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: Design patterns, Rubrique : patrons de conception, Topic: Binary class relations, Rubrique : relations binaires entre classes","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�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":"@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: Design patterns, \r\n Rubrique : patrons de conception, \r\n Topic: Binary class relations, \r\n Rubrique : relations binaires entre classes},\r\n URL = {http://www.yann-gael.gueheneuc.net/Work/PhDThesis/},\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 ; \r\n et un 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":"Gueheneuc03-PhD","id":"Gueheneuc03-PhD","bibbaseid":"guhneuc-uncadrepourlatraabilitdesmotifsdeconception-2003","role":"author","urls":{"Paper":"http://www.yann-gael.gueheneuc.net/Work/PhDThesis/"},"keyword":["Topic: Design patterns","Rubrique : patrons de conception","Topic: Binary class relations","Rubrique : relations binaires entre classes"],"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"http://www.yann-gael.gueheneuc.net/Work/Publications/Biblio/complete-bibliography.bib","dataSources":["8vn5MSGYWB4fAx9Z4"],"keywords":["topic: design patterns","rubrique : patrons de conception","topic: binary class relations","rubrique : relations binaires entre classes"],"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}