Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00489478
Contributor : Lionel Seinturier <>
Submitted on : Friday, June 4, 2010 - 9:26:31 PM
Last modification on : Saturday, December 12, 2020 - 6:08:04 PM
Long-term archiving on: : Friday, September 17, 2010 - 1:24:58 PM

Files

tsi99.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

141

Files downloads

206