Structures de contrôle pour des comportements répartis

Résumé : Cet article propose un langage pour la description de comportements réalisés par des groupes d'objets répartis. Il introduit deux structures de contrôle : la condition et l'itération réparties. Ces structures généralisent à un niveau réparti, les notions de condition if-then-else et de boucle while. Le langage proposé utilise une logique modale dite logique épistémique de la connaissance pour caractériser les comportements de ces structures. Deux algorithmes illustrent l'utilisation de ce langage.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2000
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00489478
Contributeur : Lionel Seinturier <>
Soumis le : vendredi 4 juin 2010 - 21:26:31
Dernière modification le : samedi 5 juin 2010 - 10:59:58
Document(s) archivé(s) le : vendredi 17 septembre 2010 - 13:24:58

Fichiers

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

Identifiants

  • HAL Id : inria-00489478, version 1

Collections

Citation

Laurence Duchien, Gérard Florin, Lionel Seinturier. Structures de contrôle pour des comportements répartis. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2000. 〈inria-00489478〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

102