Structures de contrôle pour des comportements répartis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2000

Structures de contrôle pour des comportements répartis

Abstract

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.
Fichier principal
Vignette du fichier
tsi99.pdf (192.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00489478 , version 1 (04-06-2010)

Identifiers

  • HAL Id : inria-00489478 , version 1

Cite

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, 2000. ⟨inria-00489478⟩

Collections

CNAM CEDRIC-CNAM
45 View
105 Download

Share

Gmail Facebook Twitter LinkedIn More