Projet ANR JCJC PERSO Pervasive Service Composition

Dimension: px
Commencer à balayer dès la page:

Download "Projet ANR JCJC PERSO Pervasive Service Composition"

Transcription

1 Projet ANR JCJC PERSO Pervasive Servie Composition Appel «Jeunes Cherheurs» Projet JC07_ Déision ANR-07-JCJC Pasal Poizat niversité d Evry Val d Essonne; LRI - CNRS et niversité Paris Sud Grand olloque STIC, Lyon, 6 janvier 2012

2 Contexte Internet & informatique diffuse aès aru aux données et aux moyens de alul ingénierie logiielle à base de servies évolution modules lasses servies enapsulation (données/aluls), faible ouplage logiiel pour (et par) l utilisateur final «end-user programming» néessité d automatisation et de transparene omposition automatique de servies réutilisation + réation de servies à valeur ajoutée adéquation aux besoins utilisateurs + transparene «software-as-a-servie» 01

3 peer models (interfae) orhestration model orhestration implementation servie models (interfae) servie implementations orhestration speifiation implement uses test orhestration implementations horeography speifiation ompose implement 3 hek realizability A1 generate peers A2 hek onformane B test 4 Proessus de développement 02 peer models (interfae) orhestration model orhestration implementation servie models (interfae) servie implementations orhestration speifiation implement uses test orhestration implementations horeography speifiation ompose implement 3 hek realizability A1 generate peers A2 hek onformane B test 4 «bottom-up» entralisé «top-down» distribué

4 Proessus de développement orhestration speifiation 1 ompose orhestration model A1 hek realizability horeography speifiation 3 test Adaptation servie models (interfae) 2 implement A2 generate peers B hek onformane 4 test servie implementations uses orhestration implementation Composition peer models (interfae) 3 implement? orhestration implementations Evaluation 3 grandes ativités : - adaptation - omposition - évaluation 02

5 ANR PERSO orhestration speifiation 1 ompose orhestration model A1 hek realizability horeography speifiation 3 test Adaptation servie models (interfae) 2 implement A2 generate peers B hek onformane 4 test servie implementations uses orhestration implementation Composition peer models (interfae) 3 implement? orhestration implementations Evaluation problématiques : - support de différents types d interfaes respet de ontraintes et satisfation de besoins omportementaux, non fontionnels et sémantiques - omposition adaptative (résolution des inompatibilités) - omposition distribuée 03

6 ANR PERSO orhestration speifiation 1 ompose orhestration model A1 hek realizability horeography speifiation 3 test Adaptation servie models (interfae) 2 implement A2 generate peers B hek onformane 4 test servie implementations uses orhestration implementation Composition peer models (interfae) 3 implement? orhestration implementations partiularités : - ombinaison MDE + méthodes formelles Evaluation génériité rigueur et outillage des solutions proposées - utilisation de tehniques «exotiques» en génie logiiel (optimisation ombinatoire et analyse de performane) 04

7 Adaptation

8 Problème fait : les omposants sont développés séparément limitation de la réutilisation par différents tiers onséquene : inompatibilités limitation de la omposition entre interfaes requises/fournies limitation de la réparation 06

9 Inompatibilités print imprimer /1-0 login ; request* ; logout (login ; request ; logout)* n-m res := query(x,y) id := q1(x); res := q2(id,y) ordre set(file); res := do(ation) set(ation); res := do(file) 07

10 Adaptation réation d adaptateurs non intrusif évolution dynamique paramétrage modèles + ode intergiiels adaptatifs données + buffering synthèse de ontrôleur approhes ad-ho non générales / manuelles [Shmidt and Reussner, 2002], [Benatallah et al, 2005], [Dumas et al, 2006] approhes restritives suppression d interations n-aires, pratiques (outils) [Inverardi and Tivoli, 2003] approhes génératives renommage, réordonnanement binaires, théoriques [Yellin and Strom, 1997], [Braiali et al, 2005], [Brogi et al, 2006] 08

11 Adaptation omportementale Adaptor [reordering] restritif + génératif n-aire gestion de propriétés appliation à WWF adaptation ontrat omponent interfaes (LTS) mismath detetion yes no No adaptor required Petri net enoding Petri net enoding [no reordering] ontrat enoding (PN) omponent enodings (PN) vetor produt Petri net fusion global enoding (PN) TINA (external) marking graph semantis raw adaptor model (LTS) path deadlok pruning pruned adaptor model (LTS) CADP (external) behavioural redution interfaes omportementales des servies (LTS) adaptor model (LTS) ontrat d adaptation (LTS étiqueté par veteurs) <si:[mi *]> ex: <s1:m,s2:*>, <s1:m1; s2:m2> étape générative : enodage réseaux de Petri + fusion des réseaux étape restritive : alul graphe des marquages + suppression hemins bloquants 09

12 emuseum 10

13 emuseum 10

14 Adaptation omportementale restritif + génératif n-aire gestion de propriétés appliation à WWF extension symbolique des interfaes (LTS STS) et des veteurs enodage impliite (réseau de STS) approhe à la volée (+ effiae) support diret des données vérifiation de systèmes adaptés appliation aux WS «de base» absene de bloage enodée en BES restrition ave Caesar.Solve extration de modèle (BPEL STS) implantation automatique (STS BPEL) extension sémantique des interfaes (LTS SIOLTS) alul de lients «parfaits» approhe distribuée totalement automatique (pas de ontrat) appliation aux WS sémantiques produit sémantique et projetion/pairs extension des lients parfaits par ajout de messages 11

15 Composition séletion - omposition - réparation

16 Séletion sur ritères non-fontionnels déouverte : base de la omposition - reherhe de tous les servies présentant une aratéristique fontionnelle souhaitée séletion : omplète la déouverte - hoix du(des) meilleur(s) servie - selon des ritères non-fontionnels ii, aspets transationnels et qualité de servie aspets transationnels mais non QoS [Zeng et al, 2005], [Jaeger et al, 2004], [Zhang et al, 2007] aspets QoS mais non transationnels [Bhiri et al, 2005], [Montagut et al, 2006], [Li et al, 2007] 13

17 servies apaité + propriété transationnelle [pa]r? + valeurs de QoS Séletion sur ritères non-fontionnels besoin workflow abstrait (apaités) + propriété transationnelle [a] + poids sur ritères de QoS instaniation du workflow - propriété transationnelle par agrégation struturelle de elles des sous-servies - max. de la satisfation utilisateur (loal puis global) par utilisation de tehniques d optimisation ombinatoire 14

18 servies apaité + propriété transationnelle [pa]r? tilisateur qos prie :: valeurs de QoS besoin Séletion sur ritères non-fontionnels workflow abstrait (apaités) WS 13 ) ar WS 31 ) r + propriété transationnelle [a] WS 21 4 ) r WS 41 ) p WS 32 ) ar WS 11 ) pr WS 33 ) pr WS 42 ) r WS 22 ) p + poids sur ritères WS 23 de ) QoS a WS 12 ) p WS 43 ) ar Préférenes transationnel :: atomique qos duration :: 0.2 instaniation du workflow Registre de WS - propriété transationnelle T1: WS 11 ) pr WS 12 ) p WS 13 ) ar T2: WS 21 ) r WS 22 ) p WS 23 ) a T3: WS 31 ) r WS 32 ) ar WS 33 ) pr T4: WS 41 ) p WS 42 3 ) r WS 43 ) ar par agrégation struturelle de elles des sous-servies - max. de la satisfation utilisateur (loal puis global) par utilisation de tehniques d optimisation ombinatoire 14 WF Phase de déouverte Moteur de séletion Phase de séletion SWC transationnel à exéuter

19 Composition aller au-delà de la résolution de bloages omposer automatiquement des servies à partir de besoins les deux ayant des onversations << servie >> pear_store order(...) anel(...) ship(...) bill(...) harge(...) gift(...) ak(...) << servie >> ebay order(...) ship(...) harge_(...) harge_pp(...) bill(...) finalize(...) << servie >> paypal login(...) logout(...) get_redit(...) ask_bill(...) I want to buy something I agree to give the produt and personal info Find me servie(s) so that I an all selet, purhase, ship,... I need a traking number 15

20 Composition aller au-delà de la résolution de bloages omposer automatiquement des servies à partir de besoins les deux ayant des onversations << servie >> pear_store order(...) anel(...) ship(...) bill(...) harge(...) gift(...) ak(...) inomp. horizontale << servie >> ebay order(...) ship(...) harge_(...) harge_pp(...) bill(...) finalize(...) << servie >> paypal login(...) logout(...) get_redit(...) ask_bill(...) I want to buy something I agree to give the produt and personal info Find me servie(s) so that I an all selet, purhase, ship,... I need a traking number 15

21 Composition aller au-delà de la résolution de bloages omposer automatiquement des servies à partir de besoins les deux ayant des onversations inomp. vertiale << servie >> pear_store order(...) anel(...) ship(...) bill(...) harge(...) gift(...) ak(...) inomp. horizontale << servie >> ebay order(...) ship(...) harge_(...) harge_pp(...) bill(...) finalize(...) << servie >> paypal login(...) logout(...) get_redit(...) ask_bill(...) workflow I want to buy de something apaités données d entrée I agree to give the produt and personal info opérations Find me servie(s) so that I an all selet, purhase, ship,... données de sortie I need a traking number 15

22 Composition aller au-delà de la résolution de bloages omposer automatiquement des servies à partir de besoins les deux ayant des onversations inomp. vertiale << servie >> pear_store order(...) anel(...) ship(...) bill(...) harge(...) gift(...) ak(...) inomp. horizontale << servie >> ebay order(...) ship(...) harge_(...) harge_pp(...) bill(...) finalize(...) << servie >> paypal login(...) logout(...) get_redit(...) ask_bill(...) nombreuses approhes [Maroni and Pistore, 2009] workflow I want to buy de something apaités données d entrée I agree to give the produt and personal info opérations Find me servie(s) so that I an all selet, purhase, ship,... onversations : servies et besoins + support données entrée/sortie + support apaités [Ben Mokhtar et al, 2007], [Bertoli et al, 2010] données de sortie I need a traking number inompatibilités partiellement supportées et hypothèse d intégration de servies simple [Ben Mokhtar et al, 2007] 15

23 Composition Pyompose typage sémantique des opérations (entrées/sorties/apaité) enodage en ations propositionnelles (graphe de planifiation) omposition requirement (apability WF) servie interfaes (operation WF) data semanti struture model extration model extration model extration planning problem omposition requirement model (apability WF) servie models (operation WF) data semanti struture model onstrution enoding enoding enoding graphplan (external) omposition requirement planning problem servie planning problems (operation WF) data semanti struture planning problem PDDLGraphPlan (external) planning graph (GP) Blakbox (external) extration planner interfae problem fusion plan global planning problem graph planning plan model enoding omposition model (operation WF) model implement. deployment omposition implementation (BPEL) - de l adaptation de données asting / omposition / déomposition - des onversations adaptation d une transformation workflow Petri net [Kiepuszewski, 2003] - des opérations apaité autorisée + entrées apaité faite + sorties 16

24 eshopping 17

25 semanti data desription eshopping shipping addr billing addr address CC holder user addr CC info user info user name CC number paypal pwd paypal info paypal login order amount PIM wallet amazon info amazon login produt prie pear produt info produt amazon pwd produt spes pear produt ephone epad 17

26 semanti data desription eshopping shipping addr billing addr address servie operations CC holder order amount produt prie produt spes user addr user info pear produt info order pear produt pear produt info, sid PS PS produt seletion CC info anel user name PIM wallet CC number sid PS paypal info amazon info paypal pwd ship shipping addr, sid PS SS shipping setup paypal login bill billing addr, sid PS BS billing setup harge CC info, sid PS $ payment amazon login gift wrapper giftode, sid PS $ payment akprodut sid PS amazon pwd traking number OF order finalization pear produt ephone epad 17

27 semanti data desription eshopping shipping addr billing addr address servie operations CC holder user addr order pear produt pear produt info, sid PS PS produt seletion CC info order amount pear_store user info user name pear produt CC number amazon info order PS produt prie ship SS BS bill harge $ produt spes ebay pear produt info anel anel PIM wallet sid PS paypal pwd ship shipping addr, sid PS SS shipping setup paypal info servie paypal onversations login bill billing addr, sid PS BS billing setup harge CC info, sid PS $ payment amazon login gift wrapper giftode, sid PS OF $ payment akprodut sid PS amazon pwd traking number OF order finalization gift_wrapper PS ephone epad SS $ BS OF order ship harge_ $ bill ak finalize paypal harge_pp login get_redit $ ask_bill BS logout logout 17

28 semanti data desription eshopping shipping addr billing addr address servie operations CC holder user addr order pear produt pear produt info, sid PS PS produt seletion CC info order amount pear_store user info user name pear produt CC number amazon info order PS produt prie ship SS BS bill harge $ produt spes ebay paypal pear produt info anel anel PIM wallet sid PS paypal pwd ship shipping addr, sid PS SS shipping setup paypal info servie paypal onversations login bill billing addr, sid PS BS billing setup harge CC info, sid PS $ payment amazon login gift wrapper giftode, sid PS OF $ payment akprodut sid PS amazon pwd traking number OF order finalization gift_wrapper PS ephone epad SS $ BS OF order login ship harge_ harge_pp get_redit $ ask_bill BS $ bill logout ak I want to buy something finalize I agree to give the produt and personal info BT FOR CC I need a traking number requirements produt_seletion shipping_setup billing_setup payment logout order_finalization 17

29 semanti data desription eshopping shipping addr order amount pear_store billing addr user addr user info address CC info user name pear produt CC holder CC number amazon info order PS produt prie ship SS BS bill harge $ produt spes ebay paypal pear produt info anel ast w2.order order pear produt pear produt info, sid PS PS produt seletion ast anel PIM wallet sid PS paypal pwd ship shipping addr, sid PS SS de de shipping setup paypal info paypal login bill billing servie addr, sid onversations PS payment w3.get_redit BS billing setup harge CC info, sid PS $ payment amazon login gift wrapper w2.finalize giftode, sid PS w3.logout OF w3.ask_bill w2.harge_pp $ payment akprodutorder_finalization sid PS amazon pwd traking number billing_setup OF order finalization gift_wrapper PS ephone epad SS $ BS OF order login ast de ship harge_ harge_pp get_redit $ ask_bill BS $ bill logout produt_seletion ak I want to buy something finalize I agree to give the produt and personal info BT FOR CC I need a traking number w3.login shipping_setup servie operations requirements produt_seletion shipping_setup billing_setup payment w2.ship logout order_finalization 17

30 semanti data desription eshopping shipping addr order amount pear_store billing addr address CC holder ast reeive(user,op,{epad,user_info}) addr CC info ; CC number [pear_produt := anel ast(epad)], sid PS paypal pwd info name [user_name := user_info.user_name; user_address := user_info.user_address; SS de de pim_wallet := user_info.pim_wallet] paypal info servie paypal onversations login payment BS amazon info order PS produt prie ship SS BS bill harge $ produt spes ebay paypal w2.order order pear produt pear produt info, sid PS PS produt seletion ship shipping addr, sid PS shipping setup bill billing addr, sid PS w3.get_redit billing setup PIM wallet harge CC info, sid PS $ payment gift wrapper w2.finalize giftode, sid PS w3.logout OF w3.ask_bill w2.harge_pp $ payment akprodutorder_finalization sid PS amazon pwd traking number billing_setup OF order finalization anel [{e_sessionid} := invoke(w2,order,{produt})], pear PS ephone epad SS $ BS OF order login ast de flow { } ; flow { ast I agree to give the produt and } ; personal info I want to buy BT FOR CC {p_sessionid} ship := invoke(w3,login,{paypal_login,paypal_pwd}) harge_ bill something finalize ; {paypal_trans_id} := invoke(w3,get_redit,{order_amount,p_sessionid}) harge_pp ; invoke(w2,harge_pp,{paypal_trans_id,e_sessionid}) ; I need a invoke(w3,ask_bill,{user_address,p_sessionid}) ; traking number {traking_num} get_redit $ := invoke(w2,finalize,{e_sessionid}) ask_bill BS logout ; logout produt_seletion w3.login shipping_setup servie operations produt_seletion shipping_setup billing_setup payment w2.ship [produt := ast(pear_produt)], amazon login [shipping_addr := ast(user_address)], ak pear [paypal_info produt := pim_wallet.paypal_info; amazon_info := PIM_wallet.amazon_info] info } ; gift_wrapper $ flow { requirements [paypal_login := paypal_info.paypal_login; paypal_pwd := paypal_info.paypal_pwd] {order_amount} := invoke(w2,ship,{shipping_addr,e_sessionid}) ; invoke(w3,logout,{p_sessionid}) ; reply(user,op,{traking_num}); order_finalization 17

31 Réparation les ompositions de servies sont soumises à un monde hangeant : - servies indisponibles (pannes, fautes, mobilité) - nouveaux servies (mobilité) - besoins de l utilisateur modifiés remplaement limité (1-1 uniquement), problème des nouveaux besoins re-omposition / adaptation potentiellement oûteux, perte de la solution initiale alternative : réparation? 18

32 Réparation a Z: pre={a}, effet - ={a}, a proposition a effet + ={b,d} ation : pre={a}, effet - ={a}, X invalid ation a Z b effet + ={b,} preondition Y: pre={b}, Z b Y d effet - ={}, effet + ={e} negative effet S: pre={,d}, positive effet d S X e effet - ={}, effet + ={e} baktrak to solution P 0 A 1 P 1 A 2 P 2 layers 19

33 Réparation a Z: pre={a}, effet - ={a}, a proposition a effet + ={b,d} solution: ation ; Y : pre={a}, effet - ={a}, X invalid ation a Z b effet + ={b,} preondition Y: pre={b}, Z b Y d effet - ={}, effet + ={e} negative effet S: pre={,d}, positive effet d S X e effet - ={}, effet + ={e} baktrak to solution P 0 A 1 P 1 A 2 P 2 layers 19

34 Réparation a Z: pre={a}, effet - ={a}, a proposition a effet + ={b,d} solution: ation ; Y a Z b : pre={a}, effet - ={a}, effet + ={b,} Y: pre={b}, X invalid ation et si est indisponible? autre solution: preondition Z; Y Z b Y d effet - ={}, effet + ={e} negative effet S: pre={,d}, positive effet d S X e effet - ={}, effet + ={e} baktrak to solution P 0 A 1 P 1 A 2 P 2 layers 19

35 Réparation a Z: pre={a}, effet - ={a}, a proposition a effet + ={b,d} solution: ation ; Y a Z b : pre={a}, effet - ={a}, effet + ={b,} Y: pre={b}, et si est indisponible? autre solution: X invalid ation preondition Z; Y Z b d Y S X d e effet - ={}, negative effet effet + et si Y est indisponible? ={e} plus de solution mais une partie S: pre={,d}, effet - ={}, effet + ={e} positive effet du graphe est toujours valide baktrak to solution P 0 A 1 P 1 A 2 P 2 layers 19

36 Réparation alul des pré-onditions insatisfaites (Broken Preonditions) insertion (heuristique) de nouveaux servies dans le graphe de planifiation - éventuel ajout de niveaux - éventuelle suppression de servies P m =P m out(a) P m-1 - BP m-1 P m - BP m P m-1 - BP m-1 P m - BP m A m A m+1 A m BP m A m+1 BP m-1 BP m if m<n else BP m D out BP m-1 A + BP' m BP m = (a) (b) added layers P m+1 =P m out(a) P m-1 - BP m-1 P m - BP m P m - BP m BP m-1 A m BP' m BP m = in(a)\(p m \BP m ) () A + BP m BP m+1 BP m+1 = A m+2 A m+2 =A m+1 20

37 Réparation alul des pré-onditions insatisfaites (Broken Preonditions) insertion (heuristique) 100 de nouveaux reomposition standard servies dans le graphe de planifiation 80 - éventuel ajout de niveaux - éventuelle suppression de 60 servies P m-1 - BP m-1 P m - BP m A m Time(ms) 40 A m+1 P m-1 - BP m-1 réparation P m =P m out(a) P m - BP m A m BP m A m+1 BP m-1 (a) BP m if m<n 20 else BP m D out BP m-1 A + (b) BP' m BP m = P m-1 - BP m-1 added P m+1 =P m out(a) 0 10 layers P m - BP P m m - BP %Removed m BP m-1 A m BP' m BP m = in(a)\(p m \BP m ) () A + BP m BP m+1 BP m+1 = A m+2 A m+2 =A m+1 20

38 Résultats tehniques d adaptation omportementale - semi-automatique (ontrats) - automatique et distribuée tehniques de omposition - séletion sur ritères non font. - omposition omportementale et adaptative - réparation automatique implémentation - transformations de modèle - langage d orhestration léger évaluation de performane prototypes publiations - 2 HdR - 1 hapitre de livre - 6 artiles de revues internat. IEEE Trans. Software Engineering (2), IEEE Trans. Servie Computing, Int. J. of Web Servie Researh, Int. J. of Web and Grid Servies, J. of Conur. and Comp.: Prat. and Exp artiles de onf. internat. dont ICSOC et ICWS («A») 21

39 ANR PERSO - appel JCJC Colloque STIC 2010 ANR PIMI - appel VERSO

Centrales Villageoises Photovoltaïques

Centrales Villageoises Photovoltaïques Centrales Villageoises Photovoltaïques Projet Centrales Villageoises Photovoltaïques Optimisation du raordement életrique et gestion du réseau sur le village de : - Les Haies Rédateur Nom Fontion Damien

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 Métiers du onseil en entreprise Questionnaire préalable d assurane Identiiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales

Plus en détail

4087 fr - 01. 2007 / a CHARGE ACTIVE. Banc d essais de machines tournantes Acquisition de données

4087 fr - 01. 2007 / a CHARGE ACTIVE. Banc d essais de machines tournantes Acquisition de données 4087 fr - 01. 2007 / a CHARGE ACTIVE Ban d essais de mahines tournantes Aquisition de données pour ban d'essais de mahines tournantes Rapproher l'enseignement tehnique des réalités industrielles a toujours

Plus en détail

Diagnostic Immobilier by Hiscox Questionnaire préalable d assurance

Diagnostic Immobilier by Hiscox Questionnaire préalable d assurance Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Identifiation du proposant Nom ou raison soiale Adresse Code postal Ville

Plus en détail

Bureau d études techniques by Hiscox Questionnaire préalable d assurance

Bureau d études techniques by Hiscox Questionnaire préalable d assurance Bureau d études tehniques by Hisox Questionnaire préalable d assurane Bureau d études tehniques by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété

Plus en détail

Tourisme Pro by Hiscox Questionnaire préalable d assurance

Tourisme Pro by Hiscox Questionnaire préalable d assurance Tourisme Pro by Hisox Questionnaire préalable d assurane Tourisme Pro by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN

Plus en détail

Production statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus

Production statistique: passage d une démarche axée sur les domaines à une démarche axée sur les processus Nations Unies Conseil éonomique et soial Distr. générale 31 mars 2015 Français Original: anglais ECE/CES/2015/26 Commission éonomique pour l Europe Conférene des statistiiens européens Soixante-troisième

Plus en détail

Les métiers en élevage porcin s inscrivent dans une dynamique régionale forte

Les métiers en élevage porcin s inscrivent dans une dynamique régionale forte n e r e l l i Trava n i r o p e élevag s r e i t é des m t e s é i r a v s t n a n n o i pass Les métiers en élevage porin s insrivent dans une dynamique régionale forte Ave plus d 1 million de pors produits

Plus en détail

Guide raccordement. Installation locale de l'imprimante (Windows) Qu'est-ce que l'impression locale?

Guide raccordement. Installation locale de l'imprimante (Windows) Qu'est-ce que l'impression locale? Guide raordement Page 1 sur 6 Guide raordement Installation loale de l'imprimante (Windows) Remarque : si le CD Logiiel et doumentation ne prend pas en harge le système d'exploitation, vous devez utiliser

Plus en détail

Projet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants.

Projet INF242. Stéphane Devismes & Benjamin Wack. Pour ce projet les étudiants doivent former des groupes de 3 ou 4 étudiants. Projet INF242 Stéphane Devismes & Benjamin Wak Pour e projet les étudiants doivent former des groupes de 3 ou 4 étudiants. 1 Planning Distribution du projet au premier ours. À la fin de la deuxième semaine

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 Portage Salarial pour les métiers du Conseil by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 RC Professionnelle by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales

Plus en détail

Personnel Pour chaque diagnostiqueur, veuillez fournir les informations suivantes : Date de la formation. Formation (durée)

Personnel Pour chaque diagnostiqueur, veuillez fournir les informations suivantes : Date de la formation. Formation (durée) 1 Diagnosti Immobilier by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Date de réation : Possédez-vous

Plus en détail

Tourisme Pro by Hiscox Questionnaire préalable d assurance

Tourisme Pro by Hiscox Questionnaire préalable d assurance Tourisme Pro by Hisox Questionnaire préalable d assurane Tourisme Pro by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN

Plus en détail

CONCEPTION PAR OBJET ET PROTOTYPAGE

CONCEPTION PAR OBJET ET PROTOTYPAGE ONEPTION PAR OBJET ET PROTOTYPAGE D APPLIATIONS REPARTIES - PARTIE I Fabrice KORDON 1 heure, sans document Nota Benne : Les quatre parties de l'examen sont indépendantes. Il sera tenu compte de la présentation

Plus en détail

Cofra. BeauDrain(-S) consolidation sous vide. Cofra. Building worldwide on our strength

Cofra. BeauDrain(-S) consolidation sous vide. Cofra. Building worldwide on our strength onsolidation sous vide (-S) C Building worldwide on our strength onsolidation sous vide La onsolidation de terrains sous vide a été introduite dès 1952 par W. Kjellman, l inventeur du drain vertial préfabriqué.

Plus en détail

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1 SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de

Plus en détail

Introduction Moteur de workflows Conclusions. École normale supérieure de Lyon. 11 mai 2006. Ordonnancement de workflows dans DIET

Introduction Moteur de workflows Conclusions. École normale supérieure de Lyon. 11 mai 2006. Ordonnancement de workflows dans DIET École normale supérieure de Lyon Groupe de travail GRAAL 11 mai 2006 Plan Introduction 1 Introduction Les Workflows Présentation de DIET Motivations et objectifs 2 3 Plan Introduction Les Workflows Présentation

Plus en détail

Exemples de solutions acoustiques

Exemples de solutions acoustiques Exemples de solutions aoustiques RÉGLEMENTATON ACOUSTQUE 2000 Janvier 2014 solement aux bruits aériens intérieurs et niveau de bruit de ho Traitement aoustique des parties ommunes Bruits d équipements

Plus en détail

La formation en informatique? Une question à géométrie variable!

La formation en informatique? Une question à géométrie variable! 1 La formation en informatique? Une question à géométrie variable! Fabienne Viallet*, Alain Piaser** * MCF Informatique DiDiST CREFI-T Didatique des Disiplines Sientifiques et Tehniques Centre de Reherhe

Plus en détail

Une méthodologie de conception des systèmes distribués basée sur UML

Une méthodologie de conception des systèmes distribués basée sur UML Une méthodologie de conception des systèmes distribués basée sur UML Nouvelles Technologies de la Répartition (NOTERE 2005) 1 er septembre 2005 Ludovic Apvrille Pierre de Saqui-Sannes Axelle Apvrille Page

Plus en détail

Chapitre VII Molécules conjuguées Méthode de Hückel

Chapitre VII Molécules conjuguées Méthode de Hückel 43 Chapitre VII Moléules onjuguées Méthode de Hükel. Liaisons, liaisons et onjugaison.. Liaisons et orbitales et ous avons défini au hapitre IV les liaisons omme résultant de la formation d une orbitale

Plus en détail

Ouverture de session Fermer la session

Ouverture de session Fermer la session Instructions ENGLISH Instructions FRANÇAIS This document is to help consumers in understanding basic functionality in their own language. Should you have any difficulty using any of the functions please

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 Servies à la personne by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales

Plus en détail

Plateforme Adore : Aspects & Distributed ORchEstrations

Plateforme Adore : Aspects & Distributed ORchEstrations Plateforme Adore : Aspects & Distributed ORchEstrations Mireille Blay Fornarino Cédric Joffroy Sébastien Mosser I3S Équipe Rainbow 2006/2007 EPU Polytech Nice Sophia Antipolis Projet de fin d Étude Ingénieur

Plus en détail

DIRTEL IP PHONE IP990

DIRTEL IP PHONE IP990 DIRTEL IP PHONE IP990 Manuel d administrateur Version 4.2d http://www.dirtel.net - bring the technology back to home! QUICK START POUR DIRTEL IP PHONE IP990 1. Appel avec le téléphone en mode PSTN, RTC(Appel

Plus en détail

Métiers de la sécurité Questionnaire préalable d assurance

Métiers de la sécurité Questionnaire préalable d assurance Métiers de la séurité Questionnaire préalable d assurane Métiers de la séurité Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN

Plus en détail

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités

Forme juridique Noms et adresses des filiales à assurer. Date de création ou début de l activité Description PRÉCISE de vos activités 1 Métiers de la séurité by Hisox Questionnaire préalable d assurane Identifiation du proposant Raison soiale Adresse de la soiété Site web Code APE Code SIREN Forme juridique Noms et adresses des filiales

Plus en détail

Revue des Sciences et de la Technologie - RST- Volume 5 N 1 / janvier 2014

Revue des Sciences et de la Technologie - RST- Volume 5 N 1 / janvier 2014 Revue des Sienes et de la Tehnologie - RST- Volume 5 N 1 / janvier 214 L impat d une Charge Fortement Capaitive Sur la Qualité du Filtrage d un FAP Contrôlé Par un Filtre Multi-Variable Hautement Séletif

Plus en détail

To know before to be connected... 2 FTP2SMS... 3 1.1 XML format to send... 3 1.2 File level 1 ( ftp2sms.mt)... 4 1.3 Ack response XML ( ftp2sms.

To know before to be connected... 2 FTP2SMS... 3 1.1 XML format to send... 3 1.2 File level 1 ( ftp2sms.mt)... 4 1.3 Ack response XML ( ftp2sms. FTP2SMS FTP2SMS Content To know before to be connected... 2 FTP2SMS... 3 1.1 XML format to send... 3 1.2 File level 1 ( ftp2sms.mt)... 4 1.3 Ack response XML ( ftp2sms.dc)... 5 1 TO KNOW BEFORE TO BE CONNECTED

Plus en détail

MACROS MINITAB POUR LE CALCUL DES COURBES D'EFFICACITÉ DES CARTES DE CONTRÔLE DE SHEWHART R. PALM * 1. Introduction

MACROS MINITAB POUR LE CALCUL DES COURBES D'EFFICACITÉ DES CARTES DE CONTRÔLE DE SHEWHART R. PALM * 1. Introduction Statistique Informatique Mathématique appliquées Novembre 3 MACROS MINITAB POUR LE CALCUL DES COURBES D'EFFICACITÉ DES CARTES DE CONTRÔLE DE SHEWHART R. PALM * 1. Introdution Les artes de ontrôle sont

Plus en détail

ETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION

ETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION - Février 2003 - ETUDE COMPARATIVE RELATIVE AU SERTISSAGE DES CANALISATIONS EN CUIVRE DANS LE SECTEUR DE LA RENOVATION Centre d Information du Cuivre 30, avenue Messine 75008 Paris HOLISUD Ingénierie 21,

Plus en détail

Questionnaire à destination des associations de LANNION

Questionnaire à destination des associations de LANNION Questionnaire à destination des assoiations de LANNION Ce questionnaire a pour objetif de mieux erner le profil atuel du monde assoiatif de LANNION. Il est rapide, faile à remplir.. et vos réponses nous

Plus en détail

École des Hautes Études Commerciales de Montréal Affiliée à l Université de Montréal

École des Hautes Études Commerciales de Montréal Affiliée à l Université de Montréal Éole des Hautes Études Commeriales de Montréal Affiliée à l Université de Montréal Un modèle d évaluation d options amériaines sur ontrats à terme énergétiques Sébastien Moniaud Mémoire présenté en vue

Plus en détail

Générateur de code de simulation à partir de l information de localisation du produit

Générateur de code de simulation à partir de l information de localisation du produit Générateur de code de simulation à partir de l information de localisation du produit Andrés VÉJAR Patrick CHARPENTIER prénom.nom@cran.uhp-nancy.fr Centre de Recherche en Automatique de Nancy (CRAN), CNRS

Plus en détail

PC industriels et disques associés

PC industriels et disques associés Technical Service Bulletin PRODUIT DATE CREATION DATE MODIFICATION FICHIER PC INDUSTRIEL 23/03/2010 201005 REV A PC industriels et disques associés English version follows. SF01 (du 4 au 8 janvier 2010)

Plus en détail

DOSSIER Mots clés : Accumulateurs, Batteries, tilisation des batteries industrielles électriques,

DOSSIER Mots clés : Accumulateurs, Batteries, tilisation des batteries industrielles électriques, DOSSIER Mots lés : Aumulateurs, Batteries, Réseaux botte tilisation des batteries industrielles életriques, éetr Energie dans les grands reseaux e#*ietriques L-de se de seours. Pression sur les prix, onentration

Plus en détail

Cours No 10 - Conclusion et perspectives

Cours No 10 - Conclusion et perspectives B. Amann - Cours No 10 - Conclusion et perspectives 1 Slide 1 Cours No 10 - Conclusion et perspectives Gestion de contenus Web La gestion de contenus Web est possible grâce à des technologies complémentaires

Plus en détail

Comment reconstituer un patrimoine forestier? Valeur d avenir : diagnostics et inventaires aux niveaux forêt et parcelle

Comment reconstituer un patrimoine forestier? Valeur d avenir : diagnostics et inventaires aux niveaux forêt et parcelle 326 Forêts et tempête Comment reonstituer un patrimoine forestier? Valeur d avenir : diagnostis et inventaires aux niveaux forêt et parelle par Mihel Vallane et Bernard Roman-Amat Offie National des Forêts

Plus en détail

Problématiques de recherche. Figure Research Agenda for service-oriented computing

Problématiques de recherche. Figure Research Agenda for service-oriented computing Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements

Plus en détail

Nouveautés CRM 2015 & Migration. By Tanguy Touzard MVP CRM

Nouveautés CRM 2015 & Migration. By Tanguy Touzard MVP CRM Nouveautés CRM 2015 & Migration By Tanguy Touzard MVP CRM Nouvelles fonctionnalités Sécurité Recherche Hiérarchies Champs calculés/agrégés Règles métier Processus métier Catalogue produit SLA Information

Plus en détail

Vérification Statique de Programmes Répartis

Vérification Statique de Programmes Répartis Vérification Statique de Programmes Répartis Fabien Dagnat Lundi 28 mai 2001 Contexte Typage des acteurs Modélisation par un calcul de processus (Cap) Systèmes de type pour Cap Problème : Cap centré sur

Plus en détail

Proposition de conditions quantitatives Normes provisoires 2.0 Septembre 2015

Proposition de conditions quantitatives Normes provisoires 2.0 Septembre 2015 Proposition de onditions quantitatives Normes provisoires 2.0 Septembre 2015 Sommaire Proposition de onditions quantitatives Normes provisoires 2.0... 1 Contexte... 2 Critères d éligibilité pour l épargne

Plus en détail

Smile Mobile Dashboard

Smile Mobile Dashboard Smile Mobile Dashboard 1. Magento Extension The iphone and Android applications require access to data from your Magento store. This data is provided through an extension, available on Magento Connect

Plus en détail

B.T.S. MAINTENANCE DES SYSTЀMES Systèmes de production

B.T.S. MAINTENANCE DES SYSTЀMES Systèmes de production Toutes les actions sont à réaliser obligatoirement B.T.S. MAINTENANCE DES SYSTЀMES Systèmes de production du candidat Etablissement de formation / Ville Académie Épreuve E5 : Activités de maintenance Sous-épreuve

Plus en détail

Problème 4 : étude de solutions tampon de ph

Problème 4 : étude de solutions tampon de ph ème OI Épreuve de séletion 5 PRÉ : étude de solutions tampon de ph I. Préparation. L aide éthanoï que est noté OH. À la température onsidérée, le pk du ouple OH/O est égal à,7. On prépare une solution

Plus en détail

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE PLAN Architecture GVA et NGVA SDF dans Architecture GVA

Plus en détail

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Christophe Dumez Laboratoire Systèmes et Transports (SeT) Université de Technologie

Plus en détail

3. Veuillez indiquer votre effectif total :

3. Veuillez indiquer votre effectif total : 1 Métiers du marketing et de la ommuniation Questionnaire préalable d assurane Préambule Le présent questionnaire préalable d assurane Marketing et Communiation a pour objet de réunir des informations

Plus en détail

Voici un des développements récents en matière d arnaque tordue : l usurpation de compte Ebay

Voici un des développements récents en matière d arnaque tordue : l usurpation de compte Ebay Voici un des développements récents en matière d arnaque tordue : l usurpation de compte Ebay Pour résumer voici le type de procédure que nos arnaqueurs utilisent pour pirater votre compte : 1 Vous recevez

Plus en détail

Adaptation Logicielle

Adaptation Logicielle Adaptation Logicielle Pascal Poizat Laboratoire Informatique, Biologie Intégrative et Systèmes Complexes IBISC FRE 2873 CNRS, Université d Évry, GENOPOLE collaboration avec C. Canal (Univ. Málaga) & G.

Plus en détail

Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)

Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être

Plus en détail

Équations différentielles et systèmes dynamiques. M. Jean-Christophe Yoccoz, membre de l'institut (Académie des Sciences), professeur

Équations différentielles et systèmes dynamiques. M. Jean-Christophe Yoccoz, membre de l'institut (Académie des Sciences), professeur Équations différentielles et systèmes dynamiques M. Jean-Christophe Yooz, membre de l'institut (Aadémie des Sienes), professeur La leçon inaugurale de la haire a eu lieu le 28 avril 1997. Le ours a ensuite

Plus en détail

Assoumta Djimrangaye Coordonnatrice de soutien au développement des affaires Business development support coordinator

Assoumta Djimrangaye Coordonnatrice de soutien au développement des affaires Business development support coordinator 2008-01-28 From: [] Sent: Monday, January 21, 2008 6:58 AM To: Web Administrator BCUC:EX Cc: 'Jean Paquin' Subject: RE: Request for Late Intervenorship - BCHydro Standing Offer C22-1 Dear Bonnie, Please

Plus en détail

NCCI : Calcul d'assemblages de pieds de poteaux encastrés

NCCI : Calcul d'assemblages de pieds de poteaux encastrés NCCI : Calul d'assemblages de pieds de poteaux enastrés Ce NCCI fournit les règles relatives au alul d'assemblages de pieds de poteaux enastrés. Ces règles se ontentent de ouvrir la oneption et le alul

Plus en détail

DOSSIER DE CANDIDATURE

DOSSIER DE CANDIDATURE www.suplog.fr Tél. 01 43 13 53 34 ontat@supdelog.fr DOSSIER DE CANDIDATURE ENSEIGNEMENT SUPÉRIEUR Collez votre photo NE PAS REMPLIR CE CADRE RÉSERVÉ AU SERVICE DES ADMISSIONS Date de réeption dossier :

Plus en détail

Langage de nouvelle génération pour la modélisation et la vérification formelle de systèmes parallèles asynchrones

Langage de nouvelle génération pour la modélisation et la vérification formelle de systèmes parallèles asynchrones Langage de nouvelle génération pour la modélisation et la vérification formelle de systèmes parallèles asynchrones Frédéric Lang LIG et Inria/CONVECS CADP (Construction and Analysis of Distributed Processes)

Plus en détail

Réduction et filtrage de suites de tests

Réduction et filtrage de suites de tests Réduction et filtrage de suites de tests Taha Triki Yves Ledru, Lydie Du Bousquet Plan Contexte Problématique Filtrage de tests basé sur le modèle Réduction de suites de tests en se basant sur les relations

Plus en détail

Journal de classe. Maternel & Primaire 2014-2015. Nom. Prénom

Journal de classe. Maternel & Primaire 2014-2015. Nom. Prénom Journal de lasse L E Q U O T I D I E N D E L E N S E I G N A N T Maternel & Primaire 2014-2015 Nom Prénom Un journal de lasse, pourquoi? Tout au long de sa vie, un individu est onfronté à des situations

Plus en détail

La volatilité accrue du prix de l électricité pour les ménages belges

La volatilité accrue du prix de l électricité pour les ménages belges La volatilité arue du prix de L'éLetriité pour Les ménages belges La volatilité arue du prix de l életriité pour les ménages belges Une analyse basée sur les aratéristiques spéifiques de la fixation des

Plus en détail

B CHIFFRES CLÉ S FONDATION INSA DE LYON

B CHIFFRES CLÉ S FONDATION INSA DE LYON F O N D AT I O N I N S A D E LY O N Près de 11 millions d euros levés en 4 ans auprès de 16 entreprises méènes et partenaires 5 Chaires réées pour une dotation globale de plus de 2 millions d euros une

Plus en détail

Guide raccordement. Systèmes d'exploitation pris en charge. Installation de l'imprimante à l'aide du CD Logiciel et documentation. Guide raccordement

Guide raccordement. Systèmes d'exploitation pris en charge. Installation de l'imprimante à l'aide du CD Logiciel et documentation. Guide raccordement Page 1 sur 6 Guie raorement Systèmes 'exploitation pris en harge Le CD Logiiel vous permet 'installer le logiiel 'imprimante sur les systèmes 'exploitation suivants : Winows 8.1 Winows Server 2012 R2 Winows

Plus en détail

JAVA ET JDBC : UNE MINI-INTRODUCTION MARCIN SKUBISZEWSKI

JAVA ET JDBC : UNE MINI-INTRODUCTION MARCIN SKUBISZEWSKI JAVA ET JDBC UNE MINI-INTRODUCTION MARCIN SKUBISZEWSKI Comment nous proédons skubi@skubinet http//wwwskubinet Etude de quelques points essentiels et diffiiles Etude d exemples de ode Manuels Tous les douments

Plus en détail

Accès au support technique produits et licences par le portail client MGL de M2Msoft.com. Version 2010. Manuel Utilisateur

Accès au support technique produits et licences par le portail client MGL de M2Msoft.com. Version 2010. Manuel Utilisateur Accès au support technique produits et licences par le portail client MGL de M2Msoft.com Version 2010 Manuel Utilisateur Access to M2Msoft customer support portal, mgl.m2msoft.com, 2010 release. User manual

Plus en détail

Institut de français langue étrangère 2016-2017 Demande d'admission

Institut de français langue étrangère 2016-2017 Demande d'admission Institut de français langue étrangère 2016-2017 Demande d'admission VEUILLEZ ECRIRE EN MAJUSCULES PLEASE PRINT OR TYPE Photo obligatoire I. Renseignements personnels sur l'étudiant Student biographical

Plus en détail

AVATAR. Un profil SysML temps réel outillé

AVATAR. Un profil SysML temps réel outillé AVATAR Un profil SysML temps réel outillé Ludovic Apvrille, Pierre de Saqui-Sannes ludovic.apvrille@telecom-paristech.fr pdss@isae.fr SysML France, 6 décembre 2010 Agenda De TURTLE à AVATAR Le langage

Plus en détail

Allocation des adresses multicast IPv6. Multicast IPv6 G6, 12/2003 1

Allocation des adresses multicast IPv6. Multicast IPv6 G6, 12/2003 1 Allocation des adresses multicast IPv6 Multicast IPv6 G6, 12/2003 1 Adressage multicast Format d une adresse de groupe multicast (RFC 2373) 8 bits 4 bits 4 bits 112 bits 1111 1111 flags scope group ID

Plus en détail

Chapitre 3 Les propriétés des ondes

Chapitre 3 Les propriétés des ondes ENIÈE IMPESSION LE 1 er août 2013 à 16:36 Chapitre 3 Les propriétés des ondes Table des matières 1 La diffration des ondes 2 2 Les interférenes 3 3 Effet oppler 4 PAUL MILAN 1 PHYSIQUE-CHIMIE. TEMINALE

Plus en détail

Equipe Technique Régionale des Formations d Entraîneurs

Equipe Technique Régionale des Formations d Entraîneurs Equipe Tehnique Régionale des Formations d Entraîneurs Ligue d Athlétisme des Pays de la Loire FORMATIONS DES ENTRAINEURS 2013 / 2014 Chers entraîneurs éduateurs, «Plus que le talent, est l envie qui ompte»

Plus en détail

B.T.S. MAINTENANCE DES SYSTЀMES Systèmes éoliens

B.T.S. MAINTENANCE DES SYSTЀMES Systèmes éoliens Systèmes éoliens du candidat Établissement de formation / Ville Académie Épreuve E5 : Activités de maintenance Sous-épreuve E51 : Maintenance corrective d un bien Durée : 6 heures Coefficient 2 E51c Support

Plus en détail

Guide de mise en service - THOMSON ST2030

Guide de mise en service - THOMSON ST2030 Keyyo Operation & Support www http://www.keyyo.fr/fr/support/expert.php version 1.0 Guide de mise en service - THOMSON ST2030 Préambule : Ce document a pour but de guider le partenaire dans la configuration

Plus en détail

Amélioration de liens entre acceptions par fonctions lexicales vectorielles symétriques

Amélioration de liens entre acceptions par fonctions lexicales vectorielles symétriques TALN 2003, Batz-sur-Mer, 11 14 juin 2003 Amélioration de liens entre aeptions par fontions lexiales vetorielles symétriques Didier Shwab, Mathieu Lafourade et Violaine Prine LIRMM Laboratoire d informatique,

Plus en détail

Sommaire. Couverture de zone de surveillance dans les réseaux de capteurs. De quoi parle-t-on ici (1/2)? Objectif. De quoi parle-t-on ici (2/2)?

Sommaire. Couverture de zone de surveillance dans les réseaux de capteurs. De quoi parle-t-on ici (1/2)? Objectif. De quoi parle-t-on ici (2/2)? ouverture de zone de surveillance dans les réseaux de capteurs Jean arle, Master Recherche Informatique Option Informatique Mobile 008-009 s Jean arle - Master Recherche Informatique 008-009 Objectif e

Plus en détail

SELECTIONNER ENTREPRISES

SELECTIONNER ENTREPRISES GUIDE POUR AGIR Comment SELECTIONNER les ENTREPRISES JE DÉMARCHE LES ENTREPRISES Ave le soutien du Fonds soial européen Pourquoi séletionner ertaines entreprises? Toutes les entreprises de votre seteur

Plus en détail

Réunion GDS 13 octobre 2006

Réunion GDS 13 octobre 2006 École normale supérieure de Lyon Réunion GDS 13 octobre 2006 Plan Introduction 1 Introduction 2 3 4 5 6 Les workflows Ensemble de tâches connectées La structure du workflow représente la relation temporelle

Plus en détail

ÉTAPE FRANCHISE EQUITABLE, C EST EXIGER DU FRANCHISEUR QU IL FOURNISSE DES INFORMATIONS COMPLETES ET LOYALES FE / 3

ÉTAPE FRANCHISE EQUITABLE, C EST EXIGER DU FRANCHISEUR QU IL FOURNISSE DES INFORMATIONS COMPLETES ET LOYALES FE / 3 ÉTAPE 1 FRANCHSE EQUTABLE, C EST EXGER DU FRANCHSEUR QU L FOURNSSE DES NFORMATONS COMPLETES ET LOYALES FE / 3 1 DENTTÉ COMPLÈTE DU FRANCHSEUR EXGER UNE PRÉSENTATON SNCÈRE ET COMPLÈTE DU FRANCHSEUR Vous

Plus en détail

Déploiement de SAS 9.1.3 Foundation

Déploiement de SAS 9.1.3 Foundation Déploiement de SAS 9.1.3 Foundation I. Installation de SAS sur des postes en local à partir de Cédéroms 3 II. Phase de préparation au déploiement : Création des images disque 6 a) Pour une installation

Plus en détail

Étape II. Compétences à développer de 8 à 12 ans. Grilles des compétences

Étape II. Compétences à développer de 8 à 12 ans. Grilles des compétences Grilles des ompétenes Compétenes à développer de 8 à ans COMPÉTENCES DE 8 À ANS Les ompétenes en «aratères droits» sont à ertifier. (symbole en fin de ligne) Les ompétenes en «aratères italiques» sont

Plus en détail

Modélisation et Diagnostic des Défauts dans les Machines à Aimants pour le Transport (MoDDMAT)

Modélisation et Diagnostic des Défauts dans les Machines à Aimants pour le Transport (MoDDMAT) PI-SEEDS 9 : 3/6/ odélistion et Dignosti des Défuts dns les hines à Aimnts pour le Trnsport (oddat) Adesslem Djerdir CF HDR Pln. Prolémtique des défuts dns les mhines életriques. Présenttion du projet

Plus en détail

Outils d Accès aux Données d un PLC Automate Web Access (AWA)

Outils d Accès aux Données d un PLC Automate Web Access (AWA) AB-Note- 2004-020(CO) 20/01/2004 Outils d Accès aux Données d un PLC Automate Web Access (AWA) Auteurs : Julien Palluel, Raymond Brun Keywords : Automate, Dialoge, SCHNEIDER, SIEMENS, PHP, Web, Modbus,

Plus en détail

Urbanisation des Systèmes d Information

Urbanisation des Systèmes d Information Urbanisation des Systèmes d Information Introduction à un cours en Master 1 et Master 2 Miage Urbanisation des Systèmes d'information Henry Boccon Gibod 1 Organisation du cours Le cours est structuré selon

Plus en détail

Guide pratique. L emploi des personnes handicapées

Guide pratique. L emploi des personnes handicapées Guide pratique L emploi des personnes handiapées Sommaire Guide pour les salariés p. 3 L'aès et le maintien dans l'emploi... 4 Les établissements et servies d aide par le travail (ÉSAT)... 10 Les entreprises

Plus en détail

Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée

Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée Colloque : Systèmes Complexes d Information et Gestion des Risques pour l Aide à la Décision Le pilotage des collaborations et l interopérabilité des systèmes d information Vers une démarche intégrée BELKADI

Plus en détail

Chapitre IV- Induction électromagnétique

Chapitre IV- Induction électromagnétique 37 Chapitre IV- Indution életromagnétique IV.- Les lois de l indution IV..- L approhe de Faraday Jusqu à maintenant, nous nous sommes intéressés essentiellement à la réation d un hamp magnétique à partir

Plus en détail

La dématérialisation de tous les échanges avec la trésorerie

La dématérialisation de tous les échanges avec la trésorerie La dématérialisation de tous les échanges avec la trésorerie Conférence du 18 février 2014 proposée dans le cadre de l UPEL 71 Julien Carnot, chef de projets Dématérialisation au GIP e-bourgogne Au programme

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

Plus en détail

SECURIT GSM Version 2

SECURIT GSM Version 2 EOLE informatique SECURIT GSM Version 2 Notice d installation & Guide utilisateur Eole informatique 42 rue Claude Decaen -75012 Paris Tél. 01.43.43.00.97 www.eole-informatique.com 15/03/2006 SOMMAIRE Notice

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

MTH 2301 Méthodes statistiques en ingénierie

MTH 2301 Méthodes statistiques en ingénierie Chapitre 7 - ests d hypothèses Lexique anglais - français Constats - terminologie - onepts de base tests ests onernant une moyenne - variane onnue - variane inonnue - ourbe aratéristique - n =? est de

Plus en détail

26th of March 2014, Paris

26th of March 2014, Paris P : 1 Continuité Numérique : un enjeu d efficacité pour l industrie supporté par les standards Standard STEP AP 242 ISO 10303 : modèles CAO 3D avec tolérancement gérés en configuration Résumé du white

Plus en détail

Plan du cours. Production de code, langages à héritage multiple Martin Odersky 4 de 19

Plan du cours. Production de code, langages à héritage multiple Martin Odersky 4 de 19 Plan du ours Prodution de ode, langages à héritage multiple Martin Odersky 23 janvier 2007 version 1.2 1 2 3 Prodution de ode, langages à héritage multiple Martin Odersky 1 de 19 Prodution de ode, langages

Plus en détail

Intégration continue. Gilles QUERRET Riverside Software

Intégration continue. Gilles QUERRET Riverside Software Intégration continue Gilles QUERRET Riverside Software Gilles Querret Dans le monde Progress / Java depuis une dizaine d années Riverside Software depuis 7 and Basé à Lyon, France Expertise technique et

Plus en détail

Module OMGL - ModDyn

Module OMGL - ModDyn Module OMGL - ModDyn Modélisation de la dynamique modèle ETAT-TRANSITION J. Christian Attiogbé Février 2009, maj avril 2012 J. Christian Attiogbé (Février 2009, maj avril 2012) Module OMGL - ModDyn 1 /

Plus en détail

Exemples de questions HERMES 5.1 Foundation

Exemples de questions HERMES 5.1 Foundation Exemples e questions HERMES 5.1 Fountion Tle es mtières 2 Introution 3 Exmen HERMES est un stnr ouvert e l ministrtion féérle suisse. L Conféértion suisse, représentée pr l unité e pilotge informtique

Plus en détail

Maîtrise de l eurocode 2

Maîtrise de l eurocode 2 Maîtrise de l euroode E U R O C O D E Guide d appliation Jean Roux Afin d harmoniser les règles de oneption des strutures en béton entre les états membres de l Union européenne, les règles de alul ont

Plus en détail

Les technologies de gestion de l identité

Les technologies de gestion de l identité Commission Identité Numérique Groupe de travail Gestion des identités Les technologies de gestion de l identité ATELIER 1 Paul TREVITHICK, CEO de Parity Responsable projet Higgins Président Fondation Infocard

Plus en détail

A software engineering workbench for modelling groupware activities

A software engineering workbench for modelling groupware activities TAsk MOdels and DIAgrams for User interface Design A software engineering workbench for modelling groupware activities Emmanuel ADAM, Christophe KOLSKI, René MANDIAU, Emmanuel VERGISON Thursday, June 26th

Plus en détail

Recherches dans les Newsgroups: simple, rapide et gratuit!. http://altbinz.bugboot.fr

Recherches dans les Newsgroups: simple, rapide et gratuit!. http://altbinz.bugboot.fr Bug&Boot sarl http://bugboot.fr/ tél : 01 34 08 09 52 Recherches dans les Newsgroups: simple, rapide et gratuit!. http://altbinz.bugboot.fr Téléchargement et Installation du logiciel ALT.BINZ Cliquez sur

Plus en détail

CRÉATEUR D ENTREPRISE

CRÉATEUR D ENTREPRISE GUIDE POUR AGIR Comment s imaginer CRÉATEUR D ENTREPRISE JE BÂTIS MON PROJET PROFESSIONNEL Ave le soutien du Fonds soial européen Créer une entreprise... pourquoi pas moi? Chaque année, plus de 270.000

Plus en détail