Méthodes orientées agent et multi-agent

http://www.emse.fr/~picard/publications/bernon09industrie.pdfNational audienceLes systèmes multi-agents (SMA) ont montré leur pertinence pour la conception d'applications distribuées (logiquement ou physiquement), complexes et robustes. Le concept d'agent est aujourd'hui plus qu'une technologie efficace, il représente un nouveau paradigme pour le développement de logiciels dans lesquels l'agent est un logiciel autonome qui a un objectif, évolue dans un environnement et interagit avec d'autres agents au moyen de langages et de protocoles (voir le chapitre 1 " Introduction aux systèmes multi-agents "). Souvent, l'agent est considéré comme un objet " intelligent " ou comme un niveau d'abstraction au-dessus des objets et des composants (voir le chapitre 5 " Composants logiciels et systèmes multi-agents "). Les méthodes de développement orientées objet - au vu des différences entre les objets et les agents - ne sont pas directement applicables au développement de SMA. Il est alors devenu nécessaire d'étendre ou de développer de nouveaux modèles, de nouvelles méthodologies et de nouveaux outils adaptés au concept d'agent

Un modèle de composition automatique et distribuée de services web par planification

National audienceWeb services advent as an inevitable technology of the Web and its dissimination on a large scale, poses the problem of their automatic composition. Indeed, one of the most im- portant obstacle to the development of web services oriented architectures relies on the manual generation of composite services by human experts. In order to overtake this approach, we propose in this article a novel architecture for web services composition based on planning techniques. Its originality consists in its completely distributed planning model where agents reason together on their own services to achieve a shared goal defined by users and where the global shared plan built stand for a possible composition of their services.L'avènement des services web comme une technologie incontournable du web et sa dissémination à grande échelle pose dorénavant la problématique de leur composition automa- tique. En effet, l'un des verrous les plus importants au développement des architectures orien- tées services réside dans l'élaboration manuelle par un expert de services composites. Afin de répondre à cette problématique, nous proposons dans cet article une architecture originale de composition automatique de services web par des techniques de planification. Son originalité repose sur la conception d'un modèle de planification entièrement distribué dans lequel les agents raisonnent conjointement sur leurs services respectifs pour atteindre un but commun prédéfini par l'utilisateur, créant ainsi un plan global représentant une composition possible de leurs services

Un modèle de composition automatique et distribuée de services web par planification

National audienceWeb services advent as an inevitable technology of the Web and its dissimination on a large scale, poses the problem of their automatic composition. Indeed, one of the most im- portant obstacle to the development of web services oriented architectures relies on the manual generation of composite services by human experts. In order to overtake this approach, we propose in this article a novel architecture for web services composition based on planning techniques. Its originality consists in its completely distributed planning model where agents reason together on their own services to achieve a shared goal defined by users and where the global shared plan built stand for a possible composition of their services.L'avènement des services web comme une technologie incontournable du web et sa dissémination à grande échelle pose dorénavant la problématique de leur composition automa- tique. En effet, l'un des verrous les plus importants au développement des architectures orien- tées services réside dans l'élaboration manuelle par un expert de services composites. Afin de répondre à cette problématique, nous proposons dans cet article une architecture originale de composition automatique de services web par des techniques de planification. Son originalité repose sur la conception d'un modèle de planification entièrement distribué dans lequel les agents raisonnent conjointement sur leurs services respectifs pour atteindre un but commun prédéfini par l'utilisateur, créant ainsi un plan global représentant une composition possible de leurs services

Gestion automatique des configurations réseaux : une approche déductive

La gestion des réseaux informatiques est une tâche de plus en plus complexe et sujette aux erreurs. Les recherches dans le passé ont montré qu’entre 40% et 70% des modifications apportées à la configuration d’un réseau échouent à leur première tentative d’utilisation, et la moitié de ces échecs sont motivés par un problème situé ailleurs dans le réseau. Les opérateurs de réseau sont ainsi confrontés à un problème commun : comment s’assurer qu’un service installé sur le réseau d’un client fonctionne correctement et que le réseau lui-même est exempt de défaut de toute nature ? L’ingénieur réseau a donc à chaque fois qu’un nouveau service sera ajouté au réseau, la responsabilité d’un groupe de périphériques dont les configurations sont gérées individuellement et manuellement. Cette opération vise deux objectifs : 1) Mettre en oeuvre la fonctionnalité désirée. 2) Préserver le bon fonctionnement des services existants, en évitant de mettre en conflit les nouveaux paramètres et ceux déjà configurés sur le même réseau. L’évolution fulgurante du nombre de dispositifs, la complexité des configurations, les besoins spécifiques de chaque service, le nombre même de services qu’un réseau doit être capable de supporter, et le fait que les données traversent généralement des réseaux hétérogènes appartenant à plusieurs opérateurs, rendent cette tâche de plus en plus difficile. Nous pouvons aisément comprendre la nécessité de nouvelles approches au problème de gestion de configuration réseau. Au cours de notre étude, nous avons utilisé un formalisme basé sur la logique de configurations qui offre plusieurs avantages, tel que : la vérification efficace et aisée des configurations d’équipements multiples, la séparation claire entre les spécifications de contraintes de configuration et sa validation réelle, mis en relief dans l’outil de configuration et de vérification automatique de configuration appelé ValidMaker. Nous avons aussi présenté un modèle de données génériques pour des informations de configuration des dispositifs réseaux qui prennent en compte l’hétérogénéité des fabricants et de leurs versions. Les concepts tels que Meta-CLI ont été utilisés pour représenter la configuration extraite du dispositif sous forme d’arbre dont les feuilles représentent les paramètres extraits dans le but de pouvoir tester certaines propriétés complexes et d’en déduire les informations restantes. Nonobstant le fait que nos résultats sont basés et validés sur des cas d’utilisation et des configurations matérielles d’une entreprise cible, la méthodologie pourrait être appliquée à des équipements se rapportant à n’importe quel fournisseur de service réseau

Un Framework Basé Bigraphes pour la Conception et l'Analyse des Systèmes Sensibles au Contexte

Today, modern technologies have become a part of our daily life. Whether to be informed, entertained, or even to communicate with friends, ubiquitous computing offers numerous opportunities. For this to become reality, computer systems must be able to observe the environment and to adapt their behaviour according to the users expectations and needs. This is called context-awareness. Indeed, the literature shows that context-awareness is the focal point of ubiquitous computing. However, due to heterogeneity and dynamicity of context information, taking it into account requires establishing a model to represent these information at a high-level of abstraction.In this thesis, we propose a model called BigCAS (Bigraphical Context-Aware System) that supports the design of context-aware systems. To achieve this goal, BigCAS is based on formal specifications, derived from bigraphical reactive systems, for modelling structural and behavioural aspects of context aware systems. It provides a clear separation between the context-aware part and the context-unaware part of these systems. Each part is modelled separately as a distinct bigraph, where the composition of these bigraphs models the general structure of the system, particularly, its components interactions and their side effects. Moreover, BigCAS considers not only structural aspects, but also the different reconfigurations involved in the behaviour of context aware systems.We also propose an extension to BigCAS, named BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), that provides formal verification of safety and liveness properties of context aware systems. Furthermore, BigCAS-FA provides contract-based strategies to guide the dynamic reconfiguration according to the context.To validate our proposals, we develop a prototype, BigCAS-Tool (Bigraphical Context Aware System - Tool), devoted to the specification and verification of context-aware systems. The proposed prototype is illustrated with a case study of a smart lighting system.Aujourd'hui, les nouvelles technologies font partie de notre vie quotidienne. Qu'il s'agisse de s'informer, de se divertir, ou même de communiquer avec ses amis, les possibilités qu'offre l'informatique ubiquitaire sont innombrables.Pour que ces possibilités puissent devenir une réalité, les systèmes informatiques doivent alors se doter d'une capacité d'observation de leur environnement et de s'adapter en fonction des attentes et des besoins des utilisateurs. C'est ce qu'on appelle la sensibilité au contexte. En effet, la littérature montre que la sensibilité au contexte est le point central de l'informatique ubiquitaire. Cependant, face à l'hétérogénéité et la dynamicité des informations de contexte, sa prise en compte nécessite la mise en place d'un modèle pour décrire ces informations à un haut niveau d'abstraction.Dans ce travail de thèse nous proposons, dans un premier temps, un modèle appelé BigCAS (Bigraphical Contexte-Aware System) qui permet la conception formelle des systèmes sensibles au contexte. Pour accomplir cet objectif, BigCAS repose sur des modèles formelles à base des systèmes réactifs bigraphiques permettant la modélisation des aspects structurels et comportementaux des systèmes sensibles au contexte. Il offre une séparation claire entre la partie sensible au contexte et la partie non-sensible au contexte de ces systèmes. Chacune de ces parties est modélisée séparément par un bigraphe distinct, où la composition de ceux-ci modélise la structure générale du système ainsi que les interactions et les effets de bord entre ses différents composants. Par ailleurs, BigCAS tient compte non seulement des aspects structurels, mais aussi des différentes reconfigurations intervenant dans le comportement des systèmes sensibles au contexte.Nous proposons également une extension du modèle BigCAS, appelée BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), qui permet la vérification formelle de propriétés de sûreté et de vivacité des systèmes sensibles au contexte. En outre, BigCAS-FA possède des stratégies à base de contrats qui consistent à guider la reconfiguration dynamique en fonction du contexte.Afin de valider nos propositions, nous développons le prototype BigCAS-Tool (Bigraphical Context Aware System - Tool) dédié à la spécification et la vérification des systèmes sensibles au contexte, et nous l'illustrons à travers une étude de cas d'un système d'éclairage intelligent

Parcours interprétatifs (inter) textuels dans le cadre d'une assistance informatique

International audienceIn this paper, we propose some means of dealing with the interpretation of textual andintertextual spaces under the loose control of a computer program. While keeping the reader’ssubjectivity as a central point, we give guidelines and formal tools to semi-automatically build andfurthermore share an interpretation of a corpus.Cet article se propose d'aborder quelques notions de textualité et d'intertextualité sous le biais d'une assistance informatique à un acte interprétatif d'un texte ou d'un corpus. Nous y présentons comment une lecture peut, dans sa subjectivité, être accompagnée et motivée par un protocole informatisé, et proposer par là un nouveau mode d'exploration sémantique de corpus. Title : Computer-aided interpretation of texts and intertexts Abstract : In this paper, we propose some means of dealing with the interpretation of textual and intertextual spaces under the loose control of a computer program. While keeping the reader's subjectivity as a central point, we give guidelines and formal tools to semi-automatically build and furthermore share an interpretation of a corpus