Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Formalisation et implementation de protocoles de gestion et de controle dans un systeme de videoconference sur internet

Université Mohammed V ?? Souissi Ecole Supérieure d ? Informatique et d ? Analyse des Systèmes ENSIAS Rabat THESE Pour l ? obtention du Doctorat National Présentée par Mohammed OUZZIF N Ordre FORMALISATION ET IMPLEMENTATION DE PROTOCOLES DE GESTION ET DE CONTROLE DANS UN SYSTEME DE VIDEOCONFERENCE SUR INTERNET Soutenue le Mars devant le jury Président Directeur de Thèse Rapporteurs B Regragui M Erradi J-P Courtiat D Chiadmi N Naja R Mrabet C C C CTable de matières RESUME ABSTRACT INTRODUCTION GENERALE PREMIERE PARTIE ETAT DE L ? ART CHAPITRE SYSTEMES COOPERATIFS Introduction Travail coopératif Dé ?nitions Caractérisation du travail coopératif Classi ?cation des systèmes TCAO Classi ?cation espace-temps Classi ?cation par travail coopératif Classi ?cation par domaines d ? applications Conclusion CHAPITRE NORMES ET PROTOCOLES STANDARDS Introduction Recommandation H Architecture H Protocoles d ? un système H Recommandation T Architecture IETF Multicast Internet Agents médias Gestion de conférence Conclusion CHAPITRE SYSTEMES DE TELECONFERENCE ET GESTION DE FLOOR Introduction Produits de téléconférence Produits ITU C Produits Internet Concepts de gestion et de contrôle de conférence Gestion de conférence Contrôle de oor Recommandation SCCP Initiation de la conférence Terminologie de SCCP Services de SCCP Conclusion DEUXIEME PARTIE ARCHITECTURE SPECIFICATION ET IMPLEMENTATION CHAPITRE FORMALISATION DE LA GESTION ET DU CONTROLE AU SEIN D'UNE CONFERENCE MULTIMEDIA Introduction Architecture et pile protocolaire Architecture Pile de protocoles Description formelle du comportement d ? un MMTS Techniques et langages de description formelle Spéci ?cation formelle de MMTS à politique présidée Spéci ?cation formelle de MMTS à politique explicite Conclusion CHAPITRE VERIFICATION DE PROPRIETES DE LA GESTION ET DU CONTROLE AU SEIN D ? UNE CONFERENCE MULTIMEDIA Introduction Description des propriétés Description informelle Description formelle en LTL Véri ?cation des propriétés Description Promela Véri ?cation à l ? aide de SPIN Conclusion CHAPITRE MECANISMES DE REALISATION Introduction Algorithmes d ? exclusion mutuelle Insertion dynamique de sites dans des algorithmes à jeton Adaptation de l ? algorithme Le Lann pour l ? insertion dynamique C Adaptation de l ? algorithme Naimi-Tréhel pour l ? insertion dynamique Suppression dynamique de sites dans des algorithmes à jeton Suppression dans l ? algorithme Le Lann Suppression dans l ? algorithme Naimi-Tréhel Conclusion CHAPITRE IMPLEMENTATION Introduction Conception et réalisation d ? un système à politique présidée Conception UML Réalisation Réalisation d ? un système à politique explicite Environnement Platine Architecture du système Implémentation Application au télé-enseignement Caractéristiques d ? une application de préparation coopérative Réalisation d ? une application de préparation coopérative Conclusion CONCLUSION GENERALE BIBLIOGRAPHIE CListe des ?gures Figure I Modèle du trè e Figure I Classi ?cation espace-temps du travail coopératif Figure I Taxonomie du travail coopératif Figure I Environnement H Figure I Terminal H Figure I Pile de protocoles pour une conférence H Figure I Séquence de messages d ? initialisation d ? une conférence H Figure I Architecture multipoint T Figure I Modèle du système T Figure I Architecture IETF pour la téléconférence sur Internet Figure I Description SDP d ? une session Figure I Format du paquet