Academic literature on the topic 'Agents mobiles (Logiciels)'

Thèse de doctorat : Informatique : Paris 12 : 2005. Thèse de doctorat : Informatique : Oldenburg, Carl v. Ossietzky Universität : 2005.
Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre. Bibliogr. p. 166173. Index.

Nous nous intéressons dans cette thèse à la modélisation et à la vérification de systèmes d'agents mobiles. Le développement d'une structure pour les agents mobiles demande le développement de solutions pour un ensemble de problèmes spécifiques dû à la mobilité. Une question dans le développement de logiciel est : le programme proposé est-il vraiment une solution pour le problème considéré. Une façon de répondre à cette question consiste à utiliser les méthodes formelles. Dans notre approche, nous construisons un modèle du problème (la spécification) en uitilisant le Pi calcul d'ordre supérieur. En ayant ce modèle formel comme base, Nous pouvons vérifier que ce modèle possède les propriétés voulues ; valider le modèle à travers es simulations ; être capable de prouver que l'implémentation est cohérente par rapport à la spécification. En profitant de nos résultats, nous avons implémenté un prototype qui permet la validation de systèmes d'agents mobiles conçus avec le Pi-calcul d'ordre sup
This thesis deals with the modelling and validation of mobile agent systems. The development of a support structure for mobile agents demans the development of solutions for set of specific problems that appear due to mobility. A basic question in software development is if the proposed program is really a solution for the considered problem. One way to answer this question is through the use of formal methods. In our approach, the first step is to build a model of the solution (specification) using the higher-order Pi-calculus. Having this formal model as a base, we can : validate the model through simulations ; carry out mathematical tests to guarantee that this model possesses the required properties (verification) ; being able to prove that the implementation is correct with respect to the specification. Making use of our results, we have implemented a prototype called HOPiTool which allows the possibility of validation of mobile agent systems conceived with higher-order Pi-calc

A partir de l'étude de la mobilité dans les paradigmes de programmation pour les systèmes distribués et des différents architectures réseaux, et principalement celles sans-fils, nous avons pu identifier le problème de la gestion des unités mobiles (PDA, smartphone, ...) lorsque l'on souhaite les intégrer dans Internet. Leurs déplacements introduisent un fort dynamisme matériel qui ne permet plus d'utiliser les techniques classiques d'un internet et d'obtenir un système gérant globalement la localisation de toutes les unités. Cette absence de gestion globale remet en cause les méthodes classiques de conception fondées sur un système offrant une représentation stable de l'environnements. Dans ce contexte, nous avons étudié la conception basée sur les agents mobiles, programmes se déplaçant de site en site de manière autonome, afin de démontrer leur utilité dans des environnements dynamiques à l'échelle d'Internet, et ce, en l'absence d'un système capable de gérer la localisation globale.

A partir de l'étude de la mobilité dans les paradigmes de programmation pour les systèmes distribués et des différentes architectures réseaux, et principalement celles sans-fil, nous avons pu identifier le problème de la gestion des unités mobiles (PDA, smartphone. . . ) lorsque l'on souhaite les intégrer dans Internet. Leurs déplacements introduisent un fort dynamisme matériel qui ne permet plus d'utiliser les techniques classiques d'un internet et d'obtenir un système gérant globalement la localisation de toutes les unités. Cette absence de gestion globale remet en cause les méthodes classiques de conception fondées sur un système offrant une représentation stable de l'environnement. Dans ce contexte, nous avons étudié la conception basée sur les agents mobiles, programmes se déplaçant de site en site de manière autonome, afin de démontrer leur utilité dans des environnements dynamiques à l'échelle d'Internet et ce, en l'absence d'un système capable de gérer la localisation
From study of mobility in the programming paradigms for distributed systems and of different architectures networks, specially wireless networks, we could identify the problem of management of the mobile units (PDA, smartphone. . . ) when we integrate them in Internet. Their displacements introduce a strong material dynamism that make not possible to continue the use of internet traditional techniques and to obtain a system managing overall the localization of all the units. This absence of total management invalidate the traditional distributed conception methods based on a system offering a stable environment representation. In this context, we studed the conception based on the mobile agents, autonomous programs migrate site in site, in order to validate their utility in dynamic environments on an Internet scale and this, in the absence of a system able to manage the localization

Dans un contexte économique instable, les organisations doivent s'adapter rapidement pour rester compétitives. Pour cela, l'infrastructure de fonctionnement et les modèles d'entreprise de l'organisation doivent être optimisés pour répondre aux besoins réels de l'organisation. Pour parvenir à cette optimisation, une démarche envisageable consiste à créer des boucles de rétro-action entre les vues théoriques de l'entreprise et son fonctionnement réel. Il est nécessaire pour cela d'exploiter et de corréler les informations provenant de l'activité de modélisation de l'entreprise et de l'activité d'administration de son infrastructure. Nous avons établi dans ce but un modèle de données global permettant de structurer les données collectées. Il permet d'arriver à une complémentarité de la modélisation d'entreprise et de la gestion de son infrastructure de fonctionnement pour atteindre deux objectifs : l'administration proactive des infrastructures et la reconstruction des modèles d'entreprise en vue de leur optimisation. Le second problème est de collecter les données pertinentes dans le SI pour effectuer la propre administration de ce-dernier et reconstruire les modèles d'entreprise. Nous avons pour cela utilisé une architecture de collecte et d'exploitation des données à base d'agents mobiles convenant à un système informatique fortement distribué, hétérogène, de grande envergure et de connectivité instable. Les résultats de l'application du système de collecte sur un prototypage d'organisation virtuelle montre qu'il est possible, grâce à un paramétrage judicieux des agents, de détecter et de reconstruire les pratiques collaboratives réelles entre les organisations, ce qui permet par la suite de re-paramétrer leurs infrastructures en conséquence. Ainsi, nous avons montré qu'il était possible de mettre en place des boucles de rétro-action entre les modèles d'entreprise et les infrastructures de fonctionnement, ce qui permet d'effectuer une optimisation globale de l'organisation
In an unstable economical environment, organisations have to adapt themselves to remain competitive. For that purpose, organisation's operating infrastructure and enterprise models have to be tuned to better serve organisation's actual needs. To reach this goal, an interesting approach is to couple business process models with operational infrastructure management. This approach allows us to foresee previsional infrastructure use so that it becomes possible to optimise its configuration, and to rebuild processes which are actually used. This way, cross-analysis is done between enterprise models and the operational infrastructure. This technique, which finally consists of settling retro-action loops between theoritical views of the enterprise described by its modelisation, and its real operation, enables to optimise the organisation globally to deal with its complexity. To optimise the organisation in a global manner, it is necessary to exploit and correlate informations coming from the enterprise's modelisation and its operating infrastructure management. To do this, we designed a global data model enabling to structure collected data. This model allows us to reach the complementarity between the enterprise modelisation and the operating infratructure management to complete two major goals : the proactive infrastructure's management, and the enterprise models reconstruction enabling their optimisation. The next problem to solve is to collect relevant data inside the information system (IS). To reach this goal, we used a data collection and exploitation architecture based on mobile agents, particularly adapted to an IS beeing highly distributed. Results of the application of the data collection system on a virtual enterprise prototype highlights the possibility to detect and to rebuild real collaborative practices between organisations. This reconstruction enables to better know the organisation's operation and to optimise infrastructure's operation parameters

L'informatique mobile est un domaine en pleine expansion notamment grace a la vulgarisation des reseaux de telephonie mobile tels que le gsm. Ces reseaux utilisent principalement une liaison radio et permettent de tout endroit de transmettre non seulement de la parole mais aussi des donnees informatiques. La mobilite des terminaux impose des contraintes de poids et d'encombrement drastiques et, par consequent, une quantite et une qualite des ressources limitees : puissance de calcul, taille memoire, interface homme-machine et autonomie d'energie imposant des connexions intermittentes. Le but de cette these est de proposer un modele permettant a un utilisateur mobile, a partir d'un terminal quelconque, d'utiliser des ressources lui etant attribuees sur des stations fixes connectees a un reseau. Le concept d'agent mobile permet d'associer a un utilisateur mobile un assistant logiciel le suivant dans ses deplacements afin de garantir une disponibilite optimale. Cet agent garantit une permanence minimale de l'utilisateur lorsque celui-ci n'est pas connecte. Le travail s'est, par consequent, concentre sur trois points : - la delegation de taches du terminal utilise par l'usager vers son agent mobile permettant de disposer d'un meilleur environnement d'execution. - une gestion du retour des resultats de taches vers l'usager en fonction de ses preferences, du materiel utilise et de ses connexions. - la personnalisation du terminal utilise par l'usager et une securite de la liaison avec son agent mobile grace a une carte a microprocesseur.

Le déploiement de logiciels répartis dans des environnements à grande échelle et ouverts (tels les systèmes ubiquitaires, les systèmes mobiles et les systèmes P2P) est une problématique actuelle ouverte. Ces environnements sont distribués, hétérogènes et peuvent être de nature instable (dotés d'une topologie dynamique du réseau). Le déploiement dans ces environnements met en jeu un très grand nombre de machines, de liens réseau ainsi qu'un ensemble de contraintes de déploiement. Quelques solutions de déploiement existent aujourd'hui, mais ne sont exploitables que dans le cadre d'architectures figées et fiables. Dans la plupart des solutions, une personne en charge du déploiement doit décrire plus ou moins manuellement la topologie. En outre, la majorité de ces outils ne prennent pas en compte les problèmes dûs à la variabilité de la qualité de service du réseau, aux pannes des hôtes, aux défaillances des liens du réseau ou encore aux changements dynamiques de topologie, qui caractérisent les environnements ouverts. Dans ce mémoire, nous présentons les motivations de la réalisation d'une infrastructure de déploiement logiciel autonomique et les exigences sous-jacentes d'une telle plate-forme. Nous présentons un état de l'art du déploiement logiciel que nous analysons au regard du contexte visé. Ensuite, nous présentons notre contribution pour le déploiement autonomique. Notre proposition s'appuie sur une combinaison de technologies (composants logiciels, agents mobiles adaptables, intergiciel, langage dédié). Nous proposons j-ASD, un intergiciel qui exploite la complémentarité de ces technologies pour réaliser un déploiement logiciel autonomique. Le processus de déploiement contient trois étapes : description des contraintes de déploiement, résolution, et déploiement autonomique. Pour la première étape, nous avons défini un langage dédié (DSL) comme langage de haut niveau pour exprimer des contraintes de déploiement. Pour la deuxième, nous avons conçu une infrastructure répartie pour collecter les propriétés des sites cibles, ce qui permet de résoudre les contraintes de déploiement. Pour la troisième étape, nous proposons un intergiciel à base d'agents mobiles pour la réalisation et la supervision du déploiement autonomique. Enfin, nous donnons les éléments de conception du prototype que nous avons implémenté, ainsi que les résultats de certaines expérimentations pour montrer la validité de notre approche

La présente thèse se situe dans le domaine de conception et analyse de performances d'algorithmes distribués. Plus précisément, nous nous intéressons à l'alliance entre le paradigme des agents mobiles et les méthodes de marches aléatoires pour résoudre un problème récurrent dans les réseaux : le routage de plus court chemin. Nous élaborons deux algorithmes aléatoires, l'un reposant sur des agents indépendants, et l'autre sur des agents coopératifs. Tous les deux sont particulièrement adaptés aux réseaux mobiles sans fil, mais à des degrés différents. La taille des agents coopératifs est plus grande que celle des agents indépendants. En échange, nous montrons que l'aspect coopératif des agents mobiles permet d'accélérer la convergence vers un état stable des tables de routages après des changements de topologie et de trafic du réseau
The present thesis is about the design and performance analysis of distributed algorithms. More precisely, we are interested in embedding the mobile agent paradigm and the random walk model in designing distributed shortest path routing algorithms. We work out two randomized algorithms, one relying on independent agents, and the other on cooperative agents. Both of them are particularly suited for wireless mobile networks, but at different degrees. The size of the cooperative agents is bigger than that of independent agents. Ln exchange, we show that the agent cooperation improves the system performance when dealing with topology and link cost changes