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.
Domains
Software Engineering [cs.SE]
Origin : Files produced by the author(s)
Loading...