Sessions with an unbounded number of agents

Résumé : Dans les systèmes basés sur le Web, des agents interagissent au travers de protocoles prédéfinis appelés sessions. Les sessions sont des processus logiques, similaires à des transactions. Cependant, à la différence des transactions, des sessions sur le Web ne peuvent pas être entièrement encapsulées et isolées de leur environnement. Il faut donc s'assurer qu'un système utilisant des sessions ne comporte pas d'interférences indésirables. Un challenge pour concevoir un modèle de système orienté session est qu'il n'y a pas a priori de borne sur le nombre de sessions qui peuvent coexister au sein du système. la plupart des exemples réalistes imposent de savoir différencier deux sessions. Cependant, pour être utilisable, un modèle doit éviter de gérer des ensembles infinis d'identités d'agents et de sessions. Cet article propose un modèle appelé Session Systems, qui permet de modéliser un ensemble d'agents et de sessions de taille arbitraire. Les agents sont équipés d'une mémoire bornée leur permettant de mémoriser les identités d'autres agents. Les configurations de ce modèle sont représentées par des graphes, et la sémantique de notre modèle définie par des récritures de graphes. Nous montrons qu'avec une restriction raisonnables, les session systems sont des systèmes de transitions bien structurés. Ceci permet donne immédiatemetn des algorithmes pour vérifier des propriétés de couverture relativement simples, ou des propriétés plus complexes, telles que des règles commerciales : conflits d'intérêt ou muraille de Chine.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00979409
Contributeur : Loic Helouet <>
Soumis le : mercredi 23 avril 2014 - 22:56:59
Dernière modification le : mercredi 11 avril 2018 - 02:01:28
Document(s) archivé(s) le : mercredi 23 juillet 2014 - 13:30:10

Fichier

SessionsACSD.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00979409, version 2

Citation

Sundararaman Akshay, Loïc Hélouët, Madhavan Mukund. Sessions with an unbounded number of agents. 2014. 〈hal-00979409v2〉

Partager

Métriques

Consultations de la notice

350

Téléchargements de fichiers

101