Dans une perspective de report modal, la performance adaptative est un facteur important du développement des systèmes de transports collectifs. Il est donc fondamental de disposer d'outils permettant d'évaluer leur vulnérabilité à des perturbations et le rôle de certaines actions comme l'information des voyageurs. Le modèle PERTURB et la plate-forme de simulation, développés dans le cadre de cette recherche, ont ainsi pour objet de mesurer la vulnérabilité structurelle et fonctionnelle des transports en commun ainsi que le rôle de l'information des voyageurs dans la régulation de situations perturbées. Trois champs théoriques sont mobilisés : théorie des systèmes, théorie des graphes et systèmes multi-agents. Les simulations sont réalisées sur un terrain d'étude (Île-de-France) et des systèmes de transport théoriques. Elles permettent d'effectuer des préconisations en matière d'Aménagement des transports et d'information des voyageurs mais suscitent également de nouvelles interrogations. Comment intégrer l'information des voyageurs dans l'optimisation du traitement des situations perturbées ? Comment concilier une transparence de l'information et éviter des reports trop massifs de flux de voyageurs ?

L'objet de cette thèse est la modélisation de l'échange dynamique de services. La notion de service joue désormais un rôle clé dans le développement, la diffusion et l'implémentation des systèmes distribués. Cette thèse propose une réflexion sur la notion de service et introduit le concept de Génération Dynamique de Service (GDS) comme une approche différente de l'échange de service en informatique, dans laquelle des services sont dynamiquement construits, fournis et utilisés par des agents (humains ou artificiels). Ces échanges de services sont basés sur des conversations qui ont lieu au sein de différentes communautés. Deux caractéristiques de la GDS sont particulièrement mises en avant : l'aspect orienté agent et l'aspect orienté Grid. La thèse se situe donc à l'intersection de trois domaines~: le Service-Oriented Computing (SOC), les Systèmes Multi-Agents (SMA) et GRID. Les trois contributions majeures sont :: (i) la proposition d'un nouveau modèle de représentation et de communication agent, appelé STROBE, qui permet aux agents de développer dynamiquement un langage différent pour chacun de leurs interlocuteurs. Ils sont capables d'interpréter des messages et d'exécuter des services dans des contextes de conversation dédiés; (ii) une fonction, appelée i-dialogue, qui modélise les conversations agents à l'aide des principes de la programmation applicative/fonctionnelle (i.e., flots, évaluation paresseuse, procédures de première classe) ; (iii) un modèle d'intégration GRID-SMA qui représente les capacités des agents par des services Grid. Dans ce modèle, un langage formel, appelé Agent-Grid Integration Language (AGIL), décrit sémantiquement et graphiquement les concepts clés de GRID et SMA, leurs relations, ainsi que les règles de leur intégration. AGIL intègre tous les résultats de la thèse en proposant une formalisation des interactions entre agents pour l'échange de services sur le Grid.

Dans la recherche de performance de chaînes logistiques, la modélisation et la simulation de ces chaînes prenant en compte des aspects organisationnels s‘avèrent nécessaire. Dans cette perspective, nous proposons tout d‘abord un nouveau cadre méthodologique de modélisation et simulation orienté agents de chaînes logistiques, prenant en compte explicitement les aspects organisationnels, tant structurels que dynamiques, ainsi que des observables et indicateurs dans la modélisation de ces chaînes. Ce cadre méthodologique est structuré selon deux niveaux d'abstraction principale qui sont : un niveau conceptuel et un niveau opérationnel. Pour chacun de ces niveaux nous avons différents modèles qui sont proposés et décrit en détail. Ensuite, afin de simuler les modèles de simulation de ces chaines logistiques obtenus par ce cadre méthodologique, nous proposons une architecture logicielle multi-paradigmes spécifique. Cette architecture qui supporte l‘intégration de différentes plates-formes de simulation, est basée sur un médiateur, constituant un système multi-agents, et assurant l‘interaction entre les simulateurs. Les agents de ce médiateur sont chargés de collecter les informations permettant de produire les observables, maintenir la structure organisationnelle lorsque des entités organisationnelles (groupes) sont distribués sur différents simulateurs, l‘interopérabilité entre ces simulateurs, et enfin garantir la validité de la simulation d‘un point de vue temporel. Enfin, la mise en œuvre du cadre méthodologique et de l‘architecture logicielle proposés sont illustrées sur un cas industriel réaliste de chaîne logistique. La présentation des phases de conception est détaillée ainsi que la spécification et l‘implémentation du cas industriel au sein de l‘environnement de modélisation et de simulation proposé. / In the search for performance of supply chains, modeling and simulation of these chains, taking into account the organizational aspects are needed. In this perspective, firstly we propose a new methodology for modeling and simulation of supply chains oriented agents, taking into account explicitly the organizational aspects, both structural and dynamic as well as observable indicators in the modeling of these chains. This methodological framework is structured along two main levels of abstraction, conceptual and operational levels. For each level we have models that are proposed and described in details. Then, to simulate the simulation models of supply chains obtained by this methodological framework, we propose a multi-paradigm software architecture specific. This architecture supports the integration of different platforms simulation is based on a mediator, providing a multi-agent system, and ensuring the interaction between the simulators. The agents of this mediator is responsible for collecting required information to produce observables and maintaining the organizational structure while the organizational entities (groups) are distributed over different simulators and interoperability between these simulators, and finally ensuring the validity of the simulation for a temporal point of view. Finally, the implementation of the methodological framework and the proposed software architecture are shown in a realistic industrial case supply chain. The presentation of the design phase is detailed and the specification and implementation of industrial case in environmental modeling and simulation proposed.

Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser et vérifier les systèmes complexes tels que les Systèmes Multi Agents (SMA). De nombreuses solutions ont été proposées pour remédier aux problèmes de communication, de coordination et d’interaction entre les Agents. Cependant, il n’existe aucune en mesure de traiter, à la fois les aspects structurels et comportementaux, du moins à notre connaissance. La thèse s'intéresse à la problématique de modélisation formelle et de vérification automatique et semi-automatique de propriétés pour les Systèmes Multi Agents. Plus précisément, l'objectif consiste à proposer un nouveau modèle formel original basé sur les réseaux de Petri, les Réseaux de Petri à Agents (RdPA), qui permettent d’exprimer de manière consistante et plus précise les systèmes Multi Agents. Il s’intéresse de plus à l’extension de ce modèle aux fins de modéliser la migration des agents dans le cadre des systèmes à agents mobiles. Cette classe de modèle permet de s’intéresser à la vérification formelle de propriétés classiques comme notamment la vivacité ou l’absence d’interblocage dans le cadre des Systèmes Multi-Agent. / Petri nets (PN) are currently the most promising approaches to model and to verify complex systems such as Multi Agent Systems (MAS). Several solutions have been proposed to solve the problems of communication, coordination and interaction among Agents. However, to best of our knowledge, none of this solution has able to handle both aspects: structural and behavioral. The thesis focuses on the problem of formal modeling and automatic and semi-automatic verification of properties in Multi Agent Systems. More specifically, the objective is to propose a new original formal model based on Petri nets, Agents Petri nets (APN), which express consistently more accurate a Multi Agent Systems. There is growing interest in the extension of this model for modeling the migration of Agents within the mobile Agent systems. This class of model allows focusing on the formal verification of classical properties such as alertness or absence of deadlock in the context of Multi Agent Systems.