Version PDF

 Infos Pratiques
Wiϐi
Le mot de passe change tous les jours
mardi 7 juin
liPolo2y
mercredi 8 juin
2ywimira
jeudi 9 juin
qOcykoja
vendredi 10 juin
tariz0hy
Le réseau est protégé par WPA-PSK ce qui assure la confidentialité des transmissions. Le mot de passe
est changé tous les jours. Les machines connectées sur PolytechGuests reçoivent leurs coordonnées IP
par l'intermédiaire de DHCP sans déclaration préalable. L'utilisation explicite d'un mandataire web n'est
pas indispensable (détection automatique ou utiliser proxy.polytech-lille.fr). Avant de pouvoir utiliser
Internet, il est impératif de se connecter à une page web quelconque (http://www.polytech-lille.fr par
exemple). Une page web s'affiche alors présentant la charte d'utilisation de ce réseau Wifi. Il faut
l'accepter pour pouvoir utiliser Internet par la suite.
Amphis
Il vous est demandé de ne pas manger ni boire dans les amphis. Merci.
Programme
Retrouvez le programme en détails : http://www.lifl.fr/idm-gpl/pier/programs
Repas de midi
Où : au RU Barrois.
C’est un self-service. Vous pouvez prendre 1 plat principal, 3 périphériques et une boisson.
N’oubliez pas votre ticket repas que vous devez remettre enfin de chaîne.
Y aller : suivre la ligne de métro en marchand en dessous jusqu'à voir le RU Barrois sur votre droite
(immédiatement après la station ‘Cité Scientifique’)
En revenir : suivre la ligne de métro dans l’autre sens jusqu'à voir Polytech sur votre droite.
Laisser son sac/portable : Les amphis seront fermés pendant les repas. Vous pouvez y laisser vos affaires,
mais soyez quand même prudent (Les organisateurs ne pourront pas être tenu pour responsable en cas de
problèmes).
Métro
Dernier métro peu après minuit !
Evénement social
Visite guidée de Lille mercredi 8 juin.
Départ : 18h30 devant l’office du tourisme de Lille, Palais Rihour.
Arrivée : Devant le couvent des Minimes pour le gala
Y aller : Métro Rihour (métro ligne 1, descendre station Rihour)
Mardi 7 juin
CAL
8h30
9h00
IDM
Accueil
Session composition
PRÉSIDENT : JULIEN DEANTONI, INRIA
Workshop RCS2
Aziza Sabri, Laila Kjiri VERS UNE APPROCHE À
BASE DE COMPOSANTS POUR LA CONCEPTION DES
SYSTÈMES D'INFORMATIONS DÉCISIONNELS:
EXISTANT ET PERSPECTIVES
9h00
10h30
IDM
Sonia Yassa, Hubert Kadima NÉGOCIATION
DYNAMIQUE DES SERVICES FONDÉE SUR LE SLA
DANS UN CLOUD
Peio Loubière, Florent Devin, Yannick Le Nir
EVOLUTION GÉNÉRIQUE D'UNE APPLICATION WEB
SPÉCIFIQUE
Christian Brel, Sebastien Mosser VERS UNE
APPROCHE FLOT DE DONNÉES POUR SUPPORTER
LA COMPOSITION D'INTERFACES HOMME MACHINE
Cauê Clasen, Frédéric Jouault, Jordi Cabot
VIRTUAL COMPOSITION OF EMF MODELS
Julien Bigot, Christian Pérez ON MODELDRIVEN ENGINEERING TO IMPLEMENT A
COMPONENT ASSEMBLY COMPILER FOR HIGH
PERFORMANCE COMPUTING
Démos d'outils 1
PRÉSIDENT : ANNE ETIEN, LIFL
Olivier Caron, Bernard Carre and Gilles
Vanwormhoudt BIBLIOTHÈQUE DE PATTERNS VIA
DES TEMPLATES DE MODÈLES. ATELIER UML
ÉTENDU SOUS ECLIPSE
Clément Quinton, Christophe Demarey, Nicolas
Dolet and Laurence Duchien APPLIDE :
MODÉLISATION ET GÉNÉRATION D'APPLICATIONS
POUR SMARTPHONES
Amphi Appert
Amphi Lebon
10h30
11h00
Pause
Workshop RCS2 - (Table Ronde)
EVOLUTION DU PRINCIPE DE RÉUTILISATION
ENTRE OBJET, COMPOSANT, SERVICES ET CLOUD
SERVICES
11h00
12h30
Amphi Migeon
Amphi Lebon
Applications
PRÉSIDENT : SÉBASTIEN GÉRARD, CEA
Carlos Gomez, Julien Deantoni and Frédéric
Mallet SEMANTIC MULTI-VIEW MODEL FOR
LOW-POWER
Mickael Kerboeuf, Alain Plantec and
Jean-Philippe Babau AN EXPERIMENT OF A
MDE APPROACH FOR THE DESIGN OF REUSABLE
DSL TOOLS
Marc Palyart HPCML - UN LANGAGE DÉDIÉ AU
CALCUL SCIENTIFIQUE
Démos d'outils 2
PRÉSIDENT : ANNE ETIEN, LIFL
Areski Flissi and Gilles Vanwormhoudt
CONCEPTION DE SERVICES TÉLÉCOMS : UNE
APPROCHE IDM À BASE D'ACTEURS, SESSIONS ET
RÔLES
Olivier Moïses LE PROJET WAZAABI: UN
INTERPRÉTEUR DE MODÈLES EMF D'UI ET UN
MOTEUR DE DATABIDING DÉCLARATIF
Amphi Appert
Amphi Migeon
CAL
IDM
IDM
CAL
IDM
Repas
12h30
14h00
RU Barrois
Ouverture et session 1 - Table ronde
Fadila Aoussat, Mourad Oussalah and
Mohamed Ahmed Nacer MÉTAMODÉLISATION
ARCHITECTURALE DE PROCÉDÉS LOGICIELS
14h00
15h30
IDM
Victor Noel and Jean-Paul Arcangeli
FRAMEWORKS, ARCHITECTURES ET COMPOSANTS
: REVISITER LE DÉVELOPPEMENT DE SYSTÈMES
MULTI-AGENTS
Mariam Lahami, Moez Krichen and Mohamed
Jmaiel A DISTRIBUTED TEST ARCHITECTURE FOR
ADAPTABLE AND DISTRIBUTED REAL-TIME
SYSTEMS
Models@Runtime
PRÉSIDENT : OLIVIER BARAIS, IRISA
Diana Moreno Garcia and Elmehdi Damou
MODEL-DRIVEN EXECUTION OF SERVICE-BASED
APPLICATIONS
Eric Cariou, Cyril Ballagny, Alexandre Feugas
and Franck Barbier UNE APPROCHE DE
VÉRIFICATION D'EXÉCUTION DE MODÈLES PAR
CONTRATS
Amphi Migeon
Transformations et Langages
PRÉSIDENT : XAVIER BLANC, LABRI
Bacha Firas, Kathia Oliveira and Mourad Abed
TRANSFORMATION DES MODÈLES DE BPMN VERS
UIML
Vanea Chiprianov, Yvon Kermarrec and
Siegfried Rouvrais PRACTICAL (META-)MODEL
EXTENSION FOR MODELING LANGUAGE PROFILES.
AN ENTERPRISE ARCHITECTURE MODELING
LANGUAGE EXTENSION FOR
TELECOMMUNICATIONS SERVICE CREATION
Clément Guy, Steven Derrien, Benoît
Combemale and Jean-Marc Jezequel VERS UN
RAPPROCHEMENT DE L'IDM ET DE LA
Amphi Lebon
COMPILATION
Amphi Appert
15h30
16h00
Pause
Models@Runtime
Session 2
16h00
17h00
Processus
PRÉSIDENT : JEAN-MICHEL BRUEL, IRIT
Meriem Benhaddi, Karim Baïna and El Hassan
Abdelwahed ALIGNEMENT DU MASHUPING ET
DES TECHNIQUES D'ORCHESTRATION DES
Faiez Zalila, Xavier Crégut and Marc Pantel
APPROCHE TRANSPARENTE POUR LA
SERVICES
Emna Fki, Chantal Soulé Dupuy, Said Tazi and
Mohamed Jmaiel VERS UNE COMPOSITION DE
Alexandre Feugas, Sébastien Mosser,
Anne-Françoise Le Meur and Laurence
Duchien DÉTERMINER L'IMPACT D'UNE
SERVICES BASÉE SUR LES PATRONS DE SERVICES
ÉVOLUTION DANS LES PROCESSUS MÉTIERS
CAL
VÉRIFICATION DES MODÈLES MÉTIERS
IDM
Bernard Coulette, Eric Kedji, Mahmoud Nassar
and Redouane Lbath VERS UN MÉTA-MODÈLE
POUR LA DESCRIPTION DES PROCESSUS IDM
COLLABORATIFS
Emmanuelle Rouillé, Benoît Combemale,
Olivier Barais, David Touzet and Jean-Marc
IDM
CAL
ET DIRIGÉE PAR LES INTENTIONS
17h00
17h30
IDM
IDM
Jézéquel BRIDGING THE GAP BETWEEN
SOFTWARE PROCESS AND SOFTWARE
DEVELOPMENT
Amphi Migeon
Anne-Lise Courbis, Thomas Lambolais,
Hong-Viet Luong and Than-Liem Phan
ANALYSE DE L'INTEROPÉRABILITÉ ET DE LA
CONFORMITÉ D'ARCHITECTURES LOGICIELLES
Nour Aboud, Eric Cariou and Eric Gouarderes
TOWARDS A COMPONENT AGENT SERVICE
ORIENTED MODEL
Amphi Appert
Assemblée Générale de l'Action IDM
Amphi Lebon
Amphi Migeon
17h30
18h30
18h30
20h45
Cocktail Dinatoire - Hall de Polytech
CAL
Revenir en haut de la page
IDM
IDM
Mercredi 8 juin
CAL
IDM
IDM
8h00
8h30
GDR GPL
GDR GPL
Accueil
Ouverture des Journées
Jean-Christophe Camart, Directeur de Polytech' Lille
Isam Sharour, Vice-président recherche de Lille 1
David Simplot-Ryl, Directeur du centre de recherche INRIA-Lille Nord Europe
Sophie Tison, directrice du LIFL
Laurence Duchien (LIFL, Université Lille 1, INRIA Nord-Europe)
Yves Ledru, directeur du GDR GPL
Accueil
8h30
9h00
Amphi Migeon
Session 3
Nadira Benlahrache, Faiza
Belala and Kamel
Barkaoui DESCRIPTION
FORMELLE DU
9h00
10h30
DÉPLOIEMENT
D'ARCHITECTURES AADL
BASÉE SUR LES SYSTÈMES
RÉACTIFS BIGRAPHIQUES
Chouki Tibermacine and
Mohamed Lamine
Kerdoudi MIGRATION
D'APPLICATIONS À BASE DE
COMPOSANTS WEB EN
Conférence
Tom Mens Service de Génie Logiciel, Institut d'Informatique, Faculté des Sciences, Université de Mons, Belgique
Analyse de l'évolution des aspects sociaux dans les projets logiciels
Amphi Migeon
SERVICES ET
ORCHESTRATION DE
SERVICES WEB
Mohamed Tahar Bhiri,
Mourad Kmimech and
CAL
IDM
IDM
GDR GPL
GDR GPL
CAL
IDM
IDM
GDR GPL
GDR GPL
Mohamed Graiet DE
WRIGHT VERS ADA
Mustapha Hain, Abdelaziz
Marzak and Bernard
Coulette VERS UNE
DÉMARCHE POUR LE
DÉVELOPPEMENT DE PIM À
BASE DE COMPOSANTS
MULTIVUE
Amphi Lebon
10h30
11h00
Pause et Posters
Session GT RIMEL
Vérification et Validation 1
PRÉSIDENT : ROLAND GROZ, ENSIMAG
Conférence
11h00
12h30
Didier Donsez Polyetch
Grenoble - Université
Joseph Fourier Grenoble 1
Cyril Faucher, Samnang Chea, Frédéric Bertrand,
Jean-Yves Lafaye VALIDATION SÉMANTIQUE D'OBJETS A
L'AIDE D'UN MODÈLE DE RÉFÉRENCE ET DE CONTRAINTES
André, Gilles Ardourel, Mohamed Messabihi
VÉRIFICATION DE CONTRATS LOGICIELS À L'AIDE DE
TRANSFORMATIONS DE MODÈLES
Amphi Chappe
Vertus et vices de la
plateforme dynamique de
services OSGi
Amphi Migeon
Jannik Laval, Usman
Bhatti, Nicolas Anquetil,
and Stéphane Ducasse
SOFTWARE MAINTENANCE
ANALYSIS AND
UNDERSTANDING OF THE
SOFTWARE STRUCTURE
Simon Allier , Salah
Sadou, Houari A.
Sahraoui, Régis Fleurquin
D'UNE APPLICATION
ORIENTÉE OBJET VERS UNE
APPLICATION À BASE DE
COMPOSANTS VIA UNE
ARCHITECTURE À BASE DE
COMPOSANT
Session GT Compilation - (2
présentations)
PRÉSIDENT : LAURE
GONNORD
Fabien Coelho, François
Irigoin COMPILING FOR A
HETEROGENEOUS VECTOR
IMAGE PROCESSOR
Julien Henry ANALYSE
STATIQUE DE PROGRAMME
PAR INTERPRÉTATION
ABSTRAITE
Amphi Appert
Tom Mens, Benoît
Vanderose, Leandro
Doctors, and Flora
Kamseu ETUDES
CAL
IDM
IDM
GDR GPL
GDR GPL
CAL
IDM
IDM
GDR GPL
GDR GPL
EMPIRIQUES SUR LA
QUALITÉ D'UN LOGICIEL
LORS DE SON ÉVOLUTION ?
L'APPROCHE MOCQA
Amphi Lebon
Repas
12h30
14h00
RU Barrois
Session 4
Rabah Mokhtari, Allaoua
Chaoui and Mohamed
Redha Bahri
TRANSFORMATION DES
ARCHITECTURES
LOGICIELLES DYNAMIQUES
VERS DES DOCUMENTS
XML EN UTILISANT
14h00
15h30
Conférence
ATOM3
Ahmed Harbouche,
Abdellah Kouider el
Ouahed and Hamid
Azzoune DÉVELOPPEMENT
DE SYSTÈMES MULTI-
Roberto di Cosmo Laboratoire PPS, Université de Paris VII
Le défi des distributions de Logiciels Libres
Amphi Migeon
AGENTS PAR
TRANSFORMATION DE
MODÈLES
Suzy Temate, Alain
Tchana, Laurent Broto and
Daniel Hagimont UNE
APPROCHE DE HAUT
NIVEAU POUR GÉNÉRER DES
CAL
IDM
IDM
GDR GPL
GDR GPL
CAL
IDM
IDM
GDR GPL
GDR GPL
EDITEURS GRAPHIQUES DE
LANGAGE DÉDIÉS
Sébastien Limet, Sophie
Robert and Ahmed Turki
CONSTRUCTION
AUTOMATIQUE
D'APPLICATIONS DE
VISUALISATION
SCIENTIFIQUE
INTERACTIVES SOUS
CONTRAINTES DE
COHÉRENCES
Amphi Lebon
Session Posters/Démos et Pause café
15h30
16h00
Pause et Posters
Clôture de CAL Amphi Lebon
16h00
16h30
Vérification et Validation 2
PRÉSIDENT : THOMAS
LAMBOLAIS, ECOLE DE MINES
D'ALES
Valerio Cosentino,
Guillaume Doux, Patrick
Albert, Gabriel Barbier,
Jordi Cabot, Marcos
CAL
IDM
Movida
PRÉSIDENT : XAVIER LE
PALLEC, LIFL
Marie Gouyette, Olivier
Barais, Jérôme, Lenoir,
Cédric Brun, Marcos
Almeida Da Silva, Xavier
Blanc and Jean-Marc
IDM
Pascal André, Mohamed Messabihi and Gilles Ardourel
COSTO / KMELIA : A PLATFORM TO SPECIFY AND VERIFY
COMPONENT AND SERVICE SOFTWARE
Julien Cohen, Akram Ajouli and Rémi Douence PROGRAM
TRANSFORMATION BASED VIEWS FOR MODULAR
MAINTENANCE
Antoine Beugnard and Ali Hassan CLOUD COMPONENTS
FOR HIGHLY DISTRIBUTED ENVIRONMENTS
Diana Allam, Herve Grall and Jean-Claude Royer
TOWARDS A UNIFIED FORMAL MODEL FOR SERVICE
ORCHESTRATION AND CHOREOGRAPHY
Vanea Chiprianov, Yvon Kermarrec and Siegfried Rouvrais
CONSTRUCTION COLLABORATIVE DE SERVICES DE
TÉLÉCOMMUNICATIONS: UN PROCESSUS DIRIGÉ PAR LES
MODÈLES POUR LA GÉNÉRATION D'OUTILS
Hall Polytech
GDR GPL
GDR GPL
CAL
IDM
IDM
Didonet Del Fabro and
Scott Lee UNE APPROCHE
DE MDE POUR LA
RÉSOLUTION DE
PROBLÈMES DE
CONFIGURATION : UNE
APPLICATION À LA
PLATE-FORME ECLIPSE
Jezequel MOVIDA STUDIO:
A MODELING
ENVIRONMENT TO CREATE
VIEWPOINTS AND MANAGE
VARIABILITY IN VIEWS
Amphi Appert
Marie De Roquemaurel,
Jean-Paul Bodeveix and
Mamoun Filali-Amine
RÉÉCRITURE DE
CONTRAINTES OCL
Amine Raji and Philippe
Dhaussy MODÈLES
16h30
17h30
17h30
18h00
GDR GPL
GDR GPL
Table Ronde
Libre et open source, tendances, enjeux et impacts pour la
recherche et l'économie numérique
animateurs :
Franck Barbier
participants :
François Letellier Consultant indépendant - logiciel
open source et innovation ouverte
Roberto di Cosmo Laboratoire PPS, Université de Paris
VII
François Mérand Microsoft Alliance, National Practice
Leader at Sogeti
ORIENTÉS UTILISATEURS
POUR LA VÉRIFICATION
FORMELLE EN CONTEXTE
INDUSTRIEL
Amphi Migeon
Amphi Chappe
réunion LMO
18h00
18h30
Visite guidée de Lille
18h30
20h00
Départ : place Rihour, arrivée : Couvent des Minimes
20h00
23h59
Repas de Gala, Couvent des Minimes, Lille
CAL
Revenir en haut de la page
IDM
IDM
GDR GPL
GDR GPL
Jeudi 9 juin
GDR GPL
GDR GPL
8h30
9h00
Accueil
Conférence
Cédric Fournet Microsoft Research
9h00
10h30
Modèles et outils pour la vérification de programmes utilisant la cryptographie
Amphi Migeon
10h30
11h00
Pause et Posters
Session GT LTP
Session GT IDM
Thomas Jensen, Florent Kirchner, et David Pichardie SPÉCIFICATION ET
VALIDATION DES POLITIQUES DE COPIES D'OBJET
Paolo Herms, Claude Marché, and Benjamin Monate A CERTIFIED
WEAKEST PRECONDITION CALCULUS
Pierre Castéran, Vincent Filou, Allyx Fontaine PREUVES FORMELLES DE
Thierry Millan et Agusti Canals L'INGÉNIERIE DIRIGÉE PAR LES MODÈLES :
OÙ EN EST-ON ?
11h00
12h30
Ileana Ober, Sébastien Gérard MODELING WIZARDS: ÉCOLE D'AUTOMNE
DÉDIÉE À LA MODÉLISATION
Reda Bendraou, Marcos Aurélio Almeida da Silva, Xavier Blanc and
Marie-Pierre Gervais EARLY DEVIATION DETECTION IN MODELING
ACTIVITIES OF MDE P ROCESSES
SYSTÈMES DE CALCULS LOCAUX
Amphi Migeon
Amphi Appert
Repas
12h30
14h00
RU Barrois
Discussions
14h00
15h00
Discussion avec Jean-Pierre Cocquerez sur les évolutions et actions de l'INS2I.
Présentation par Yves Ledru des actions en cours dans le GDR GPL
GDR GPL
GDR GPL
GDR GPL
GDR GPL
Amphi Migeon
15h00
16h00
Pause, Posters et Démonstrations
Session GT COSMAL
Session GT AFSEC
16h00
17h30
Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet
DIVIDE AND RECYCLE: TYPES AND COMPILATION FOR A HYBRID
SYNCHRONOUS LANGUAGE
Sandie Balaguer, Thomas Chatain, Stefan Haar BUILDING TIGHT
OCCURRENCE NETS FROM REVEALS RELATIONS
Euriell Le Corronc, Bertrand Cottenceau et Laurent Hardouin FLOW
CONTROL WITH (MIN,+) ALGEBRA
Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall FAIRE LEVIER
SUR LES ARCHITECTURES LOGICIELLES POUR GUIDER ET VÉRIFIER LE
DÉVELOPPEMENT D'APPLICATIONS SCC
Gwenaël Delaval et Éric Rutten MODÈLES RÉACTIFS POUR LE CONTRÔLE DE
RECONFIGURATION DANS LE MODÈLE À COMPOSANTS FRACTAL
Sébastien Mosser, Gunter Mussbacher, Mireille Blay-Fornarino et Daniel
Amyot UNE APPROCHE ORIENTÉ ASPECT ALLANT DU MODÈLE D'EXIGENCES
AU MODÈLE DE CONCEPTION
Amphi Appert
Amphi Migeon
Réunion des comités
17h30
19h30
Amphi Migeon
GDR GPL
Revenir en haut de la page
GDR GPL
Vendredi 10 juin
GDR GPL
GDR GPL
8h00
8h30
Accueil
8h30
9h00
Session de présentations 1
PRÉSIDENT : CHOUKI TIBERMACINE
Accueil
Session GT Forwal
PRÉSIDENT : OLGA KOUCHNARENKO
9h00
10h30
Iovka Boneva, Anne-Cécile Caron, Benoît
Groz, Yves Roos, Slawek Staworko, Sophie
Tison VUES DE SÉCURITÉ POUR DOCUMENTS
XML
Y. Boichut, J.-M. Couvreur, D. Nguyen
SYSTÈMES DE RÉÉCRITURE FONCTIONNELS POUR
LE MODEL-CHECKING SYMBOLIQUE
Amphi Migeon
Session GT MTV2
Johan Oudinet(6), Alain Denise, Marie-Claude
Gaudel, Richard Lassaigne, and Sylvain
Peyronnet EXPLORATION UNIFORME DE
MODÈLES: APPLICATION AU MODEL-CHECKING DE
FORMULES LTL
Sébastien Bardin, Philippe Herrmann, and
Franck Védrine REFINEMENT-BASED CFG
RECONSTRUCTION FROM EXECUTABLES
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik
Kheddam GÉNÉRATION DE TESTS À PARTIR DE
MUTATIONS DE PROTOCOLES DE SÉCURITÉ EN
HLPSL
Amphi Appert
10h30
11h00
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi,
Philippe Dague TEST PASSIF DE LA CONFORMITÉ
DE CHORÉGRAPHIES WS-BPEL
Nabil Fakhfakh, Hervé Verjus et Frédéric
Pourraz AGRÉGATION D'ATTRIBUTS QUALITÉ
POUR LA SUPERVISION DES ORCHESTRATIONS DE
SERVICES
Zeina Azmeh, Fady Hamoui, Marianne
Huchard, Chouki Tibermacine, Maha Driss,
Naouel Moha CLASSIFICATION HIÉRARCHIQUE ET
SÉLECTION DE SERVICES WEB COMPOSABLE
Nicolas Petitprez, Romain Rouvoy et Laurence
Duchien MACCHIATO : VERS UN SYSTÈME DE
PANIER UNIQUE POUR LE E-COMMERCE
Amphi Lebon
Pause
Session GT LaMHa
Session GT MFDL
11h00
12h30
COSMAL
Marie de Roquemaurel, Thomas Polacsek,
Jean-Paul Bodeveix, Mamoun Filali
ASSISTANCE À LA CONCEPTION DE MODÈLES À
L'AIDE DE CONTRAINTES
Philippe Dhaussy, Fredéric Boniol, Pierre-Yves
Pillain, Yves Le Traon, Benoit Baudry
FORMALISATION DE CONTEXTES ET D'EXIGENCES
GDR GPL
Jean Fortin et Frédéric Gava BSP-WHY: AN
INTERMEDIATE LANGUAGE FOR DEDUCTIVE
VERIFICATION OF BSP PROGRAMS
Frédéric Peschanski PRINCIPES ET PRATIQUES
DE LA P ROGRAMMATION CONCURRENTE EN
PI-CALCUL
Chong Li, Gaëtan Hains SGL GDR GPL
Session de présentations 2
Dorel Lucanu, Vlad Rusu SUPPORT FOR
FORMAL VERIFICATION OF DOMAIN-SPECIFIC
MODELLING LANGUAGES
Diana Allam, Rémi Douence, Hervé Grall,
Jean-Claude Royer et Mario Sudholt THE
SYNTHESIS PROBLEM FOR TRUSTED
SERVICE-BASED COLLABORATIONS
COSMAL
GDR GPL
GDR GPL
POUR LA VALIDATION FORMELLE DE LOGICIELS
EMBARQUÉS
PROGRAMMATION PARALLÈLE HÉTÉROGÈNE ET
HIÉRARCHIQUE
Christophe Junke, CRITÈRES DE TESTS POUR LES
Amphi Appert
AUTOMATES DE MODES ET APPLICATION AU
LANGAGE SCADE 6
COSMAL
Elie Fares, Jean-Paul Bodeveix et Mamoun
Filali ENVIRONNEMENT DE TRANSFORMATION ET
DE VÉRIFICATION DE MODÈLES BPEL 2.0
TEMPORISÉS
Amphi Lebon
Amphi Migeon
Clôture
12h30
13h00
Proclamation du meilleur poster
Amphi Migeon
Repas
RU Barrois
Repas
13h00
14h00
RU Barrois
Tutoriel sur SCA et FraSCAti
14h00
16h00
Session pratique et démo d'outils
Orateur : Philippe Merle
16h00
16h30
Pause
Session de pratique sur FraSCAti - Dans le cadre
de la journée Services, une session de mise en
pratique interactive est prévue. Si vous souhaitez
effectuer sur votre propre ordinateur les
manipulations faites durant la session, vous
trouverez à l'adresse http://www.lifl.fr/idm-gpl
/pier/gdr/call les informations nécessaire à
l'installation de la plateforme FraSCAti ainsi que
les artefacts permettant de démarrer le TP.
16h30
18h00
GDR GPL
GDR GPL
COSMAL
GDR GPL
GDR GPL
COSMAL
PRÉSIDENT : PHILIPPE MERLE
Amphi Migeon
Session de démonstrations d'outils
Amphi Migeon
18h00
18h30
GDR GPL
Revenir en haut de la page
GDR GPL
COSMAL
Mercredi20h00CouventdesMinimesàLille.
Yaller:MétroRihour,puissuivreleplan
Adresse:17,QuaiduWault59000Lille,FranceTel:+33(0)320306262
Gala
Pla
an du cam
mpus