Programme général de Pau 2010 : CAL, IDM, LMO et GDR GPL

Détails des journées :

Versions imprimables du programme de la semaine :

Déroulement de la semaine

  Mardi Mercredi Jeudi Vendredi
  matin après-midi matin après-midi matin après-midi matin
CAL        
IDM       
LMO          
GDR GPL        

Les conférences CAL, LMO et IDM commenceront le mardi 9 Mars au matin et se termineront le mercredi 10 Mars. Les journées du GDR GPL commenceront le mercredi 10 Mars au matin et se termineront vendredi 12 Mars à midi. Le mercredi matin sera une session commune aux 4 événements.

Un cocktail CAL/IDM/LMO aura lieu mardi soir et le diner de gala des 4 événements se déroulera mercredi soir. Une visite du chateau de Pau est programmée Mercredi en fin de journée, avant le diner de gala.

Mardi 9 Mars

CAL IDM LMO
8h30
9h30
Accueil
9h30
11h00
Session 1 :
  • M. Derdour, P. Roose, M. Dalmau, G. Zine Nacira et A. Alti. Vers une architecture d'adaptation automatique des applications reparties basées composants
  • H. Zhang, C. Urtado et S. Vauttier. 3D-ADL : un ADL à trois dimensions pour gérer l'évolution des architectures à base de composants
  • I. Bouassida Rodriguez, C. Chassot et M. Jmaiel. Model-driven adaptation for context-aware architectures supporting group communication
Amphi A
Session « IDM et IHM »
  • S. Caffiau et P. Girard. Approche dirigée par les modèles pour une conception des modèles de tâches et de dialogue des applications interactives
  • G. Gauffre et E. Dubois. Diriger le développement des SI par paramétrisation de Transformations de Modèles
  • A. Kalawa et A. Occello. Evolution des modèles : application aux IHM
  • A. Blouin, G. Nain et O. Beaudoux. Malan et Malai pour la conception de SI : perspectives d'intégration dans Kermeta
  • O. Beaudoux, A. Blouin, M. Clavreul. Serveur d'IHM pour plate-forme IDM : architecture générique et implémentation
Amphi H
Conférence invité de Patrick Heymans :
Lignes de Produits Logiciels : Vers une Démocratisation des Méthodes Formelles

Amphi G
11h00
11h30
Pause
11h30
13h00
Session 2 :
  • N. Hoang, N. Belloir et X. Detant. Un modèle de composant pour la reconfiguration dynamique de réseaux de capteurs sans fil
  • A. Hock-koon et M. Oussalah. Vers une meilleure compréhension de la Composition de Services par Méta Modélisation d'un Service Composite
  • S. Chouali, S. Mouelhi et H. Mountassir. Assembly of components based on interface automata et UML component model
Amphi A
Session « IDM et IHM » (suite)
  • C. Faucher, F. Bertrand et J.-Y. Lafaye. Génération d'un métamodèle de composants graphiques à partir de la spécification d'une bibliothèque de composants Web
  • Y.R. Nehan, C. Souveyet et M. Kirsh Pinheiro. Architecture de système interactif adaptable basé sur les services intentionnels
  • J.-S. Sottet et E. Dubois. Rétro-ingénierie Dirigée par les Modèles pour les Systèmes Interactifs Mixtes
  • A. Garcia-Frey, G. Calvary et S. Dupuy-Chessa. Auto-explication des IHM par modèles
Amphi H
Session 1 :
  • Y. Lin, T. Libourel et I. Mougenot. Autour des chaînes de traitements dédiées aux applications environnementales
  • F. Hamoui, M. Huchard, C. Urtado et S. Vauttier. Un Système d'Agents à base de Composants pour les Environnements Domotiques
Amphi G
Repas de midi
CAL IDM LMO
14h30
16h00
Session 3 :
  • Exposé invité : Marcos Da Silveira. Challenges to define a national eHealth platform.
  • K. Fakhfakh, T. Chaari, S. Tazi, M. Jmaiel et I. Guidara. Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs
Amphi A
Session « SafeModel : IDM et combinaison de méthodes formelles »

Conférences invitées :
  • P. Farail. Fundamentals of model-based engineering for Airbus Avionics & Simulation Products (45 mn)
  • P. Dhaussy (ENSIETA). Réflexions pour la correction de modèles logiciels (45 mn)
Amphi H
Session 2 :
  • X. Dolques, L. Madiha Hakik, M. Huchard, C. Nebut et P. Reitz. Correction des défauts de généralisation dans les diagrammes de cas d'utilisation UML
  • O. Corby et C. Faron Zucker. La machine abstraite KGRAM et son langage GRAAL pour l'interrogation de graphes de connaissance
  • B. Fuchs, M. Huchard et A. Napoli. Une étude sur la mise en forme de patrons de conception pour les ontologies avec l'analyse formelle de concepts
Amphi G
16h00
16h30
Pause
16h30
18h00
Table ronde

Amphi A
Session « SafeModel : IDM et combinaison de méthodes formelles » (suite)

Présentation d'articles :
  • A. Raji et P. Dhaussy. Automatic Formal Model Derivation from Use Cases (15 mn)
  • X. Crégut, M. Pantel et C. Ciuraru. Spécification et vérification de patrons de propriétés pour des langages dédiés (15 mn)
  • B. Berthomieu, J.P. Bodeveix, S. Dal Zilio, M. Filali, M. Pantel et F. Vernadat. Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre (15 mn)
  • Vlad Rusu et Dorel Lucanu. Checking Semantical Consistency based on Observational Simulations (15 mn)
Table ronde et discussions (30 mn)

Amphi H
Table ronde

Amphi G
18h00
19h00
Assemblée générale de l'Action IDM

Amphi H
19h00 : cocktail dînatoire au RU La Vague

Revenir en haut de la page

Mercredi 10 Mars

CAL IDM LMO GDR GPL
8h00
9h00
Accueil
9h00
10h30
Conférence invité d'Ivica Crnkovic : A Classification Framework for Component Models

Président : Franck Barbier
Amphi A
10h30
11h00
Pause et posters du GDR GPL (salle 9)
11h00
12h30
Présentation de l'institut INS2I du CNRS par Florence Sèdes

Défis pour le Génie de la Programmation et du Logiciel (1èrepartie) :
  • N. Anquetil, S. Denier, S. Ducasse, J. Laval, D. Pollet, R. Ducournau, R. Giroudeau, M. Huchard, J.C. Konig et A.J. Seriai. Software (re)modularization: Fight against the structure erosion and migration preparation
  • G. Arévalo, Z. Azmeh, M. Huchard, C. Tibermacine, C. Urtado et S. Vauttier. Component and Service Farms
Présidents : Yves Ledru et Laurence Duchien
Amphi A
Repas de midi
CAL IDM GDR GPL GDR GPL
14h00
15h30
Session 4 :
  • M. Messabihi, P. Andre et C. Attiogbe. Preuve de cohérence de composants Kmelia à l'aide de la méthode B
  • M. Bernichi et F. Mourlin. Une approche hybride pour la spécification de système reconfigurable
  • M. Lamolle, J. Gomez et E. Exposito. MODA : une architecture multimédia dirigée ontologies pour des systèmes multimédia en réseau
Amphi A
Session « Modèles, Déploiement, Reconfiguration, Evolution et Adaptation Dynamiques »
  • M. Derdour, P. Roose et M. Dalmau. Meta-model for Multimedia Software Architectures
  • H. Verjus. Systèmes logiciels de fusion d'informations adaptatifs
  • M.T. Segarra. Model-Driven Engineering for Building Adaptive Distributed applications
  • J. Buisson. Reconfiguration structurelle vs basée état
Amphi H
Session du GT MTV2 :
  • J. Oudinet. Exploration aléatoire de modèles
  • A. Mammar, A. Cavalli, W. Jimenez, E. Montes de Oca, S. Ardi, D. Byers et N. Shahmehri. Modélisation et Détection Formelles de Vulnérabilités Logicielles par le Test Passif
  • O. Chebaro, N. Kosmatov, A. Giorgetti et J. Julliand. Combining Frama-C and PathCrawler for C Program Debugging
Président : Arnaud Gotlieb
Salle 25
Session du GT Transformations en commun avec les journées IDM : « Transformation et DSL » :
  • M. Pantel, N. Izerrouken, A. Champion, J.C. Dalbin et F. Pothon. A pragmatic structural approach for the specification and verification of model transformations
  • J. Delatour, M. Brun, G. Savaton, J. Ilias-Pillet et C. Lelionnais. Les plates-formes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?
Président : Pierre-Etienne Moreau
Salle 26
15h30
16h00
Pause et posters/démos du GDR GPL (salle 9)
16h00
17h30
Session 5 :
  • N. Benlahrache, F. Belala, C. Bouanaka et M. Benammar. Vers un Modèle de Déploiement à base de Bigraphes
  • X. Zhang, C.H. Lung et G. Franks. Towards Architecture-based Autonomic Software Performance Engineering
Amphi A
Session « Modèles, Déploiement, Reconfiguration, Evolution et Adaptation Dynamiques » (suite)

Table ronde et discussion générale

Amphi H
jusqu'à 16h30 : session posters/démos (salle 9)
Session du GT RIMEL :
  • A. Phung-Khac, J.M. Gilliot et M.T. Segarra. Une architecture de composants répartis adaptables
  • E. Cariou, N. Belloir, F. Barbier et N. Djemam. OCL contracts for the verification of model transformations
Salle 25
Session du GT MFDL :
  • T. Bochot, P. Virelizier, H. Waeselynck et V. Wiels. Application du Model Checking aux commandes de vol : l'expérience Airbus
  • A. Matoussi, F. Gervais et R. Laleau. Définition d'une sémantique Event-B pour les patrons de raffinement de buts KAOS
Présidente : Marie-Laure Potet
Salle 26
18h30 : visite du chateau Henri IV de Pau
20h00 : diner de Gala au Palais Beaumont

Revenir en haut de la page

Jeudi 11 Mars

GDR GPL GDR GPL
9h00
10h30
Conférence invité de Pierre-Etienne Moreau : Combiner Java et réécriture, c'est possible et utile

Amphi A
10h30
11h00
Pause et posters du GDR GPL (salle 9)
11h00
12h30
Session du GT COSMAL :
  • J. Laval, A. Bergel, S. Ducasse et R. Piers. Matrice de dépendances enrichie
  • F. Morandat, R. Ducournau et J. Privat. Évaluation de l'efficacité des implémentations de l'héritage multiple en typage statique
  • M. Messabihi, P. André et C. Attiogbé. Correction d'assemblages de composants impliquant des données et assertions
Président : Mourad Oussalah
Amphi A
Session du GT FORWAL :
  • A. Duret-Lutz, D. Poitrenaud et J.M. Couvreur. On-the-fly Emptiness Check of Transition-Based Streett Automata
  • A. Heußner, J. Leroux, A. Muscholl et G. Sutre. Reachability Analysis of Communicating Networks with Pushdowns
Amphi C
Repas de midi
GDR GPL GDR GPL
14h00
15h30
Session de l'Action IDM :
  • S. Sen, N. Moha, B. Baudry et J.M. Jézéquel. Meta-model Pruning
  • P.A. Muller, F. Fondement et B. Baudry. Modeling Modeling
  • J.P. Babau et S. Robert. Retours sur l'école de printemps Model-Driven Development for Distributed Realtime Embedded Systems
Présidente : Mireille Blay-Fornarino
Amphi A
Session du GT LAMHA :
  • M. Bourgoin, B. Canou, E. Chailloux, A. Jonquet et P. Wang. OC4MC: Objective Caml for Multicore Architectures
  • F. Gava et I. Garnier. New Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons
  • M. Al Hajj Hassan et M. Bamha. A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems
Amphi C
15h30
16h00
Pause et posters du GDR GPL (salle 9)
16h00
18h00
Présentations et table ronde sur les défis du Génie de la Programmation et du Logiciel (2ème partie), avec la participation de Bertrand Braunschweig de l'ANR :
  • M. Blay-Fornarino, P. Collet, B. Combemale, S. Dupuy-Chessa, A. Front, A. Grost, P. Lahire, X. Le Pallec, L. Ledrich, T. Nodenot, A.M. Pinna-Dery et S. Rusinek. End-User Modelling
  • C. Consel. Towards Disappearing Languages
  • J.M. Menaud, A. Lèbre, T. Ledoux, J. Noyé, P. Cointe, R. Douence et M. Südholt. Vers une réification de l'énergie dans le domaine du logiciel
Amphi A
18h00
19h00
Réunion des comités

Revenir en haut de la page

Vendredi 12 Mars

GDR GPL GDR GPL
9h00
10h30
Session du GT LTP :
  • B. Montagu et D. Rémy. Types Abstraits et Types Existentiels Ouverts
  • L. Mandel, F. Plateau et M. Pouzet. Lucy-n : une extension n-synchrone de Lustre
  • E. Contejean, P. Courtieu, J. Forest, A. Paskevich, O. Pons, X. Urbain. A3PAT, an Approach for Certified Automated Termination Proofs
Présidente : Catherine Dubois
Amphi A
Session de l'Action AFSEC :
  • M. Pouzet et P. Raymond. Modular Static Scheduling of Synchronous Data-flow Networks - An efficient symbolic representation
  • M. Boyer et D. Doose. Collaboration entre méthode d'ordonnancement et calcul réseau
  • J.-L. Scharbarg, J. Ermont, H. Bauer et C. Fraboul. Analyse des délais de bout en bout pire cas dans des réseaux avioniques
Présidente : Christel Seguin
Amphi C
10h30
11h00
Pause et posters du GDR GPL (salle 9)
11h00
12h30
Conférence invité de Gérard Berry : qualité du logiciel : certification vs. vérification

Amphi A
12h30 Cloture des journées du GDR GPL avec la proclamation du meilleur poster

Amphi A
Repas de midi

Revenir en haut de la page

Conférenciers invité

Patrick Heymans (mardi matin, LMO)

Patrick Heymans est professeur aux FUNDP de Namur, Belgique. Ses travaux de recherche s'articulent autour du génie logiciel : ingénierie des exigences, lignes de produits, sûreté de fonctionnement, ...

Résumé :

Lignes de Produits Logiciels : Vers une Démocratisation des Méthodes Formelles

Les lignes de produits logiciels offrent un paradigme pour minimiser les coûts de développement des logiciels qui se déclinent en de multiples variantes. Dépassant la simple idée de composants réutilisables, elles systématisent la réutilisation tout au long du cycle de vie, c'est-à-dire dans tous les artefacts -- exigences, architecture, jeux de test, documentation, etc. ainsi que dans le processus de développement lui-même.

En théorie, l'adoption du paradigme peut générer d'importantes économies d'échelle, accélérer la mise sur la marché des produits et améliorer leur qualité. De nombreux retours d'expérience font état de tels gains. Cependant, en pratique, une application réussie dépend d'un grand nombre de facteurs techniques, organisationnels et humains.

Notre recherche se focalise sur les aspects techniques. Au cours des dernières années, nous avons participé à l'essor des techniques de modélisation, de vérification et de configuration propres aux LPL, essentiellement autour de la notation des "feature diagrams". Un aspect singulier de nos travaux est de tenter de mettre la rigueur des méthodes formelles au service de "l'ingénieur lambda" en cachant celle-ci derrière des langages et des outils simples, intuitifs, et applicables à grande échelle.

Dans cet exposé, après une brève introduction aux LPL, nous passerons en revue les principaux résultats de nos recherches et mettrons en lumière quelques défis importants pour les années à venir.

Ivica Crnkovic (mercredi matin, session commune)

Ivica Crnkovic est professeur à l'université de Mälardalen, en Suède. Ses travaux de recherche portent sur le domaine du CBSE (Component Based Software Engineering).

Résumé :

A Classification Framework for Component Models

The essence of component-based software engineering is embodied in component models. Component models specify the properties of components and the mechanisms of component interactions. In the last decade a large number of different component models have been developed, with different aims and using different principles and technologies. This has resulted in a number of models which have many similarities, but also principal differences, and in many cases unclear concepts. Component-based development has not succeeded in providing standard principles, as has, for example, object-oriented development. In order to increase the understanding of the concepts, and to differentiate component models more easily, this presentation discusses fundamental principles of component models, and defines a Component Model Classification Framework which includes these principles. Further, the principles of several component models are presented using this framework.

Pierre-Etienne Moreau (jeudi matin, GDR GPL)

Pierre-Etienne Moreau est professeur à l'Ecole des Mines de Nancy. Ses travaux de recherche concernent la réécriture et les transformations de programmes.

Résumé :

Combiner Java et réécriture, c'est possible et utile

Le système Tom est une extension de Java permettant de programmer par filtrage, en utilisant des règles et des stratégies. La notion de signature et de terme algébrique permet de définir de manière abstraite les structures de données. Dans ce cadre, l'utilisation de règles de réécriture et de motifs permet de définir, de manière élégante et sûre, des transformations à effectuer. Tom permet donc de programmer aussi bien en Java que par réécriture. Ce qui se prête particulièrement bien à l'enseignement et à la transformation de structures arborescentes telles que les termes ou les documents XML par exemple. Une des particularités du système est de fournir du filtrage modulo l'associativité avec élément neutre. Cette théorie permet de manipuler aisément des structures de liste par exemple. Une autre originalité de Tom est de ne pas imposer de structure de donnée particulière pour représenter les informations à transformer. Le lien entre la structure concrète et le signature algébrique devient un paramètre du programme. Cette souplesse permet d'utiliser la notion de filtrage algébrique pour effectuer des transformations de graphes par exemple. Enfin, la notion de stratégie est un moyen efficace et élégant pour contrôler la façon dont les transformations sont appliquées. L'exposé présentera le système Tom, ses particularités et ses applications.

Gérard Berry (vendredi matin, GDR GPL)

Gérard Berry est directeur de recherche à l'INRIA, titulaire de la chaire « Informatique et sciences numériques » au Collège de France et membre de l'Académie des Sciences. Ses travaux de recherche portent notamment sur les langages de programmation et les circuits intégrés. Il est l'inventeur du langage Esterel.

Résumé :

Qualité du logiciel : certification vs. vérification

La certification est un processus classique pour certains systèmes embarqués critiques (avionique, carte à puce, etc.); elle est certainement amenée à se généraliser. Elle se fonde encore essentiellement sur une analyse et une revue du flot de développement et de test. Cette approche reste indispensable, car tout programme mal développé et testé est évidemment dangereux. Mais, avec l'évolution vers un outillage de haut niveau avec synthèse de code embarqué et vérification formelle, d'autres approches plus scientifiques deviennent indispensables. Elles doivent être fondées sur des techniques réellement formelles et réellement implémentées. Nous étudierons l'état de ces techniques, leur évolution potentielle, leurs limites, et leur impact indirect sur les méthodes de conception.

Revenir en haut de la page

Posters et démos du GDR GPL

Posters présentés pendant les pauses du GDR GPL (les démos sont présentées pendant la pause prolongée du Mercredi après-midi) :