14 pages

CURRICULUM VITÆ

chiob

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

14 pages

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

A propos
Informations
Extrait

Description

redaction - matière potentielle : des sujets de td
redaction - matière potentielle : des sujets des ds

CURRICULUM VITÆ de Léon Lim Avril 2011

partition
gestion de contexte
gestion de groupe
gestion du groupe
gestion de groupes
environnements ubiquitaires
nœuds
activité d'enseignement
activités d'enseignement
activités hors enseignement
informatique
informatiques
système
systèmes
applications
application

Sujets

Financement

Informations

Publié par	chiob
Nombre de lectures	28

Extrait

CURRICULUM

noéL

lirvA

iLm

1102

ÆTIV

Tabledesmatières

1 informationspersonnelles

2 formation

3 activitésd’enseignement

4 activitéscomplémentairesliéesàl’enseignement

5 activitésderecherche 7 5.1Thèsededoctorat................................7 5.1.1Gestiondecontexterépartieenenvironnementubiquitaire.....7 5.1.2Problématiquedelagestiondegroupesdanslesréseauxpartitionables8 5.1.3Approche,contributionetrésultats..................9 5.2StagedeMaster2Recherche..........................10 5.3StagedeTravauxd’ÉtudesetdeRecherchedeMaster1...........11 5.4Conclusion....................................12

6 activitéscomplémentairesliéesàlarecherche

7 chargescollectives

8 listedespublications

niofmrtaoisnpreosnnleels

PrénometNom :Léon Lim Dateetlieudenaissance :01Juin1983àKompongSom-Cambodge Nationalité :Française Situationfamiliale :Célibataire

AdresseProfessionnelle TélécomSudParis 9,RueCharlesFourier 91011ÉvryCedex Tél:+33(0)160764707 E-mail:leon.lim@telecom-sudparis.eu

AdressePersonnelle

2,AlléeLuchinoVisconti 91080Courcouronnes Tél:+33(0)761180396

formation

2008–2011 DoctoratenInformatique (encours) Sujetdethèse :«Gestiondegroupespourlagestiondecontexteen environnementubiquitaire» Établissement :InstitutTélécom,TélécomSudParis Laboratoire :CNRSUMRSAMOVAR,équipeACMES Directiondethèse :GuyBernard,DenisConan Financement :allocationderechercheMESR

Moniteur—FormationsCIES deVersailles(encours) Établissement :Universitéd’Évry-Val-d’Essonne(UEVE)

2007–2008 Master2RechercheenInformatiquedespécialitéModéli- sation,Optimisation,ProgrammationetServices (MOPS) Établissement :Universitéd’Évry-Val-d’Essonne Mention :Assezbien

StagedeMaster2Recherche aulaboratoireSAMOVAR Sujetdestage :«Descriptiondepolitiquesdegestiondecontexte» Établissement :InstitutTélécom,TélécomSudParis Directiondestage :DenisConan

2006–2007 Master1Informatique&Système Établissement :Universitéd’Évry-Val-d’Essonne

StagedeTravauxd’ÉtudesetdeRecherche (TER)aulabora- toireIBISC Sujetdestage :«Implantationd’uncompilateurpourunesimple algèbredeprocessusavecmobilité» Directiondestage :HannaKlaudel,BachirDjafri,NassimaBenaissa

2005–2006 Licence3enInformatique Établissement :Universitéd’Évry-Val-d’Essonne

2003–2005 Diplômed’ÉtudesUniversitairesGénérales(DEUG) Établissement :Universitéd’Évry-Val-d’Essonne Mention :Bien

2003 BaccalauréatsérieScientiﬁquedespécialitéMathématiques Établissement :LycéeParcdesLoges,Évry

3 activitésd’enseignement

Durantmascolaritéàl’UEVE,j’aieul’occasiondem’initierauxactivitésd’enseigne- ment.PendantlapréparationdemonMaster1(2006–2007),jemesuisengagécontrac- tuellemententantquetuteurenInformatiquepourunepériodede2mois(dejanvier àfévrier2007),souslatutelledeM.DenisDupont.Ils’agissaitd’aiderlesétudiantsen Licencedansleurtravailpersonnelrelatifauxunitésd’enseignementInformatique.En abordantmonentréeenthèseen2008,étantpassionnéd’enseignementetayantobtenu unebourseMESR,jemesuisengagéentantquemoniteurduCIESdeVersaillespourune périodede3ans(de2008à2011),souslatutelledeM.FranckDelaplace.Lestableaux ci-dessousdressentlebilandemonactivitéd’enseignemententantquemoniteurCIES pourlesannées2008–2011.Pendantlemonitorat,j’aipumeconfronteràladiversitédes publics(droit,biologieetinformatique),auxdiﬀérentsniveaux(LicencesetMaster),mais égalementauxproblèmesliésàl’hétérogénéitédesgroupes,impliquantuninvestissement personnelproﬁtantauplusgrandnombre.Pourtouteslesmatières,j’aiencadréetguidé lesétudiantspourfairelesexerciceseneﬀectuantsystématiquementunbrefrappelde notionsessentiellesducours.J’aiconstatéquecelapermetderéduirel’écartentreceux quiavaientcomprisetlesautres.Lesgroupesétanthétérogènes,ilm’asemblénécessaire deprendreunpeuplusdetempspourexpliquerauxétudiantsn’ayantpasassimiléles notionsimportantesetpourmotiverceuxlesayantmieuxcomprispourfairedesexercices supplémentaires.Enplusdecestâchespédagogiques,jeparticipeégalementàlarédaction dessujetsdesDS(DevoirsSurveillés)etdesexamens,àlasurveillancedesexamens,ainsi qu’àlacorrectiondescopies.Parexemple,pourlamatière«Initiationàl’informatique» (aveclepublicL1Biologie,2008–2009),j’airéalisélessujetsdeTD,lesujetd’examen,et j’aicorrigélescopies.Demême,pourlamatière«ProjetsRéseauxNouvelleGénération» (aveclepublicMaster2Informatique,2009–2010),j’aiparticipéàlarédactiondessujets deTD,dusujetd’examen,etj’aicorrigélescopies. – 2010–2011 : PublicMatièreVolumehoraire L1InformatiqueProgrammationImpérative24hTD L1InformatiqueUnixetsystème(encours)19,5hTD L3InformatiqueCalculabilitéetcomplexité20hTD (encours) Total:63,5hTD

– 2009–2010 : PublicMatièreVolumehoraire L1InformatiqueProgrammationImpérative23hTD L3InformatiqueOutilsMathématiques21hTD pourl’informatique L3InformatiqueAlgorithmiquedesgraphes21hTD Master2InformatiqueProjetsRéseauxNouvelle ParcoursASRGénération9hTD Total:74hTD

– 2008–2009 :

PublicMatièreVolumehoraire L1InformatiqueMaple21,5hTD L1DroitBureautique18hTD L1BiologieInitiationàl’informatique21hTD Total:60,5hTD

4 activitéscomplémentairesliéesàl’enseignement

Parallèlementauxactivitésd’enseignementetderecherche,jesuisamenéàsuivredes formationsdispenséesparleCIESdeVersailles.Cesontdesformationspédagogiques eﬀectuéesdanslecadredelaformationàl’enseignementsupérieur.Àtraverslesstages CIES,j’aiorientémaformationversladimensionpsychologiquemaisaussipratiquede l’enseignementdanslebutd’améliorerlaqualitédel’enseignement.Lesstagesquej’ai eﬀectuéssontlessuivants: –«Évaluationdel’enseignement»(2demi-journées) –«Intégrationdeconnaissancesd’histoiredessciencesdansunenseignementde sciences»(4demi-journées) –«Communicationécrite:techniquesdebase»(6demi-journées) –«L’attentionetlaconscienceetsesapplications»(2demi-journées) –«Enseigneravecaisancegrâceauthéâtre»(6demi-journées) –«Développersonpersonnaged’enseignant»(encours)(4demi-journées) –«AnimerunTD»(encours)(2demi-journées)

5 activitésderecherche

Lesdomainesetlessujetsderecherchequej’aiabordéssontlessuivants: –thèsededoctorat:systèmeréparti,algorithmiquerépartie,MANET,toléranceaux fautes,simulation,gestiondegroupe,gestiondecontexte, –stagedeMaster2deRecherche:langagedédié,architecturelogicielle,composant logiciel,et –stagedeMaster1:réseauxdePetri,algèbredeprocessus,langageformel,compila- .ruet Lestroissectionssuivantesprésententmesactivitésderecherche.Lasection5.1se focalisesurmestravauxderecherchedethèsededoctorat.Ensuite,lasection5.2pré- sentemestravauxderecherchedanslecadredustagedeMaster2Recherche.Enﬁn,la section5.3décritmonstagedetravauxd’étudesetderecherchedeMaster1.

5.1Thèsededoctorat Montravaildethèses’inscritdansledomainedelarecherchethéoriqueenscience informatique.Jetravaillesurlesméthodologies,lesparadigmesetlesalgorithmestolé- rantauxfautesdanslessystèmesrépartistrèsdynamiquestelquedessystèmesconstruits au-dessusdesréseauxmobilesspontanés.Enparticulier,jetravaillesurleproblèmedela gestiondegroupepartitionabledanscessystèmesaﬁndepermettrelagestiondecontexte répartieﬁabletolérantlesévénementsimprévusdansdesenvironnementshautementdy- namiquesetubiquitaires. – Sujetdethèse :«Gestiondegroupespourlagestiondecontexteenenvironnement ubiquitaire» – Établissement :InstitutTélécom,TélécomSudParis – Laboratoire :SAMOVAR(«Servicesrépartis,Architectures,MOdélisation,Valida- tion,AdministrationdesRéseaux») – Directiondethèse :GuyBernard,DenisConan Laprésentationdesmestravauxdethèseestorganiséecommesuit.Lasection5.1.1 décritlecontexteetlesmotivationsdelagestiondegroupepartitionablepourlagestion decontexterépartieﬁable.Ensuite,lasection5.1.2illustrelaproblématiquedelagestion degroupepartitionableetsacomplexitéliéeenpartieàlamobilitédesnœuds.Enﬁn,la section5.1.3détaillenotreapprocheàbasedeconsensusabandonnableetprésentenos résultats.

5.1.1Gestiondecontexterépartieenenvironnementubiquitaire Letravaildemathèses’inscritdansledomainedelapost-intelligenceambiantedans lequellesutilisateursnomadesévoluentdansdesenvironnementsubiquitaires.Les envi- ronnementsubiquitaires secaractérisentparunegrandediversitédesterminauxmobiles, desréseauxetdesusages.Lesapplicationsrépartiesévoluantdanstelsenvironnements doiventcontinuellementgérerlecontextedanslequelelless’exécutentaﬁndedétecterles situationsd’adaptation.Detellesapplicationssontappeléesapplicationsubiquitairessen- siblesaucontexted’exécution.Le contexte estconstituédediﬀérentescatégoriesd’entités observables(participants,objetsparticipants,ressourceslogiciellestellesquelesressources systèmeetlespréférencesdesutilisateurs,etressourcesmatériellestellesquelescapteurs), desrôlesdesentitésdanslecontexteetdesrelationsentrecesentités.Aﬁndeconstruire

unevuecohérenteetcomplètedel’environnementd’exécution,lesinformationsquidé- criventlecontexted’exécutiondesapplicationsdoiventêtredistribuéesentrelespartici- pantsdel’applicationrépartie.Parconséquent,lagestiondecontextedoitêtrerépartie. Parailleurs,lagestionrépartiedecontextedoitêtreﬁableaﬁndeconstruiredesapplica- tionsﬁablestolérantlesévénementsimprévusdanslesenvironnementsubiquitaires.Les environnementsubiquitairessontconstituésderéseauxdynamiques,enparticulierderé- seauxspontanés(enanglais, MobileAdHocNetworks ouMANETs).UnMANETestun réseausansﬁlcomposéd’unediversitédenœudsmobiles.Àcausedesdéfaillances,des déconnexionsetdelamobilitédesnœuds,unMANETestconsidérécommeunréseautrès dynamique.Lesdéconnexionsetlamobilitépeuventmomentanémentisolerunnœudou ungroupedeterminauxdurestedesparticipants.Ainsi,unsystèmeréparticonçupour lesMANETspeutêtrepartitionné.Lerésultatdupartitionnementduréseauestunedé- gradationdeservice,maispasnécessairementuneindisponibilité.Pourcela,lesgroupes determinauxpartitionnésdoiventpouvoircontinuerdefonctionnercommedespartitions autonomesenoﬀrantautantdeservicesquepossible.Notrebutestdoncdeconcevoirun systèmedegestiondecontexterépartieﬃcacecapabledereprésenterdemanièrelaplus ﬁdèlepossiblelecontexted’exécution.Pourcela,lesystèmedoittolérerlesévénements imprévustelsquelesdéfaillancesetlesdéconnexions,etprendreencomptelamobilité desnœuds.

5.1.2Problématiquedelagestiondegroupesdanslesréseauxpartitionables Danslessystèmesrépartis,lessolutionsclassiquesdetoléranceauxfautessontsou- ventbaséessurunsystèmedecommunicationdegroupe(enanglais, GroupCommu- nicationSystem ouGCS).Lesystèmedecommunicationdegroupeestdiviséendeux sous-systèmes:i)lagestiondegroupeetii)ladiﬀusionﬁableàl’intérieurdugroupe.Dans cetravail,jemefocalisesurlapremièreproblématique,lagestiondegroupe.Le servicede gestiondegroupe estresponsabledelagestiondelaformationetdelamaintenancedela listedesnœdsprésentsetconnectésdansungroupe.Leproblèmedelagestiondegroupe estancien,maisesttoujoursaucœurdenombreuxtravauxthéoriquesetexpérimentaux. Unservicedegestiondegroupepeutêtreconçupourdessystèmesprimairesouparti- tionnables.Dansunsystèmedegroupeprimaire,seuleunepartitionprimaireexécuteles requêtesdesclients.Autrementdit,les vues (valeursretournéesparleservicedegestion degroupe)installéespartouslesnœudsparticipantssonttotalementordonnées.Cessys- tèmesneprennentpasencomptelepartitionnementduréseauetbloquentl’exécution detouslesnœudshorsdelapartitionprimaire.Dansunsystèmepartitionnable,ilpeut yavoirplusieurspartitionsetchaquepartitionestautonome:deuxpartitionspeuvent évoluerconcurremmentetindépendammentl’unedel’autre.Lesvuessontpartiellement ordonnées.Dansnotreétude,puisquenousconsidéronslesMANETs,nousnousfocalisons surlessystèmesdegestiondegroupepartitionnables.Ilexistedanslalittératuredeux spéciﬁcationsderéférence 1 ; 2 pourlesservicesdegestiondegroupepartitionnablesqui sediﬀérencientparlapropriétédevivacitédusystème.Lapremièreassurelavivacitédu systèmeseulementdanslespartitionsultimementcomplètementstables.Unepartition estdite complètementstable sitouslesnœudsdanslapartitionconstituentunecompo- santefortementconnexeetiln’existeaucuncheminentreunnœuddanslecomposant 1.Chockler,G.,Keidar,I.,andVitenberg,R.(2001). GroupCommunicationSpeciﬁcations:ACom- prehensiveStudy .ACMComputingSurveys,33(4):427–469. 2.Babaogˇlu,O.,Davoli,R.,andMontresor,A.(2001). GroupCommunicationinPartitionableSys- tems:SpeciﬁcationandAlgorithms. IEEETransactionsonSoftwareEngineering,27(4):308–336.

etunautrenœudquiestàl’extérieurducomposant.Ladeuxièmeassurelavivacitédu systèmepourtouteslespartitions(pasuniquementcellesquisontcomplètementstables) enconsidérantl’existencedeliens équitables (enanglais, fair ).Laconditiondestabilité d’unepartitionreposealorssurl’existencedelienséquitablesentretouslesnœudsde cettepartition.Ainsi,iln’yaplusdedistinctionentrelesliensultimementstableset lesliensstablesparintermittence;cesdeuxtypesdelienssontcapturésdansdesliens équitables.Néanmoins,cesdeuxspéciﬁcationsnesontpassatisfaisantes.Laspéciﬁcation deChockler etal. peutêtresatisfaiteparuneimplémentationtrivialeetlaspéciﬁcation deBabaogˇlu etal. nepeutpasêtreimplémentéesansconsidérerunehypothèsefortesur lasynchroniedusystème. Enconséquence,leproblèmededéﬁnirunservicedegestiondegroupepartitionable estdiﬃcilesinousdevonssatisfairelavivacitépourtouteslespartitionsetpasseulement pourlespartitionscomplètementstables.Deplus,lamobilitédesnœudscomplexiﬁe leproblème.Notreobjectifprincipalestdeproposerunservicedegestiondegroupe partitionabledontlavivacitépeutêtregarantiepourtouteslespartitions.

5.1.3Approche,contributionetrésultats Dansunpremiertemps,nousavonsproposéunservicedegestiondegroupeparti- tionnablepourlesMANETsbasésurundétecteurdesparticipantsdepartition[2,5].Ce servicedegestiondegroupeassurelavivacitéd’unepartitionseulementsicettepartition estcomplètementstable.Ildétecteàtermetouslesparticipantsdespartitionsstables tellesquedéﬁniescommesuit:lesliensentrelesparticipantsd’unepartitionstablesont stables.Néanmoins,commenousavonsvuprécédemment,danslessystèmesdynamiques telsquelesMANETs,lesnœudspeuvententrerdansunepartitionoulaquitterdyna- miquement.Cessystèmespeuventsouﬀrirduproblèmed’agitation(enanglais, churn ). Danslepiredescas,cesévénementsimprévuspeuventaboutiraublocagedusystème puisqu’aucuneexécutionnécessitantunaccordentrelesparticipantsnepeutseterminer. Laquestionestdoncdesavoirdequellemanièrenouspouvonsrelâcherlaconditionde stabilitéultimedusystèmeaﬁndepermettrelaprogressionetlaterminaisondesexé- cutionsutiles(consensus,gestiondegroupe,etc.).Nousavonsétendunotremodèlede systèmedynamiqueetproposéunservicedegestiondegroupepartitionnablebasésurun protocoledeconsensusabandonnable[3]avecutilisationdecritèresdestabilité.Un cri- tèredestabilité estunparamètrepouvantêtreutilisépourdéterminerlesnœudslesplus ﬁablesaﬁndeformerungroupedenœudscapablesd’exécuterlesapplicationsensemble. Leservicedegestiondegroupepartitionnablepeutêtretransforméenuneséquencede consensusabandonnables 3 ; 4 .Chaqueconsensusabandonnableestexécutéparlesnœuds participantscourants(vuecourante)dusystème.Ladécisionretournéeparlesmembres participantsestunevaleurquicorrespondàunensembledenœuds,etcesnœudssont lesmembresdelavuesuivante.Leconsensusabandonnableestdiviséendeuxabstrac- tions: (1) unregistreultimeparpartition(enanglais, EventualRegisterPerPartition ou P et (2) unleaderultimeparpartition(enanglais, EventualLeaderPerPartition ou P ).Lerôlede PL}P estdedétecterlaconditiondestabilitéminimale.Leprotocole garantielavivacitéd’unepartitionquipossèdeaumoins processusstables.Parailleurs, plusieurscritèresdestabilitépeuventêtreutilisésaﬁndedétecterlesprocessusquisont 3.Guerraoui,R.andSchiper,A.(2001). TheGenericConsensusService .IEEETransactionson SoftwareEngineering,27(1):29–41. 4.Schiper,A.(2004). GroupCommunication:Wherearewetodayandfuturechallenges .InProc.4th IEEEInternationalSymposiumonNetworkComputingandApplications,Washington,DC,USA.

PL}PR}

potentiellementlesplusstables.Nousavonsspéciﬁélecritèredestabiliténombredebat- tementsdecœurparpériode.Plusvitelenombredebattementsdecœuraugmente,plus leprocessusestconsidérécommepotentiellementstable. PR}P fournitdessémantiques d’écritureuneseulefois(enanglais, write-once )pourleregistresparpartition.Unevaleur peutêtreécritedansunregistre,maisnepeutpasêtreeﬀacée.Unevaleuràécrireest d’abord«bloquée»etnepeutêtreécritequesouscertainesconditions. Enconclusion,nousproposonsunservicedegestiondegroupepartitionnablepour lesMANETsquiassurelapropriétédevivacitémêmesiunepartitionn’estpascom- plètementstable.Unconsensusabandonnableestunecombinaisond’abstractionsetest implantéenutilisantl’approchemodulaire.Ilestintéressantdemontrerquenotrespéci- ﬁcationdegroupepartitionableestnontrivialeetutile.Pourcela,nousdevonsmontrer quenotrespéciﬁcationsatisfaitlesdeuxspéciﬁcationsdegestiondegroupepartitionable deréférencedanslalittérature,etfournirdesscénariosd’applications.Ilestégalement intéressantd’étudierd’autrescritèresdestabilitéetlaconditiondestabilitéparsimula- tionavecdiﬀérentspatronsdemobilité.Enﬁn,l’étudedel’aspectsilencieux 5 àtermedes algorithmes PL}P et PR}P proposésestégalementenvisagée. Lespublicationsdanslecadredemestravauxdethèsesont[2],[3]et[5].

5.2StagedeMaster2Recherche – Sujetdestage :«Descriptiondepolitiquesdegestiondecontexte» – Établissement :InstitutTélécom,TélécomSudParis – Laboratoire :SAMOVAR – Directeuretencadrantdestage :DenisConan LetravailderecherchedumonstagedeMaster2Recherches’inscritdanslecadre del’intergicielCOSMOS 6 .L’originalitédeCOSMOSestl’expressiondelacomposition d’informationsdecontextedansunearchitecturelogicielleàl’aided’unlangagededéﬁ- nitiond’architecturelogicielle(enanglais, ArchitectureDescriptionLanguage ,ADL)et laprojectiondecettearchitecturesurungraphedecomposantslogiciels.Cetteapproche faciliteladéﬁnitionetlagestiondespolitiquesdegestiondecontexte.Une politique de gestiondecontexteestunepartiedelastructureoulastructured’ungraphedenœuds contextequiinclutlesnœudsdecontexte,lespropriétésdecesnœudsetlesrelationsentre cesnœuds;c’estdoncunmorceaud’architecturelogicielle.Lemodèledecomposantset l’ADLqu’utiliseCOSMOSsont Fractal 7 et Fractal ADL 8 .L’inconvénientdel’ap- procheinitialementutiliséeparCOSMOSestlacomplexitédel’écrituredelacomposition d’informationsdecontextedueàl’aspecttrèstechniqueetprolixede Fractal ADLet àlamultiplicitédesattributsdeconﬁguration.Avec Fractal ADL,lesutilisateursont accèsàdesmoyensdeprogrammationtrèsexpressifsmaispeusûrs,dufaitdelacom- plexitéetdelalibertéd’écriture.Donc,l’expressivitédumoyendeprogrammationdoit 5.Aguilera,M.,Chen,W.,andToueg,S.(2000). OnQuiescentReliableCommunication .SIAMJour- nalofComputing,29(6):2040–2073. 6.D.Conan,R.Rouvoy,L.Seinturier.COSMOS: compositiondenœudsdecontexte .Techniqueet ScienceInformatiques,volume27,numéro9-10,pages1189-1224,2008 7.É.Bruneton,T.Coupaye,M.Leclercq,V.Quéma,andJ.-B.Stefani. AnOpenComponentModeland itsSupportinJava .InProc.7thInternationalSymposiumonComponent-BasedSoftwareEngineering, pages7–22,May2004. 8.M.Leclercq,A.E.Özcan,V.Quéma,andJ.-B.Stefani. SupportingHeterogeneousArchitectureDes- criptionsinanExtensibleToolset .InProc.29thACMInternationalConferenceonSoftwareEngineering, (USA),May2007.

êtreamoindripouraméliorerlasûreté. Danscestage,nousproposonsuneapprochenouvellepermettantlacompositionaisée desinformationsdecontextegrâceàunnouveaulangagedédiéaudomainedelacompo- sitiond’informationsdecontexte,dunomCOSMOSDSL[4,6].Celangageapourbut d’oﬀrirunformalismeplusaccessiblepourlesutilisateursnonfamiliersàlasyntaxe Frac- tal ADL.Aveccelangagedédié,lesutilisateursdéclarentlacompositiond’informations decontexteenmanipulantlesconceptsdudomaineCOSMOS.Eneﬀet,COSMOSDSL permetlacompositiond’informationsdecontextepourCOSMOSetintègrelanotionde partagegrâceàsastructureetsesconstructionsdehautniveau.Nousavonsvalidél’ap- procheparDSLenproposantunegrammairespéciﬁantlapolitiquedegestiondecontexte, ainsiqu’enproposantunepremièreébauched’unanalyseursyntaxiqueducompilateur. Enﬁn,laconceptiondulangageestprécédéed’uneanalysedudomaineaveclaméthodo- logieFODA 9 (enanglais, FeatureOrientedDomaineAnalysis ).Cetteméthodologienous apermisd’identiﬁerlesprincipauxconceptsquideviennentdesidiomedudomainedela compositiond’informationsdecontexte.Grâceàcesidiomes,COSMOSDSLpeutêtre considérécommeunmodèletantauniveaudesconceptsqu’auniveaudelaprogramma- tion.Danscesens,COSMOSDSLestunméta-modèledudomaineCOSMOS.Deplus, pardéﬁnition,lesidiomesdeCOSMOSDSLdoiventpouvoirêtreréutilisés:réutilisation ducodesources’ilestimplantéentantquebibliothèque,réutilisationdeconceptsdu domaineetenﬁnréutilisationd’utilisationparextensionpourunautrelangagedédié.

5.3StagedeTravauxd’ÉtudesetdeRecherchedeMaster1 – Sujetdestage :«Implantationd’uncompilateurpourunesimplealgèbredepro- cessus» – Établissement :Universitéd’Évry-Val-d’Essonne – Laboratoire :IBISC(«Informatique,BiologieIntégrativeetSystèmesComplexes» – Directiondestage :HannaKLAUDEL,BachirDJAFRI,NassimaBENAISSA CestagedeTERcorrespondàunprojetderechercheincluantl’apprentissageetle travailderecherche,ainsiquelaréalisationd’unoutilautomatique(telqu’uncompilateur) quipermetd’obteniruneexpressionenKLAIMsousformed’unautomate(telqu’un réseaudePetri). Dansunsystèmerépartiditglobaltelqu’Internet,lesapplicationspeuventmigreret êtreexécutéessurdiﬀérentsnœuds.Detellesapplicationssontditesmobilesetpeuvent avoirbesoind’interactionscontinuellesouprendredesdécisionsenfonctiondesinfor- mationsdisponiblesdansl’environnement.Ilexistedanslalittératuredeslangagesde programmationetdesparadigmesquisupportentlamigrationdesapplicationsmobiles. KLAIM 10 (enanglais, KernelLanguageforAgentInteractionandMobility )estunlan- gageformelpourdécrirelesagentsmobilesetleursstratégiesd’interactionpréservant lasécuritéetl’intégritédesdonnées.Celangageinclutlesn-upletsdedonnéesetun ensembled’opérateurspermettantdedéﬁnirlesprocessus.Lesprocessus,commelesdon- nées,peuventsedéplacerd’unnœudversunautre.KLAIMsupportelaprogrammation avecdeslocalitésexplicitesetdesprimitivesdecoordinationpourlesprocessussituéssur lesdiﬀérentsnœudsduréseau. 9.M.Mernik,J.Heering,andA.M.Sloane.WhenandHowtoDevelopDomain-SpeciﬁcLanguages. ACMComputingSurvey,37(4):316–344,2005. 10.R.D.Nicola,G.FerrariandR.Pugliese,KLAIM: akernellanguageforagentsinteractionand mobility .IEEETransactionsonSoftwareEngineering.245(1998),pp.315–330.