Jannik LAVAL Post-doc en informatique, (ré)ingénierie logicielle Informations administratives 29 ans, marié, 1 enfant. Professionnelle : Contact : LaBRI Tel. +(33) 6 22 91 99 47 351, cours de la Liberation, E-mail : jannik.laval@gmail.com 33405 Talence, Page web : http://www.jannik-laval.eu/ FRANCE Domaines de recherche Analyse de structure logicielle, Analyse de l évolution logicielle, (Ré)ingénierie logicielle, Remodularisation, Analyse d impacts, Nouveaux concepts pour la modularité, Qualité logicielle. Parcours universitaire 2011... Post-doctorat au sein du LABRI, thème Ingénierie Logicielle (avec Pr. Xavier Blanc). 2008 2011 Thèse de Doctorat en Informatique à l Université des Sciences et Technologies de Lille 1 (USTL) INRIA Lille Nord Europe. Titre : «Package Dependencies Analysis and Remediation in Object-Oriented Systems». Financement : INRIA. Directeur : Dr. Stéphane Ducasse. Co-encadrant : Dr. Nicolas Anquetil. Jury : Pr. Jean-Marc Jezequel, Pr. Oscar Nierstrasz, Pr. Theo D Hondt, Pr. Laurence Duchien. Soutenue le 17 juin 2011. 2008 2011 Monitorat à l Université de Lille. Enseignant à l IUT A de l Université des Sciences et Technologies de Lille 1, département Informatique. 2006 2008 Master Recherche de gestion à l IMUS-IAE Savoie Mont-Blanc. Encadrement : Dr. Catherine Bachelet et Dr. Hervé Verjus. Sujet : Prise en compte des usages dans l amélioration d un système d information. Organisme : IREGE. Mention : Assez bien. 2006 2008 Master Professionnel Technologie et Management à l IMUS-IAE Savoie Mont-Blanc. Encadrement : Dr. Stéphane Ducasse. Sujet : Analyse d un modèle de qualimétrie. Organisme : INRIA Lille-Nord Europe. Mention : Assez bien. 2005 2006 Licence Technologie et Management à l IMUS-IAE Savoie Mont-Blanc. Mention : Bien. 2003 2005 DUT Informatique à l IUT de Valence. Langues Français : langue maternelle. Anglais : thèse de doctorat rédigée en anglais, utilisation régulière dans des conférences internationales, dans l équipe de recherche et au sein de différentes communautés, relecture et écriture de papiers. Autre certificat Certified Project Management Associate, IPMA. IPMA (International Project Management Association) est une organisation à but non lucratif mondialement reconnue de gestion de projet. Le certificat IPMA - Certified Project Management Associate assure d une expérience dans la gestion de projet. Ce certificat prouve que je peux travailler en tant que membre à responsabilité d une équipe projet et que j ai de solides connaissances en gestion de projet. 1
Activités Pédagogiques Synthèse J ai été moniteur à l Université de Lille entre 2008 et 2011, où j ai enseigné à l IUT A de l Université des Sciences et Technologies de Lille 1, au niveau Bac+2. Durant mon post-doc, j ai enseigné la conduite de projets en Master 2 (Bac+5) à l université de Bordeaux. Année Statut-Lieu Cycle Discipline Effectif Volume Charge 2011-2012 Chargé de TD Master 2 informatique Conduite de projet 12 12h TD/TP 2011-2012 Chargé de TD Master 2 informatique Conduite de projet 13 24h TD/TP 2010-2011 Moniteur IUT Lille1 DUT informatique Réseau avancé 22 32h TD/TP 23 32h 2009-2010 Moniteur IUT Lille1 DUT informatique Réseau avancé 16 32h TD/TP 19 32h 2008-2009 Moniteur IUT Lille1 DUT informatique Réseau avancé 14 32h TD/TP 18 32h Total 228h Détails des enseignements Conduite de projet (36 heures sur 1 année) responsable : Xavier BLANC (xavier.blanc@labri.fr) sujets abordés : méthode agile SCRUM, mise en pratique des démarches et des outils, par groupe de 6-7 étudiants. tâches réalisées : suivi des groupes, évaluation de leurs travaux. Réseau avancé (192 heures sur 3 années) responsable : Jean CARLE (jean.carle@lifl.fr) sujets abordés : Modèle OSI et TCP/IP. Adressages IPv4, IPv6. Protocole de Transport (UDP, TCP), encapsulation. Structure d Internet et routage (protocoles DNS, RIP, OLSR, BGP). Contrôle de congestion. Programmation client/serveur. Principe de codage et de routage. TD/TP : préparation des exercices et surveillance. tâches réalisées : Préparation, surveillance et correction d examens (hors heures d enseignement),participation aux jurys et réunions de département. Encadrement d étudiants Thèse de doctorat de Cédric Teyton. Sujet : «Cohérence des artefacts supports à la conception d applications internet». Pourcentage d encadrement : 10%. Période : depuis Septembre 2011. Stage de Benjamin Van Ryseghem (Bac+2). Sujet : «Construire un script pour la création d un micro-kernel de l environnement de programmation Pharo». Pourcentage d encadrement : 50%, 50% Pr. Stéphane Ducasse. Période : Novembre 2010 à Janvier 2011. Stage de Tristan Bourgois (Bac+2). Sujet : «Bloc - Un nouveau design de remodularisation pour les collections». Pourcentage d encadrement : 90%, 10% Pr. Stéphane Ducasse. Résultat : publication au workshop IWST [9]. Période : Avril à Juin 2010. Diffusion de l information scientifique Trois articles dans GNU/Linux Magazine déjà publiés [29, 30, 31], concernant différents outils de Pharo, la nouvelle plateforme de développement en Smalltalk. Un livre en fin de rédaction intitulé "Pharo by Example 2" [38] sur le même sujet. Deux chapitres d un livre collaboratif intitulé "Evolution et Rénovation des Systèmes Logiciels" sont à paraître [27, 28]. Ces deux chapitres concernent les problématiques de remodularisation et d analyse de la qualité logicielle. 2
Activités de Recherche Problématique de recherche : Maîtriser l évolution des écosystèmes logiciels Note : les références numériques sont celles de mes travaux. Depuis les lois de Lehman et Baladi [?], nous savons que les logiciels doivent évoluer continuellement pour rester utiles et que l évolution des logiciels est accompagnée d une augmentation de leur complexité. La maintenance représente plus de 80% du coût de développement d un logiciel [?,?]. Corbi estime que 50-60% du temps de maintenance est dédié à lire et comprendre le code source existant [?]. De plus, maintenir un logiciel nécessite bien souvent de modifier une partie du code source d un ensemble (le logiciel) trop complexe pour être compris dans sa totalité. Purushothaman et Perry montrent que 40% des bogues sont introduits en corrigeant d autres bogues, faute de pouvoir connaître l ensemble de leurs implications [?]. Ces études montrent que la phase de maintenance est une période critique qui mérite une meilleure prise en charge. Améliorer les conditions de maintenance est possible grâce à une architecture modulaire. Une architecture modulaire est un ensemble d éléments indépendants. Cela permet de limiter l impact d une modification sur les autres éléments. Je propose dans mes travaux de thèse une approche pour aider les développeurs à rendre modulaire leurs architectures logicielles. Ma thèse apporte des réponses aux questions : comment supporter l évolution et la maintenance de grosses applications d entreprises? Comment pouvons-nous identifier les problèmes structurels dans les applications logicielles et aider les développeurs à rendre modulaire leurs logiciels? Plus particulièrement, mes travaux se concentrent sur l analyse des paquetages des systèmes orientés objet. Un paquetage est composé d un ensemble de classes. Il représente une unité de réutilisation et de déploiement. L approche se décompose en trois sous-thèmes : la visualisation des interactions entre les paquetages ; un algorithme détectant les dépendances impliquées dans les problèmes de structure ; et une infrastructure pour analyser l impact des changements sur l architecture. Deux visualisations, edsm [7, 35] et CycleTable [26], ont été mises en œuvre. Elles aident les développeurs à comprendre les problèmes structurels au niveau des paquetages. Elles offrent une vision des circuits dans l architecture globale de l application. Cela permet aux développeurs de constater l ampleur des défauts. Elles permettent également une vision détaillée de petits groupes de paquetages et utilisent les informations colorimétriques pour mettre en évidence des problèmes architecturaux. Un algorithme, Ozone [9, 34], permet de calculer les dépendances impliquées dans les circuits et fait des propositions de remodularisation de l architecture des paquetages. Il propose une classification semi-automatique des dépendances entre paquetages en deux catégories : les dépendances acceptées et les dépendances indésirables. L objectif de l algorithme est de trouver les dépendances indésirables que le développeur pourra ensuite supprimer de l architecture. L approche est semiautomatique car elle permet d ajouter manuellement des contraintes sur les dépendances. Finalement, une infrastructure, Orion [3], fournit la structure pour analyser l impact des changements dans l architecture du logiciel. C est un méta-modèle d aide à la décision pour la réingénierie. Il permet d évaluer l impact des modifications sur une architecture avant d appliquer ces changements sur le code source. Ces approches ont été mises en œuvre au-dessus de la plateforme Moose 1 et validées sur de multiples applications opensource. Les recherches réalisées pour ma thèse ont été appliquées : toutes les approches développées ont été testées et validées sur des systèmes logiciels par des développeurs de différents niveaux d expertise. Ces recherches nécessitent la maitrise de la recherche empirique (empirical software engineering) [?]. Mes travaux de post-doc portent sur la propagation des changements d une API (Application Programming Interface). Une API permet l interaction entre les composants logiciels. Je travaille actuellement sur une approche permettant aux développeurs de connaitre les modifications des API utilisées par leur logiciel. L objectif est de proposer aux développeurs des modifications sur leur code source en fonction des changements déjà opérés dans le composant utilisé. L ensemble de ces travaux se placent dans le contexte de logiciels vieillissants dont les ressources, données ou traitements accessibles par le logiciel, sont clairement identifiés. Les logiciels de nouvelle génération, dont les systèmes distribués, utilisent des ressources réparties dans leur environnement (i.e., Internet, réseau local). Elles peuvent être proposées par d autres entreprises ou communautés. L ensemble de ces logiciels et ressources forme une architecture plus complexe dont les frontières sont difficilement maîtrisables, et chacune des ressources évolue indépendamment. L ensemble des ressources utilisées par un logiciel forme ce que l on appelle un écosystème [?]. L environnement ouvert et incertain d un écosystème pose de nouveaux problèmes pour la stabilité des logiciels. L évolution de l écosystème peut provoquer des bogues difficiles à identifier et à réparer [?]. Pour répondre à ces évolutions de l écosystème, de nouvelles méthodes de gestion de projet dites agiles, plus adaptées aux évolutions fréquentes, ont été proposées [?]. Elles fonctionnent par itération ce qui permet aux développeurs de s adapter presque quotidiennement aux contraintes de l environnement. Ces approches facilitent grandement le développement de logiciels. Cependant, les difficultés d évolution et de maintenance demeurent, et les coûts continuent d augmenter [?]. Une des causes majeures de cette situation est qu aucun outil de développement existant ne prend en compte l écosystème logiciel. L analyse d un écosystème est différente de l analyse de la structure interne d un logiciel dans le sens où les dépendances à étudier sont orientées vers le monde extérieur. Elles dépendent de la disponibilité des ressources et des langages utilisés pour le développement. Les modèles d analyses d architecture existants sont adaptés aux logiciels dont les frontières sont 1. http://www.moosetechnology.org/ 3
bien définies, l information disponible, et les ressources homogènes. Ils ne sont pas adaptés à l analyse d écosystèmes où les différentes ressources ne sont pas clairement identifiées et soumisent à des variations incontrôlées. Mon projet de recherche a pour objectif d offrir aux développeurs un moyen de contrôler l évolution de leur logiciel malgré les contraintes de l environnement. Je compte mettre en place de nouveaux modèles d analyse d architecture ainsi que les méthodes de prise en charge des changements dans l écosystème. Les approches développées durant ma thèse seront étendues à l analyse de l environnement. Un modèle d analyse d impacts sera développé pour prendre en compte la propagation des changements dans l écosystème. Références [BSLH99] Brigitte Bartsch-Spörl, Mario Lenz, and André Hübner. Case-based reasoning - survey and future directions. In Proc. of the 5th German Biennial Conference on Knowledge-Based Systems, pages 67 89. Springer Verlag, 1999. [BMMM08] Xavier Blanc, Isabelle Mounier, Alix Mougenot, and Tom Mens. Detecting model inconsistency through operation-based model construction. In Proceedings of the 30th international conference on Software engineering, ICSE 08, pages 511 520, New York, NY, USA, 2008. ACM. [Cor89] Thomas A. Corbi. Program understanding : Challenge for the 1990 s. IBM Systems Journal, 28(2) :294 306, 1989. [Dav95] Alan Mark Davis. 201 Principles of Software Development. McGraw-Hill, 1995. [DR08] Barthélémy Dagenais and Martin P. Robillard. Recommending adaptive changes for framework evolution. In Proceedings of the 30th international conference on Software engineering, ICSE 08, pages 481 490, New York, NY, USA, 2008. ACM. [Erl00] Len Erlikh. Leveraging legacy system dollars for e-business. IT Professional, 2(3) :17 23, 2000. [FBF + 07] [HN11] Steven D. Fraser, Frederick P. Brooks, Jr., Martin Fowler, Ricardo Lopez, Aki Namioka, Linda Northrop, David Lorge Parnas, and David Thomas. "no silver bullet" reloaded : retrospective on "essence and accidents of software engineering". In Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, OOPSLA 07, pages 1026 1030, New York, NY, USA, 2007. ACM. Reid Holmes and David Notkin. Identifying program, test, and environmental changes that affect behaviour. In Proceedings of the 33rd International Conference on Software Engineering, ICSE 11, pages 371 380, New York, NY, USA, 2011. ACM. [Leh96] Manny Lehman. Laws of software evolution revisited. In European Workshop on Software Process Technology, pages 108 124, Berlin, 1996. Springer. [Lun08] M. Lungu. Towards reverse engineering software ecosystems. In Software Maintenance, 2008. ICSM 2008. IEEE International Conference on, pages 428 431, 28 2008-oct. 4 2008. [MBSS11] Jonathan Michaux, Xavier Blanc, Marc Shapiro, and Pierre Sutra. A semantically rich approach for collaborative model edition. In Proceedings of the 2011 ACM Symposium on Applied Computing, SAC 11, pages 1470 1475, New York, NY, USA, 2011. ACM. [PP05] [SB01] [SL01] [SSS07] R. Purushothaman and D.E. Perry. Toward understanding the rhetoric of small source code changes. Software Engineering, IEEE Transactions on, 31(6) :511 526, June 2005. Ken Schwaber and Mike Beedle. Agile Software Development with Scrum. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1st edition, 2001. Jelber Sayyad and C. Lethbridge. Supporting software maintenance by mining software update records. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM 01), ICSM 01, pages 22, Washington, DC, USA, 2001. IEEE Computer Society. Forrest Shull, Janice Singer, and Dag I.K. Sjøberg. Guide to Advanced Empirical Software Engineering. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007. [WAB05] Rosina O. Weber, Kevin D. Ashley, and Stefanie Brüninghaus. Textual case-based reasoning. Knowl. Eng. Rev., 20 : 255 260, September 2005. [WM03] Takashi Washio and Hiroshi Motoda. State of the art of graph-based data mining. SIGKDD Explor. Newsl., 5 : 59 68, July 2003. 4
Mes travaux Travaux de Post-doc Titre : Analyse de l évolution des API logicielle au sein d un écosystème. Lieu : LaBRI, Bordeaux. Résumé : Je travaille actuellement sur l analyse de l évolution logicielle. Les logiciels sont souvent interconnectés entre eux et forme des écosystèmes. Lorsque l un d eux évolue, il est difficile de prévoir les changements sur les autres logiciels de son environnement. Ainsi, je m intéresse à l intégration des changements au sein de plusieurs systèmes ayant évolués plus ou moins conjointement. Cette problématique est particulièrement importante dans des environnements communautaires et open-sources. Pour répondre à cette problématique, je travaille sur une approche permettant de proposer des changements en fonctions des modifications déjà réalisées dans d autres logiciels de l environnement. Thèse de doctorat Titre : Package Dependencies Analysis and Remediation in Object-Oriented Systems. Lieu : INRIA Lille Nord Europe. Encadrant : Dr. Stéphane Ducasse et Dr. Nicolas Anquetil. Jury : Pr. Jean-Marc Jezequel, Pr. Oscar Nierstrasz, Pr. Theo D Hondt, Pr. Laurence Duchien. Soutenue le 17 juin 2011. Manuscrit disponible : http://jannik-laval.eu/assets/files/papers/lava11b-phdthesis.pdf. Résumé : Les logiciels évoluent au fil du temps avec la modification, l ajout et la suppression de nouvelles classes, méthodes, fonctions, dépendances. Une conséquence est que le comportement peut être placé dans de mauvais paquetages et casser la modularité du logiciel. Une bonne organisation des classes dans des paquetages identifiables facilite la compréhension, la maintenance, les tests et l évolution des logiciels. Nous soutenons que les responsables manquent d outils pour assurer la remodularisation logicielle. La maintenance des logiciels nécessite des approches qui aident à (i) la compréhension de la structure au niveau du paquetage et l évaluation de sa qualité ; (ii) l identification des problèmes de modularité, et (iii) la prise de décisions pour le changement. Dans cette thèse nous proposons ECOO, une approche qui aide la remodularisation. Elle concerne les trois domaines de recherche suivants : (i) Comprendre les problèmes de dépendance entre paquetages. Nous proposons des visualisations mettant en évidence les dépendances cycliques au niveau des paquetages. (ii) Proposer des dépendances qui devraient être changées. L approche propose des dépendances à changer pour rendre le système plus modulaire. (iii) Analyser l impact des changements. L approche propose une analyse d impact du changement pour essayer les modifications avant de les appliquer sur le système réel. L approche présentée dans cette thèse a été validée qualitativement et les résultats ont été pris en compte dans la réingénierie des systèmes analysés. Les résultats obtenus démontrent l utilité de notre approche. Travaux de Master Titre : Comment prendre en compte les usages dans l amélioration d un Système d information. Lieu : IREGE - Annecy. Encadrant : Dr. Catherine Bachelet et Dr. Hervé Verjus. Manuscrit disponible : http://jannik-laval.eu/assets/files/papers/2008mastersthesis.pdf. Résumé : D après de nombreux constats, les usages ne sont pas suffisamment pris en compte dans la conception d un système d information. Ce phénomène peut se manifester en particulier par une mauvaise utilisation du système d information de la part des utilisateurs, voire à son abandon. De nombreux investissements sont ainsi effectués, sans que les résultats escomptés soient obtenus. Dans ce mémoire, nous tentons de montrer dans un premier temps, que les usages sont un élément important à considérer dans la conception d un système d information, puis dans un deuxième temps, que les méthodes de conception actuelles ne les prennent pas suffisamment en compte. Enfin, nous étudions les moyens de prendre en compte les usages dans la phase de conception et nous proposons une méthode de conception qui nous parait intéressante à mettre en place dans ce cadre. Encadrement d étudiants Thèse de doctorat de Cédric Teyton Sujet : «Cohérence des artefacts supports à la conception d applications internet». Pourcentage d encadrement : 10%. Période : depuis Septembre 2011. 5
Stage de Benjamin Van Ryseghem (Bac+2) Sujet : «Construire un script pour la création d un micro-kernel de l environnement de programmation Pharo». Pourcentage d encadrement : 50%, 50% Pr. Stéphane Ducasse. Période : Novembre 2010 à Janvier 2011. Stage de Tristan Bourgois (Bac+2) Sujet : «Bloc - Un nouveau design de remodularisation pour les collections». Pourcentage d encadrement : 90%, 10% Pr. Stéphane Ducasse. Résultat : publication au workshop IWST [11]. Période : Avril à Juin 2010. Transfert technologique Projet Squale Le projet Squale (Software QUALity Enhancement) vise à déterminer les modèles, puis développer l outillage open source associé, permettant d agréger différentes données qualité (dont, entre autres, les métriques) pour fournir des tableaux de bord synthétiques de la qualité du logiciel, l évolution de cette qualité au cours du temps, des indicateurs économiques de rentabilité de la qualimétrie. C est un projet open-source réunissant des entreprises (PSA Peugeot-Citroen, AirFrance, Qualixo) et des universitaires (LIASD Université Paris 8, RMod INRIA Lille Nord Europe). Il a été sélectionné par le pôle de compétitivité System@tic Paris-Region. J ai été impliqué dans le transfert et le développement d un modèle de qualité, travaillant sur le raffinement des métriques et des visualisations associées [2, 6, 8, 14, 21, 27, 28, 29, 30, 31, 32, 33]. http://www.squale.org/ Projet Macchiato Le projet Macchiato est un projet de recherche commun Université/Entreprises initié par le groupe Auchan, la PME Webpulser, l équipe ADAM du centre INRIA Lille-Nord Europe et l équipe LSR du laboratoire LABRI. L objectif du projet MACCHIATO est de repenser la conception des sites de commerce en ligne pour mieux les intégrer à l Internet des Choses et faciliter les ventes en ligne. http://macchiato.lille.inria.fr/ Séjours de recherche Depuis le début de mon doctorat, j ai eu le plaisir de rencontrer différentes équipes de recherche. L objectif était de prendre contact avec la communauté et établir de futures collaborations. Date Accueilli par 01/2012 (1 jour) Équipe Triskell, IRISA, Rennes (France) 11/2011 (3 jours) Service de Génie Logiciel, Université de Mons (Belgique) 05/2011 (2 jours) équipes ASCOLA et AtlanMod, école des Mines de Nantes 04/2011 (2 jours) équipes PHOENIX et Sphere, université de Bordeaux 12/2010 (4 jours) équipe SCG, Université de Berne 12/2010 (3 jours) équipes Sphere, université de Bordeaux. Bourse de mobilité GDR-GPL 2010 11/2010 (1 jour) LISTIC, Université de Savoie (France) 04/2009 (1 jour) laboratoire Software Languages Lab (SOFT), Vrije Universiteit Brussel (VUB) 10/2008 (1 sem.) équipe SCG, Université de Berne 6
Animation scientifique Comités scientifiques J ai été relecteur et co-relecteur pour différents journaux et conférences. Titre Type Nom Éditeur invité Numéro spécial de journal Elsevier s SCP Advances in Dynamic Languages (2012) Président du commité Workshops internationaux SMALLTALKS 2011, FAMOOSr 2011 scientifique Membre du Conférences internationales ICSEA 2012 commité scientifique Workshops internationaux IWST 2012, Smalltalks12 Conférences nationales MajecSTIC 2012 Relecteur Chapitre de livre Évolution, Maintenance et Rénovation des Systèmes Logiciels, Hermès 2011 Journal national TSI (Lavoisier) 2009 Co-Relecteur Journaux internationaux SPE 2011, SCP Special Issue : Software Evolution 2010, J.UCS 2009 Conférences internationales CSMR 2012, ICSM 2011, Tools 2011, WCRE 2010, Models 2010, SC 2010, CSMR 2010, ECOOP 2010, ICSM 2010, Tools 2010, SC 2009, WCRE 2009, Models 2009, Tools 2009 Conférences nationales LMO 2009 Workshops internationaux Benevol 2010, MCCM 2008 Organisation d évènements J ai été étudiant volontaire dans différentes manifestations. Je fait partie de l organisation d évènements scientifiques. Titre Type Statut Lieu Participants Groupe de travail GL* Groupe de travail Organisateur Bordeaux (Fr) 20 Cycle de conférence TILDA** Conférence locale Program chair Lille (Fr) 20 ECOOP 2013 Conférence internationale Resp. étudiant volontaire Montpellier (Fr) ESUG 2011 Workshop international Resp. étudiant volontaire Edimbourg (En) 150 WCRE 2009 Conférence internationale Étudiant volontaire Lille (Fr) 90 ESUG 2008, 2009, 2010 Workshop international Étudiant volontaire Europe 150 Progiciel 2005, 2006, 2007 Exposition nationale Étudiant volontaire Annecy (Fr) 1500 * Le groupe de travail Génie Logiciel s intéresse au développement logiciel dans sa globalité. Les sujets abordés dans le groupe de travail sont variés : évolution logicielle, DSL (Domain Specific Language), analyse et modélisation de l architecture, ingénierie dirigée par les modèles, etc. Le groupe se réunit régulièrement autour de présentations de 30-45 minutes, suivies d une discussion. Je suis l organisateur de cette manifestation. ** Cycle de conférences TILDA : organisation d un cycle de quatre conférences de 1h. Ce cycle de conférences avait pour objectif d informer les étudiants de thèse et les post-docs sur les principes de recrutement après le doctorat. Investissement associatif Vice-Président de l association TILDA (Thésard En Informatique De Lille Et Docteurs Associés), de décembre 2010 à décembre 2011. http://tilda.univ-lille1.fr/ 7
Communications orales Je récapitule dans cette section mes différentes interventions liées à la présentation d articles en conférence et à la présentation de mes travaux lors de différentes manifestations. Présentation d articles en conférence Titre Date Sujet Lieu Journée nationale du GDR GPL 2012 06/2012 Supporting Simultaneous Versions for Software Evolution Assessment. Rennes (Fr) [3] FAMOOSr 2011 08/2011 Orion, Simulate changes in models. [13] Edinburgh (En) Journée nationale du GDR GPL 2011 06/2011 Software Maintenance Analysis and Understanding of the Software Lille (Fr) Structure. [17] Journée nationale du GDR GPL 2010 03/2010 Matrice de dépendances enrichie. [18] Pau (Fr) WCRE 2009 10/2009 Identifying cycle causes with Enriched Dependency Structural Lille (Fr) Matrix. [7] ESUG 2009 09/2009 Supporting Incremental Change in Large Models. [13] Brest (Fr) LMO 2009 03/2009 Matrice de dépendance structurelle. [16] Nancy (Fr) FamoosR 2008 10/2008 Assessing the Quality of your Software with MoQam. [14] Anvers (Be) Séminaires Titre Date Sujet Lieu Équipe Triskell, IRISA 01/2012 Package Dependencies Analysis and Remediation Rennes (Fr) Entreprise Alpes DEIS 06/2011 Web Services Architecture et Protocoles Marignier (Fr) Université de Savoie (LISTIC) 05/2011 Package Dependencies Analysis and Remediation Annecy (Fr) Équipes AtlanMod et ASCOLA 05/2011 Package Dependencies Analysis and Remediation Nantes (Fr) Équipe PHOENIX 04/2011 Package Dependencies Analysis and Remediation Bordeaux (Fr) Équipe Sphere 04/2011 Package Dependencies Analysis and Remediation Bordeaux (Fr) Équipe SCG 12/2010 (Re)modularization of Large Software Systems Berne (Ch) Journée GDR-GPL RIMEL 12/2010 Moose, un environnement extensible pour la ré-ingénierie Lille (Fr) BlockCamp Paris 11/2009 Optimiser ses applications en Pharo Paris (Fr) Club Qualimétrie 09/2009 Identifier les cycles avec DSM Paris (Fr) ESUG 2009 09/2009 Detecting System Cycle With DSM Brest (Fr) Journée Défis pour le Génie Logiciel 07/2009 Software (re)modularization Paris (Fr) Vrije Universiteit Brussel (VUB) 04/2009 edsm, an enriched DSM Bruxelles (Be) Équipe SCG 10/2008 DSM, how to detect software cycles Berne (Ch) 8
Liste des Publications Résumé Type de publication Accepté (en cours) Journaux internationaux avec comité de lecture 3 (2) Conférences internationales avec comité de lecture 5 Workshops internationaux avec comité de lecture 7 Conférences nationales avec comité de lecture 1 Communication GDR-GPL 3 Rapports de recherche 9 Livre 0 (1) Chapitres de livre 2 Diffusion de l information scientifique 3 Liste des co-auteurs (ordre alphabétique) : Mariano Abel Coca, Nicolas Anquetil, Gabriela Arevalo, Françoise Balmas, Alexandre Bergel, Fabrice Bellingard, Laurent bouhier, Simon Denier, Stéphane Ducasse, Jean-Remy Falleri, Dale Henrichs, Andy Kellens, Thomas McCabe, Karine Mordal-Manet, Romain Peirs, Damien Pollet, Alexander Serebrenik, Philippe Vaillergues, Bogdan Vasilescu, Philipe Vismara, Harald Wertz. Journaux internationaux avec comité de lecture [1] Jannik Laval, Jean-Rémy Falleri, Philippe Vismara, Stéphane Ducasse. Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems. In Journal of Object Technology (JOT) Volume 11, no. 1 (April 2012), pp. 1-24. [2] Karine Mordal-Manet, Nicolas Anquetil, Jannik Laval, Alexander Serebrenik, Bogdan Vasilescu, Stéphane Ducasse. Practical Software Quality Metrics Aggregation. In Journal of Software Maintenance and Evolution : Research and Practice (JSME) [en cours de publication]. Impact Factor : 0.606. [3] Jannik Laval, Simon Denier, Stéphane Ducasse, Jean-Remy Falleri. Supporting Simultaneous Versions for Software Evolution Assessment. In Journal of Science of Computer Programming (SCP), Volume 76, Issue 12, 1 December 2011, Pages 1177-1193 Special Issue on Software Evolution, Adaptability and Variability. Impact Factor : 1.459. Conférences internationales avec comité de lecture [4] Jean-Rémy Falleri, Simon Denier, Jannik Laval, Philipe Vismara, Stéphane Ducasse Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems. In TOOLS-Europe 11 : Proceedings of the 49th International Conference on Objects, Models, Components, Patterns. Taux d acceptation : 19/66 (28%). [5] Nicolas Anquetil, Jannik Laval Legacy Software Restructuring : Analyzing a Concrete Case. In CSMR 2011 : Proceedings of the 15th European Conference on Software Maintenance and Reengineering. Taux d acceptation : 29/101 (29%). [6] Karine Mordal-Manet, Jannik Laval, Stéphane Ducasse, Nicolas Anquetil, Frano ise Balmas, Fabrice Bellingard, Laurent bouhier, Philippe Vaillergues, Thomas McCabe. An empirical model for continuous and weighted metric aggregation. In CSMR 2011 : Proceedings of the 15th European Conference on Software Maintenance and Reengineering. Taux d acceptation : 29/101 (29%). [7] Jannik Laval, Simon Denier, Stéphane Ducasse, Alexandre Bergel. Identifying cycle causes with Enriched Dependency Structural Matrix. In WCRE 09 : Proceedings of the 2009 16th Working Conference on Reverse Engineering, 2009. Taux d acceptation : 20/79 (25%). [8] Karine Mordal-Manet, Françoise Balmas, Simon Denier, Stéphane Ducasse, Harald Wertz, Jannik Laval, Fabrice Bellingard, Philippe Vaillergues. The Squale Model A Practice-based Industrial Quality Model (short paper). 9
In ICSM 09 : Proceedings of the IEEE International Conference on Software Maintenance, pages 94-103, 2009. Taux d acceptation : 35/162 + 29 short papers (40% for short papers). Workshops internationaux avec comité de lecture [9] Jannik Laval, Stéphane Ducasse, Nicolas Anquetil OZONE : Package Layered Structure Identification in presence of Cycles. In Proceedings of the 9th BElgian-NEtherlands software evolution seminar (BENEVOL 2010), 2010. [10] Alexandre Bergel, Mariano Abel Coca, Gabriela Arevalo, Dale Henrichs, Jannik Laval Memory Profiling Blueprint (short paper). In Proceedings of the 4th Argentinian Smalltalk Conference 2010 (Smalltalks10), 2010 [11] Tristan Bourgois, Jannik Laval, Stéphane Ducasse, Damien Pollet. BLOC : a Trait-Based Collections Library - a Preliminary Experience Report. In Proceedings of ESUG International Workshop on Smalltalk Technologies (IWST 2010), 2010. [12] Jannik Laval, Simon Denier, Stéphane Ducasse. Identifying cycle causes with CycleTable. In FAMOOSr 2009 : 3rd Workshop on FAMIX and MOOSE in Software Reengineering, conjointement à WCRE 2009, 2009. [13] Jannik Laval, Simon Denier, Stéphane Ducasse, Andy Kellens. Supporting Incremental Changes in Large Models. In Proceedings of ESUG International Workshop on Smalltalk Technologies (IWST 2009), 2009. [14] Jannik Laval, Alexandre Bergel, Stéphane Ducasse. Assessing the Quality of your Software with MoQam. In FAMOOSr, 2nd Workshop on FAMIX and Moose in Reengineering, conjointement à WCRE 2008, 2008. [15] Alexandre Bergel, Stéphane Ducasse, Jannik Laval, Romain Peirs. Enhanced Dependency Structure Matrix for Moose. In FAMOOSr, 2nd Workshop on FAMIX and Moose in Reengineering, conjointement à WCRE 2008, 2008. Conférences nationales avec comité de lecture [16] Jannik Laval, Alexandre Bergel, Stéphane Ducasse. Matrice de dépendances enrichie. In Proceedings of Languages et Modèles à Objets (LMO 2009), 2009. Taux d acceptation : 10/23 (43%). Communication GDR-GPL [17] Jannik Laval, Usman Bhatti, Nicolas Anquetil, Stéphane Ducasse Software Maintenance Analysis and Understanding of the Software Structure. In Proceedings of Journées du GDR-GPL 2011. [18] Jannik Laval, Alexandre Bergel, Stéphane Ducasse, Romain Piers Matrice de dépendances enrichie. In Proceedings of Journées du GDR-GPL 2010. [19] Nicolas Anquetil, Simon Denier, Stéphane Ducasse, Jannik Laval, Damien Pollet, Roland Ducournau, Rodolphe Giroudeau, Marianne Huchard, Jean-Claude Konig, Abdelhak-Jamel Seriai Software (re)modularization : Fight against the structure erosion and migration preparation. In Proceedings of Journées du GDR-GPL 2010. Chapitres de livre [20] Jannik Laval, Simon Denier, Stéphane Ducasse. Remodularisation à large échelle des systèmes à objets. Chapitre du livre Evolution et Rénovation des Systèmes Logiciels, Hermes, 2011 [À paraître]. 10
[21] Karine Mordal, Jannik Laval, Stéphane Ducasse. Modèles de mesure de la qualité des logiciels. Chapitre du livre Evolution et Rénovation des Systèmes Logiciels, Hermes, 2011 [À paraître]. Diffusion de l information scientifique [22] Jannik Laval, Stéphane Ducasse. Package et gestion de versions en Pharo. GNU/Linux Magazine, Novembre 2010. [23] Jannik Laval, Stéphane Ducasse. Pharo : un nouveau Smalltalk open source. GNU/Linux Magazine, Septembre 2010. [24] Jannik Laval, Stéphane Ducasse. Optimisation d applications en Pharo. GNU/Linux Magazine, Janvier 2010. Rapports de recherche [25] Stéphane Ducasse, Nicolas Anquetil, Usman Bhatti, Cavalcante Hora Andre, Jannik Laval, Tudor Girba. MSE and FAMIX 3.0 : an Interexchange Format and Source Code Model Family. 2011. [26] Jannik Laval, Simon Denier, Stéphane Ducasse. Cycles Assessment with CycleTable. 2011. [27] Simon Denier, Jannik Laval, Stéphane Ducasse, Fabrice Bellingard Technical and Economical Model (Squale Deliverable 2.2). Disponible sur www.squale.org, 2010. [28] Simon Denier, Jannik Laval, Stéphane Ducasse, Fabrice Bellingard Technical and Economical Model (Squale Deliverable 2.1). Disponible sur www.squale.org, 2010. [29] Françoise Balmas, Fabrice Bellingard, Simon Denier, Stéphane Ducasse, Jannik Laval, Karine Mordal-Manet. Practices in the Squale Quality Model (Squale Deliverable 1.3). Disponible sur www.squale.org, 2010. [30] Stéphane Ducasse, Simon Denier, Françoise Balmas, Alexandre Bergel, Jannik Laval, Karine Mordal-Manet, Fabrice Bellingard. Visualization of Practices and Metrics (Squale Deliverable 1.2). Disponible sur www.squale.org, 2010. [31] Françoise Balmas, Alexandre Bergel, Simon Denier, Stéphane Ducasse, Jannik Laval, Karine Mordal-Manet, Hani Abdeen, Fabrice Bellingard. Software metric for Java and C++ practices (Squale Deliverable 1.1). Disponible sur www.squale.org, 2010. [32] Alexandre Bergel, Simon Denier, Stéphane Ducasse, Jannik Laval, Fabrice Bellingard, Philippe Vaillergues, Françoise Balmas, Karine Mordal-Manet. SQUALE Software QUALity Enhancement. European Projects Track, in 13th European Conference on Software Maintenance and Reengineering (CSMR), 2009. [33] Karine Mordal-Manet, Françoise Balmas, Simon Denier, Stéphane Ducasse, Harald Wertz, Jannik Laval, Fabrice Bellingard, Philippe Vaillergues. The Squale Model A Practice-based Industrial Quality Model. Disponible sur www.squale.org, 2009. Acticles en cours de soumission [34] Jannik Laval, Nicolas Anquetil, Usman Bhatti, Stéphane Ducasse. OZONE : Package Layers Identification in the presence of Cyclic Dependencies. Journal Science of Computer Programming, Special issue on Software Evolution, Adaptability and Maintenance [Accepté avec révision mineure]. 11
[35] Jannik Laval, Stéphane Ducasse, Simon Denier. Resolving cyclic dependencies between packages with Enriched Dependency Structural Matrix. Journal Software : Practice and Experience [Accepté avec révision majeure]. [36] Alexandre Bergel, Damien Cassou, Stéphane Ducasse, Jannik Laval. More Pharo by Example. Livre [En préparation, ~350 pages]. http://rmod.lille.inria.fr/pbe2/. Production de Logiciels Développement logiciel en lien avec mes travaux de recherche Moose on Pharo. Le projet «Moose Reeingineering Environment» est un environnement d analyse des systèmes logiciels. Il permet de traiter différents langages tels que Java, C++ et Smalltalk. Au départ, le projet a été conçu dans l environnement Smalltalk VisualWorks. Depuis 2008, je me suis investi dans l adaptation de la plateforme pour l environnement de développement Pharo. Aujourd hui Moose est constitué de plus de 80 paquetages, 900 classes, 65 000 lignes de codes. Moose est utilisé par de nombreuses universités (Berne, Lille, Lugano, Louvain, Timisoara, Chili) et a contribué à de nombreux projets de recherche et industriels. Je contribue au développement à raison de 10% [25]. Rôle : Mainteneur Taille : 65 000 LOC Contribution : 10% http://www.moosetechnology.org/ ecoo. C est une suite composée de edsm, CycleTable et ozone. Ces trois logiciels sont l implémentation d une grande partie de mes travaux de thèse. edsm (Enriched Dependencies Structure Matrix) est une matrice de dépendances utilisée pour la détection des circuits entre les packages d un système. CycleTable est une visualisation montrant les dépendances intéressantes à éliminer pour supprimer les circuits dans une architecture logicielle. ozone est un outil qui propose une stratégie pour mettre en évidence les dépendances indésirables, une organisation des paquetages en plusieurs couches même en présence de circuits, et une visualisation pour permettre à des experts d ajouter des contraintes. Ce travail a été implémenté dans l environnement de réingénierie open-source Moose et l outil de visualisation Mondrian. Je suis le principal mainteneur. [7, 9, 15, 16, 26, 34, 35]. Rôle : Créateur et Mainteneur Taille : 5 800 LOC Contribution : 95% http://www.moosetechnology.org/tools/edsm http://www.moosetechnology.org/tools/cycletable Moqam. Moqam (Moose Quality Assessment Model) est l implémentation d un modèle de qualité basé sur le modèle FCM (Facteurs - Critères - Métriques) dans l environnement de réingénierie open-source Moose. Ce modèle de qualité est un projet open-source réunissant des entreprises (PSA Peugeot-Citroen, AirFrance, Qualixo) et des universitaires (LIASD Université Paris 8, RMod INRIA Lille Nord Europe). Il a été sélectionné par le pôle de compétitivité System@tic Paris- Region. Je suis impliqué dans le transfert et le développement d un modèle de qualité, travaillant sur le raffinement des métriques et des visualisations associées [2, 14]. Rôle : Créateur et Mainteneur Taille : 2 600 LOC Contribution : 40% Orion. Orion est un outil pour la réingénierie. Il permet de simuler les changements et de comparer leurs impacts au travers de différentes versions d un modèle. Il répond à différents besoins comme : la simulation interactive des changements, la réutilisation des outils intégrés dans Moose et la possibilité d avoir de multiples versions en mémoire. Spécifiquement, Orion implémente une infrastructure qui optimise l utilisation de la mémoire, adaptée aux modèles des gros logiciels. L infrastructure est une extension du méta-modèle FAMIX (inclus dans Moose), mais Orion n est pas limité aux outils d analyse de code-source, il peut être appliqué aux modèles en général. Je suis le principal mainteneur de cette application [3, 13]. Rôle : Créateur et Mainteneur Taille : 5 000 LOC Contribution : 90% http://www.moosetechnology.org/tools/orion 12
Autres développements logiciels Pharo. Je contribue régulièrement au développement et à la correction de bogues dans l environnement Pharo. L objectif de Pharo est de fournir un environnement propre, innovant, libre et open-source de l environnement Smalltalk. Mes résultats de recherche sont appliqués dans ce logiciel à l aide des développeurs principaux [22, 23, 24, 36]. http://www.pharo-project.org Ocean. C est une API réseau basée sur Pharo. Elle est orientée-objet et multi-plateforme. Notre objectif principal est de fournir une structure orienté-objet, une librairie portable basée sur un seul plugin de la machine virtuelle, et un moyen facile de changer de plugin tout en gardant la même interface. Cette API est développée en collaboration avec l UR Informatique Automatique de l École des Mines de Douai. http://www.squeaksource.com/ocean.html Recherche Pr. Xavier Blanc Professeur à l Université Bordeaux 1, LaBRI. xavier.blanc@labri.fr Dr. Stéphane Ducasse Directeur de recherche à l INRIA Lille - Nord Europe. stephane.ducasse@inria.fr Pr. Marianne Huchard Professeur à l Université Montpellier 2, LIRMM. huchard@lirmm.fr Pr. Oscar Nierstrasz Professeur à Universität Bern, SCG. oscar@iam.unibe.ch Enseignement Pr. Xavier Blanc Professeur à l Université Bordeaux 1. xavier.blanc@labri.fr Dr. Jean Carle Maître de conférences à l IUT A Lille 1. jean.carle@univ-lille1.fr Références Dr. Jean-Marie Place Maître de conférences à l IUT A Lille 1 (ancien directeur du département informatique). jean-marie.place@univ-lille1.fr 13