Colloque

Une nouvelle méthode pour la synthèse automatique des protocoles de communication à partir du service

Kassem Saleh

Robert Probert

Membre a labase

Kassem Saleh

Résumé du colloque

Dans cette communication, on présente une nouvelle méthode pour la synthèse automatique d'un protocole de communication à partir d'une description formelle du service que le protocole doit rendre aux usagers supposés distribués. Le protocole est décrit par une machine à états finis (MEF). La méthode consiste de trois étapes: a) Le projet de la machine (S-MEF) est obtenu sur chacune des locations des usagers du service par les machines SP-MEF. b) On déduit les machines de contrôle des transitions pour chacune des entités dans les machines SP-MEF. c) On applique deux algorithmes pour la réduction des machines résultantes de l'étape b pour obtenir les machines EP-MEF représentant les entités du protocole qui offre le service spécifié par S-MEF. On montre aussi que le protocole synthétisé est syntaxiquement correct (complet et libre d'interblocages) et semantiquement correct (conforme à la spécification du service). Finalement, on présente des extensions sur le model de spécification et sur la méthode de synthèse, comme le traitement des erreurs de transmission et le traitement des activités concurrentes des usagers distribués du service.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université Laval

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Synapse: un langage de programmation basé objet pour les applications multi-tâches en temps réel

Michel De Champlain

Stratégies de décomposition des spécifications difonctionnelles

Ali Jaqua

SUPER : Un exemple concret de projet réalisé à l'aide de P.A.O. à Hydro-Québec

Denis Beauregard

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Une nouvelle méthode pour la synthèse automatique des protocoles de communication à partir du servi…

Kassem Saleh

Représentation Organisée des Programmes et Algorithmes

Kassem Saleh