Structures de contrôle pour des comportements répartis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2000

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.
Fichier principal
Vignette du fichier
tsi99.pdf (192.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00489478 , version 1

Citer

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 Consultations
114 Téléchargements

Partager

Gmail Facebook X LinkedIn More