jcb
/
pagepro


			
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334
							<!-- -*- ispell-local-dictionary: "french"; coding: utf-8 -*- -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
  <title>Jean-Christophe Bach</title>
  <link rel="shortcut icon" href="images/glider.png"/>
  <link href="style.css" rel="stylesheet" type="text/css"/>
  <style type="text/css">
    #menu #research_menu {
      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
    }
  </style>
  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
  <meta name="description" content="Jean-Christophe Bach's homepage, Recherche"/>
  <meta name="keywords" content="jean-christophe, bach, homepage, TELECOM Bretagne, PASS, IRISA, Inria, RMoD, CRIStAL, university, université lille 1, IEEA, FIL, Pharo, transformations, AST, models, research, PhD subject, articles, publications, Loria, Pareo, Tom" />
  <meta name="author" content="jean-christophe bach" />
</head>

<body>
<table width="100%">
<tr>

  <td style="width:15%">
  </td>

  <td style="width:70%">

    <div id="header">
    <h1>Jean-Christophe Bach</h1>
      <h4>Maître de conférences / <a href="http://www.telecom-bretagne.eu">TELECOM Bretagne</a> - <a href="http://departements.telecom-bretagne.eu/info">Département Informatique</a> / Équipe <a href="http://recherche.telecom-bretagne.eu/pass/">PASS</a> (<a href="https://www.irisa.fr/en">IRISA</a>)</h4>
      <ul id="menu">
        <li><a id="home_menu" href="./index-fr.html">accueil</a></li>
        <li><a id="research_menu" href="./research-fr.html">recherche</a></li>
        <li><a id="teaching_menu" href="./teaching-fr.html">enseignement</a></li>
        <li><a id="misc_menu" href="./misc-fr.html">divers</a></li>
        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
      </ul>
    </div>

    <h3>Thèmes d'intérêt</h3>
    
    <p>
    <ul>
      <li>Ingénierie du logiciel</li>
      <li>Langages</li>
      <li>Transformations</li>
      <ul>
        <li>de langages</li>
        <li>qualifiables</li>
        <li>de modèles</li>
        <li>de programmes</li>
      </ul>
      <li>Évolution du logicielle</li>
      <li>Migration d'applications</li>
      <li>Aide à la vérification</li>
      <li>Traçabilité des transformations</li>
      <li>Méthodes formelles</li>
      <!--li></li-->
    </ul>
    </p>


    <h3>Thèse</h3>
    <p style="text-align:justify">

    <b>Soutenance le vendredi 12 septembre 2014 à 13h30, au Loria, salle C005 (salle du conseil)</b> ; ma thèse est accessible <a href="http://www.theses.fr/2014LORR0128">ici</a> ou <a href="https://tel.archives-ouvertes.fr/tel-01081055v1"><!--a href="./these.html"-->sur HAL</a>.<br/>
    Jury: <ul>
      <li>Rapporteurs :<ul>
        <li>Antoine Beugnard, Telecom Bretagne</li>
        <li>Laurence Duchien, Université de Lille 1, LIFL (présidente du jury)</li>
      </ul>
      </li>
      <li>Examinateurs :<ul>
        <li>Mark van den Brand, Eindhoven University of Technology</li>
        <li>Benoît Combemale, Université de Rennes 1, IRISA, Inria</li>
        <li>Marc Pantel, Université de Toulouse, INPT, IRIT</li>
      </ul></li>
      <li>Encadrant de thèse :<ul>
        <li>Pierre-Etienne Moreau, Université de Lorraine, École des Mines de Nancy, LORIA.</li>
      </ul></li>
      </ul>


    Mon sujet de thèse s'intitulait <b>« Un îlot formel pour les transformations
de modèles qualifiables »</b> et s'inscrivait dans dans le cadre du projet <a
href="http://quarteft.loria.fr">Quarteft</a>. Ce projet s'intéresse aux chaînes
de développement de systèmes critiques qui reposent sur des langages de
modélisation spécifiques au métier ciblé (<i><a
href="http://en.wikipedia.org/wiki/Domain-Specific_Modeling">Domain Specific
Modeling Language</a></i>) et sur des transformations qualifiées (assurance que
la transformation préserve lis propriétés d'intérêt) entre languages. Le projet
Quarteft vise à développer des technologies pour faciliter cette approche dans
le contexte des sytèmes embarqués temps-réel.  Le projet s'appuie d'une part
sur la définition de langages pivots dédiés (DSML) et sur l'exploitation de
techniques formelles pour spécifier et prouver la correction des
transformations. L'étude proposée s'appuie sur le langage <a
href="http://homepages.laas.fr/bernard/fiacre/">FIACRE</a>, un des langages
pivots pour la vérification formelle des aspects temps réel dans le projet <a
href="http://www.topcased.org">TOPCASED</a> ; il factorise et optimise la
chaîne de traduction entre les langages métier tels que <a
href="http://fr.wikipedia.org/wiki/Specification_and_Description_Language">SDL</a>,
<a href="http://fr.wikipedia.org/wiki/Aadl">AADL</a>, … et les outils de
vérifications de modèles tels que <a
href="http://homepages.laas.fr/bernard/tina/">TINA</a> et <a
href="http://www.inrialpes.fr/vasy/cadp/">CADP</a>. 

    <br/>
    <br/>

    Je me suis donc intéressé à développer des techniques de spécification et
    d'implantation des transformations dont les cas d'applications étaient des
    extensions de FIACRE (dont RT-FIACRE pour des constructions plus abstraites
    spécifiques au temps réel), en ayant pour objectif de proposer des méthodes
    permettant de valider et de vérifier formellement ces transformations.

    <br/>
    <br/>

    Pour implanter ces transformations, j'ai dans un premier temps proposé une
méthode de transformation par réécriture en utilisant le langage <a
href="http://tom.loria.fr">Tom</a> couplé à un langage hôte tel que Java, ainsi
qu'un framework de modélisation comme <a
href="http://www.eclipse.org/modeling/emf/">EMF</a>. J'ai ensuite étendu le
langage Tom pour exprimer facilement ces transformations. J'ai créé un îlot
formel dédié pour exprimer des transformations de modèles. J'ai aussi ajouté
d'autres îlots formels au sein de Tom pour pour exprimer la traçabilité et pour
résoudre le problème de l'ordre d'application des règles de réécriture.

    </p>
  

    <h3>Publications et exposés</h3>
    <p>
    Sur <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a> et <a href="http://hal.inria.fr/index.php?action_todo=search&amp;submit=1&amp;s_type=simple&amp;submit=1&amp;f[0]=@auteur&amp;v[0]=Jean-Christophe%20Bach&amp;search_without_file=YES&amp;orderby=DATEPROD&amp;ascdesc=DESC">HAL</a>.
    <br/>
    <br/>
    Liste des publications :</p>
  <table>

<tr valign="top">
<td align="right" class="bibtexnumber">
[9]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>.
Un îlot formel pour les transformations de modèles qualifiables
  <em>Université de Lorraine</em>, September 2014.
PhD Thesis in French.
[&nbsp;<a href="papers/bach-PhDThesis.bib">bib</a>&nbsp;| 
<a href="http://www.theses.fr/2014LORR0128">theses.fr</a>|
<a href="https://tel.archives-ouvertes.fr/tel-01081055">TEL</a>&nbsp;|
<a href="https://hal.inria.fr/tel-01081055">hal</a>&nbsp;|
&nbsp;<a href="papers/bach-PhDThesis.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[8]
</td>
<td class="bibtexitem">
Martin Quinson and <b>Jean-Christophe</b> <b>Bach</b>.
 L'informatique nomade, c'est la libert&eacute; !
 <em>Interstices</em>, February 2013.
 Popularization article in French.
[&nbsp;<a href="papers/bachInterstices2013a.bib">bib</a>&nbsp;| 
<a href="http://hal.inria.fr/hal-00794187">hal</a>&nbsp;|
<a href="http://interstices.info/jcms/int_69503/linformatique-nomade-cest-la-liberte">Interstices</a>]
<!--&nbsp;<a href="papers/bachTSI2014.pdf">Local copy</a>&nbsp;]-->
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[7]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>.
 Une approche hybride GPL-DSL pour transformer des mod&egrave;les.
 pages 175-201, 3/33 2014.
 Technique et Science Informatiques, TSI.
[&nbsp;<a href="papers/bachTSI2014.bib">bib</a>&nbsp;|
<!--DOI&nbsp;|-->
<a href="http://hal.inria.fr/hal-00786254">hal</a>&nbsp;|
&nbsp;<a href="papers/bachTSI2014.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[6]
</td>
<td class="bibtexitem">
Ali Afroozeh, <b>Jean-Christophe Bach</b>, Mark van&nbsp;den Brand, Adrian
  Johnstone, Maarten Manders, Pierre-Etienne Moreau, and Elizabeth Scott.
 Island Grammar-Based Parsing Using GLL and Tom.
 In Krzysztof Czarnecki and Görel Hedin, editors, <em>Software
  Language Engineering, 5th International Conference, SLE 2012</em>, volume 7745 of
  <em>Lecture Notes in Computer Science</em>, pages 224-243, Dresden, Germany,
  September 2012. Springer Berlin Heidelberg.
[&nbsp;<a href="papers/bachSLE2012.bib">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-36089-3_13">DOI</a>&nbsp;<!--|
<a href="http://hal.inria.fr/....">hal</a>&nbsp;| -->
&nbsp;<a href="papers/bachSLE2012.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[5]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
 Tom-Based Tools to Transform EMF Models in Avionics Context.
 In <em>ITSLE</em>, Dresden, Germany, September 2012.
 To appear.
[&nbsp;<a href="papers/bachITSLE2012.bib">bib</a>&nbsp;|
<a href="http://dx.doi.org/todo/">DOI</a>&nbsp;|
<!--DOI&nbsp;|>
<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
-->
&nbsp;<a href="papers/bachITSLE2012.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[4]
</td>
<td class="bibtexitem">
<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
 EMF Models Transformations with Tom.
 In <em>SLE</em>, Dresden, Germany, September 2012.
[&nbsp;<a href="papers/bach2012SLEb.bib">bib</a>&nbsp;|
<!--DOI&nbsp;|>
<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
-->
&nbsp;<a href="papers/bachSLE2012_poster.pdf">Local copy</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[3]
</td>
<td class="bibtexitem">
<b>Jean-Christophe Bach</b>, Xavier Crégut, Pierre-Etienne Moreau, and Marc
  Pantel.
 Model transformations with Tom.
 In <em>Proceedings of the 12th Workshop on Language Descriptions,
  Tools, and Applications</em>, LDTA '12, pages 4:1-4:9, Tallinn, Estonia, 2012.
  ACM.
[&nbsp;<a href="papers/bachLDTA2012.bib">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1145/2427048.2427052">DOI</a>&nbsp;|
<!--
<a href="http://doi.acm.org/10.1145/2427048.2427052">ACM</a>&nbsp;| 
<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
Local copy-->
&nbsp;<a href="papers/bachLDTA2012.pdf">Local copy</a>&nbsp;|
&nbsp;<a href="papers/bachLDTA2012_presentation.pdf">Slides</a>&nbsp;]
</td>
</tr>

<tr valign="top">
<td align="right" class="bibtexnumber">
[2]
</td>
<td class="bibtexitem">
Francisco Dur&aacute;n, Manuel Rold&aacute;n, <b>Jean-Christophe</b> <b>Bach</b>,
  Emilie Balland, Mark Van Den&nbsp;Brand, James&nbsp;R. Cordy, Steven Eker, Luc Engelen,
  Maartje De&nbsp;Jonge, Karl&nbsp;Trygve Kalleberg, Lennart C.&nbsp;L. Kats, Pierre-Etienne
  Moreau, and Eelco Visser.
 The third rewrite engines competition.
 In <em>Proceedings of the 8th international conference on Rewriting
  logic and its applications</em>, WRLA'10, pages 243-261, Paphos, Cyprus, 2010.
  Springer-Verlag.
[&nbsp;<a href="papers/bachWRLA2010.bib">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1007/978-3-642-16310-4_16">DOI</a>|
<!--<a href="http://hal.inria.fr/....">hal</a>&nbsp;|-->
<a href="http://dl.acm.org/citation.cfm?id=1927806.1927829">ACM</a>&nbsp;| 
<a href="http://www.springerlink.com/content/436358m836203763/">SpringerLink</a>&nbsp;| 
&nbsp;<a href="papers/bachWRLA2010.pdf">Local copy</a>&nbsp;]
</td>
</tr>


<tr valign="top">
<td align="right" class="bibtexnumber">
[1]
</td>
<td class="bibtexitem">
<b>Jean-Christophe Bach</b>, Emilie Balland, Paul Brauner, Radu Kopetz,
  Pierre-Etienne Moreau, and Antoine Reilles.
 Tom Manual.
 Rapport technique, PAREO - INRIA Lorraine - LORIA - INRIA - CNRS :
  UMR7503 - Universit&eacute; Henri Poincar&eacute; - Nancy I - Universit&eacute; Nancy
  II - Institut National Polytechnique de Lorraine, 2009.
[&nbsp;<a href="papers/bachTomManual2009.bib">bib</a>&nbsp;| 
<a href="http://hal.inria.fr/inria-00121885/en/">hal</a>&nbsp;| 
<a href="http://hal.inria.fr/inria-00121885/PDF/manual-2.7.pdf">.pdf</a>&nbsp;]
</td>
</tr>

  </table>

  <hr/>
  <table width="100%">
    <tr>
      <td style="width:35%" align="left">
	<a href="research.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a>
	<!--a href="research-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a-->
      </td>
      <!--td style="width:30%" align="center">
	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
      </td-->
      <td style="width:35%" align="right">
	<i>Dernière modification : 2015-09-03</i>
      </td>
    </tr>
  </table>
  </td>

  <td style="width:15%">
  </td>
</tr>
</table>
</body>
</html>