| Décembre 2002 | |||
| Mercredi 11 décembre | 10h30h | Salle E002/E003 | |
| Brigitte Plateau | Inrialpes, projet Apache | The Grid : challenges and research issues | |
|
The purpose of this talk is to give an introduction to the main challenges
to achieve the integration of computing and data services across distributed
and disparate computing, storage and visualization resources.
It also describes a set of research actions which are undertaken in France
with a funding of the French governement ``the ACI GRID''.
Grid computing is one example of distributed systems. As such it relies on standard networking and system technology. Its popularity comes from the fact that it is an area of potentially big impact on many application domains : physical sciences, biology, environment, medical services,,... It is also an area where the academic world can impact societal problems by bringing the possibility to solve larger and more complex problems. This input of the academic community can be of major importance at different levels: at the infrastructure level (how to interconnect efficiently distributed, heterogeneous, numerous, and volatiles computing devices), at the software level (how to integrate, and ease the use of a large number of software services), at the application level (how to couple existing applications in order to solve multiphysics problems or to bridge the gap between data in different social areas). The issues in computer science are numerous and the following are examples of research topics :
| |||
| Mercredi 11 décembre | 14h | Salle E-002/E-003 | |
| Fabrice Huet | Oasis | Soutenance de thèse: Objets Mobiles: conception d'un middleware et évaluation de la communication. | |
|
Cette thèse a pour sujet la mobilité faible des applications et en
particulier la communication entre entités mobiles. Nous nous sommes
tout d'abord intéressés aux relations existant entre le paradigme des
objets actifs et celui des applications mobiles.
De nombreux protocoles pour assurer les communications entre objets
mobiles ont été décrits dans la littérature mais leurs performances
n'ont jamais été étudiées formellement. Nous avons isolé des propriétés
permettant de les
classer en trois familles~: la poste restante, la recherche et le
routage. Après avoir choisi deux protocoles utilisés dans des
bibliothèques Java, nous avons entrepris leur étude à l'aide de
chaînes de Markov, le but étant de pouvoir déterminer le temps moyen
nécessaire pour communiquer avec un agent mobile.
Le mécanisme des répéteurs est représenté à l'aide d'une chaîne à
espace d'états infini. Nous avons
pu exprimer deux métriques: le temps moyen de réponse du système et le
nombre moyen de répéteurs.
Le cas du serveur nécessite l'analyse d'une chaîne à espace
d'états fini qui est résolue numériquement.
Pour valider nos modèles nous avons utilisé un simulateur à événements
discrets puis, nous avons mené des expérimentations sur un
réseau local et sur un réseau régional. Les résultats ont été
comparés à ceux obtenus théoriquement ce qui nous a permis de montrer
que les performances de
nos modèles sont tout à fait acceptables. Il est donc possible de les
utiliser pour prédire les performances.
Enfin, nous terminons ce travail par la présentation d'un nouveau protocole de communication utilisant des répéteurs à durée de vie limitée et un serveur. Nous montrons qu'il est possible d'obtenir de bonnes performances sans les aspects négatifs des deux protocoles précédents. | |||
| Mardi 10 décembre | 11h | INRIA, salle E006 | |
| Carine Courbis | Oasis | Soutenance de thèse: Contribution à la programmation générative - Applications dans le générateur SmartTools: technologies XML, programmation par aspects et composants. | |
|
Avec l'émergence d'Internet et la prolifération de nouvelles technologies, la
conception et le développement d'applications complexes doivent impérativement
prendre en compte les standards et les aspects de répartition, déploiement et
réutilisation de code.
Cette thèse jette les bases d'une nouvelle manière de programmer où ces facettes sont automatiquement intégrées aux spécifications de l'application lors de phases de génération de code source. L'intérêt de cette approche est de bien séparer la logique métier des aspects non fonctionnels (les technologies), simplifiant l'écriture du code. Nous proposons une nouvelle programmation dite générative, s'appuyant sur les technologies XML, les technologies objets, la programmation par aspects, les patrons de conception, et la programmation par composants. Cette approche a été appliquée, à différents niveaux, lors de la réalisation d'un atelier logiciel pour les langages métiers. Mots-clés: programmation générative, programmation par aspects, composants, langages métiers, patron de conception, MDA, technologies XML, atelier logiciel | |||
| Jeudi 5 décembre | 14h | Salle E-002 | |
| Carine Courbis | Oasis | Présoutenance: Contribution à la programmation générative - Applications dans le générateur SmartTools: technologies XML, programmation par aspects et composants. | |
|
Avec l'émergence d'Internet et la prolifération de nouvelles technologies, la
conception et le développement d'applications complexes doivent impérativement
prendre en compte les standards et les aspects de répartition, déploiement et
réutilisation de code.
Cette thèse jette les bases d'une nouvelle manière de programmer où ces facettes sont automatiquement intégrées aux spécifications de l'application lors de phases de génération de code source. L'intérêt de cette approche est de bien séparer la logique métier des aspects non fonctionnels (les technologies), simplifiant l'écriture du code. Nous proposons une nouvelle programmation dite générative, s'appuyant sur les technologies XML, les technologies objets, la programmation par aspects, les patrons de conception, et la programmation par composants. Cette approche a été appliquée, à différents niveaux, lors de la réalisation d'un atelier logiciel pour les langages métiers. Mots-clés: programmation générative, programmation par aspects, composants, langages métiers, patron de conception, MDA, technologies XML, atelier logiciel | |||
| Fabrice Huet | Oasis | Présoutenance: Objets Mobiles: conception d'un middleware et évaluation de la communication. | |
|
Cette thèse a pour sujet la mobilité faible des applications et en
particulier la communication entre entités mobiles. Nous nous sommes
tout d'abord intéressés aux relations existant entre le paradigme des
objets actifs et celui des applications mobiles.
De nombreux protocoles pour assurer les communications entre objets
mobiles ont été décrits dans la littérature mais leurs performances
n'ont jamais été étudiées formellement. Nous avons isolé des propriétés
permettant de les
classer en trois familles~: la poste restante, la recherche et le
routage. Après avoir choisi deux protocoles utilisés dans des
bibliothèques Java, nous avons entrepris leur étude à l'aide de
chaînes de Markov, le but étant de pouvoir déterminer le temps moyen
nécessaire pour communiquer avec un agent mobile.
Le mécanisme des répéteurs est représenté à l'aide d'une chaîne à
espace d'états infini. Nous avons
pu exprimer deux métriques: le temps moyen de réponse du système et le
nombre moyen de répéteurs.
Le cas du serveur nécessite l'analyse d'une chaîne à espace
d'états fini qui est résolue numériquement.
Pour valider nos modèles nous avons utilisé un simulateur à événements
discrets puis, nous avons mené des expérimentations sur un
réseau local et sur un réseau régional. Les résultats ont été
comparés à ceux obtenus théoriquement ce qui nous a permis de montrer
que les performances de
nos modèles sont tout à fait acceptables. Il est donc possible de les
utiliser pour prédire les performances.
Enfin, nous terminons ce travail par la présentation d'un nouveau protocole de communication utilisant des répéteurs à durée de vie limitée et un serveur. Nous montrons qu'il est possible d'obtenir de bonnes performances sans les aspects négatifs des deux protocoles précédents. | |||
| Novembre 2002 | |||
| Lundi 25 novembre | 10h | Salle E-006 (Euler Violet) | |
| Jan Vitek | Purdue Univ. | Incommunicado: Efficient Communication for Isolates | |
|
The Java Application Isolation Interface (JSR-121) introduces the concept
of isolate, an isolate is a self-contained computation logically disjoint
from all other isolates.
Executing multiple isolates with a single virtual machine can improve performance and scalability, while decreasing failures. Implementing such a model poses various challenges. In this work we consider the issue of providing a fast inter-application communication mechanism. In addition to being efficient, such a mechanism should not violate any functional and non-functional properties of its environment, and should also support enforcement of application-specific security policies. We explore the design and implementation of a communication substrate for Isolates. Designing an efficient extension that does not break isolation properties and at the same time pragmatically offers an intuitive API has proven non-trivial. We present a set of techniques that lead to at least an eight-fold performance improvement over Java remote Method Invocation. This talk will introduce the isolate API, describe our new communication infrastructure, and outline some research directions. The Incommunicado project is a joint collaboration between Purdue University and SUN Microsystems. The material presented here is based on the OOPSLA'02 paper by Palacz, Czajkowski, Daynes and Vitek. |
|||
| Vendredi 15 novembre | 14h | Salle du conseil | |
| Julien Vayssière | Oasis | Une architecture de sécurité pour les applications réflexives - Application à Java | |
|
En l'espace de vingt ans, les techniques de programmation réflexive
sont passées du statut de curiosité de laboratoire à celui d'outil
indispensable dans la panoplie du programmeur. Ces techniques sont
notamment utilisées dans le but d'adapter de manière transparente le
comportement des logiciels à des situations qui n'étaient pas prévues
par leurs spécifications d'origine.
Cette thèse porte sur les problèmes de sécurité posés par l'utilisation de protocoles à métaobjets (MOP) dans le cadre d'application à composants développées dans la langage Java. Les contributions de ce travail se répartissent selon deux axes. Nous avons tout d'abord étudié les problèmes de sécurité soulevés par l'utilisation des différents types de MOP pour Java, et comment l'architecture de sécurité existante permet, ou non, d'y répondre. Nous avons ensuite conçu et implémenté un MOP à objets d'interception pour Java avec le double objectif d'être non-intrusif et de sécuriser les intéractions entre les métaobjets et les objets de base. Après avoir montré comment la présence du méta niveau peut être transparente pour le niveau de base du point de vue de la sécurité, nous avons défini un ensemble de permissions destinées à contrôler les opérations que les métaobjets peuvent faire sur, à la fois, les objets du niveau de base et les éléments de l'exécution du programme de base réifiés. |
|||
| Octobre 2002 | |||
| Mardi 29 octobre | 14h | Salle du conseil | |
| Julien Vayssière | Oasis | Ubiquitous and pervasive computing | |
| J'ai participé il y a quelques mois a une école d'été sur le theme "ubiquitous and pervasive computing" a Dagstuhl en Allemagne. Je presenterai dans ce seminaire une synthese de ce que j'y ai vu et entendu, avec comme principal objectif de repondre a la question "Qu'est ce que c'est ?". L'expose presentera successivement la "vision" qui est a la base du domaine, les technologies mises en oeuvre ainsi que quelques projets de recherche representatifs. Nous essayerons egalement de comprendre comment ce domaine peut influencer (ou pas) les recherches menees dans le projet OASIS et les projets proches. | |||
| Mardi 22 octobre | 11h | Salle du conseil | |
| Felipe Luna | Oasis | Securite par Controle de Flux et Multi-niveaux des Systemes Distribues avec Objets Mobiles et Communicants | |
| Toute architecture de sécurité doit spécifier les conditions, règles et procédures à suivre pour bien garantir et atteindre les objectifs de sécurité. Ces conditions sont exprimées dans des politiques de sécurité. Il existe plusieurs modèles proposés pour définir ces politiques selon l'environnement. En conséquence, un modèle de politique de sécurité multi-niveaux est nécessaire pour permettre aux multiples unités de travail, avec différents modes d'opération, de partager leurs systèmes et leurs informations, en même temps qu'il garantit la séparation d'information et des utilisateurs selon les besoins. En ce qui concerne le contrôle de flux, il sert aussi à empêcher la fuite d'information, action que les contrôles d'accès ne font pas, c'est-à-dire, avec ces derniers, il est possible de créer des canaux cachés vers lesquels peut se faire la transmission d'information non autorisée. Finalement, on espère résoudre la problématique propre aux systèmes distribués basés sur des objets répartis, avec un contrôle de flux de l'information transmise, et avec des opérations sous environnements multi-niveaux, en proposant une politique de sécurité adaptée à de tels systèmes. | |||
| Mardi 15 octobre | 14h | Salle du conseil | |
| Laurent Baduel | Oasis | Efficient, Flexible and Typed Group Communications for Java | |
|
La communication de groupes est une fonctionnalite importante
dans le domaine des calculs hautes-performances et du calcul de
grilles. Les precedants travaux et librairies du domaine proposent
cette fonctionnalite en contraignant les programmeurs a utiliser
une interface specifique au groupe.
Nous nous proposons d'offrir un mecanisme plus flexible. Plus explicitement nous proposons une communication de groupes typée, basée sur la classe des objets membres du groupe. Nous offrons une notation objet du type : groupA.foo(); Ceci implique la creation dynamique d'un nouveau groupe type, resultat de l'appel de methode. Nous presenterons notre approche et ses diverses fonctionalites (generation dynamique de groupes de resultats, distribution/diffusion des parametres, groupes hierarchiques, synchronisation,...). | |||
| Emmanuel Reuter | Oasis / U.Nice | Mobile Agent and SNMP based Management platform built with the Java ProActive library | |
| The increasing number of heterogenous systems connected onto an enterprise network makes the system and network administrator task more and more difficult. One of the major problem is to maintain the effective communication between those systems and towards the rest of the internet. It's necessary to know the effective network topology, as systems may be alive or not, temporarily disconnected, etc. In order to accomplish his/her task, the system administrator needs to have the knowledge of the dynamic evolution of its network topology. To offer a solution to those concrete problems, we have developed a system and network management platform over ProActive, a Java library for Active and Mobile Objects. This platform allows an automatic network topology discovery, overlaying the whole administrative domain. In order to ease the programming of customized system and network management tasks, we have developed a library through which different kind of itineraries may be defined. For instance, such itineraries allow to mix locations for which either a local or a remote SNMP-based operation must be executed, and locations whose aim would only be to host the (mobile) agent arriving from a remote network. | |||
| Mardi 1 octobre | 14h | Salle du Conseil | |
| Manuel Serrano | Compiling Scheme to JVM bytecode: a performance study | ||
| Septembre 2002 | |||
| Mardi 17 septembre | 16h | Salle du Conseil | |
| Olivier Chabrol | Passerelle entre les méta-modèles (UML) et les formalisme de Syntaxe abstraite à l'aide des formalismes du W3C (XMI) | ||
| Saida Ziane | Passerelle entre les formalisms (Schema) du W3C et la programmation par Objets | ||
| Mardi 10 septembre | 15h | Salle E002 | |
| Haris Saybasili | DEA RSD | Un Modèle de Composant Hierarchique pour ProActive et les principes de son implémentation avec Fractal | |
| Viet Dao | DEA Systemes Informatiques Répartis, Paris 6. | Modèle Comportemental pour Calculs d'Objets Répartis et Mobiles | Mardi 3 septembre | 14h | Salle du conseil |
| Toufik Maarouk | DEA Univ. Orléans | Outils pour le model-checking d'applications Java distribuées | |
| Paul Roe | Université de Queensland, Au. | Web Services: Research and New Developments | |
| Juin | |||
| Vendredi 28 juin | 14h | Salle du conseil | |
| José Piquer | Université de Chili | The Mobile Internet and its challenges | |
| Eric Tanter | Université de Chili | Towards dynamic class-based reification using an open run-time MOP | |
| Mercredi 26 juin | 14h | Salle E-003 | |
| Barrett Bryant | University of Alabama at Birmingham | A Unified Approach for the Integration of Distributed Heterogeneous Software Components | |
| Mardi 18 juin | 14h | Salle du conseil | |
| Emmanuel Reuter | OASIS / Université de Nice | Plateforme d'administration système et réseau basée sur ProActive | |
| Lundi 17 juin | 11h | Salle du conseil | |
| Andrew L Wendelborn | Université d'Adelaide | PAGIS - An Architecture for Programming on the Grid | |
| Mai | |||
| Mardi 28 mai | 11h | Salle E-006 | |
| Mark van den Brand | LORIA | From CENTAUR to ToolBus and beyond: the New Meta-Environment | |
| Mars | |||
| Lundi 8 avril | 14h | Salle ??? | |
| Stephen Fickas | University of Oregon | Getting past "no": what to do when your model checker says nyet | |
| Mercredi 27 mars | 10h | Salle E002 | séminaire Oasis-Lemme, ARC MODOCOP |
| Radu Mateescu | projet Vasy, INRIALPES | Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus | |
| Mardi 12 mars | 14h | Salle du conseil | |
| Gianfranco Mascari | I.A.C. CNR (Rome) | Toward algebraic models of Grid Computing | |
| Mardi 5 mars | 14h | Salle du conseil | |
| Franck Cappello | LRI | Calcul numérique Pair à Pair à grande échelle : classifications, exemples et problèmes scientifiques. | |
| Février | |||
| Mardi 19 février | 15h | Salle du conseil | |
| Tomás Barros | Oasis | Factures électroniques au Chili | |
| Mardi 12 février | 14h | Salle du conseil | |
| Arnaud Contes | Oasis | ProActive et la sécurité | |
| Attention: Jeudi 7 février | 14h | Salle du conseil | |
| Steve Van Der Hoeven | Oasis | Reversi | |