| Titre : | Formalisation et implémentation de protocoles de gestion et de contrôle dans un système de vidéo conférence sur internet | | Type de document : | thèse | | Auteurs : | Ouzzif Mohammed, Auteur | | Année de publication : | 2005 | | Langues : | Français (fre) | | Catégories : | Informatique
| | Mots-clés : | Gestion et contrôle de conférence, Description formelle, Vérification, Mécanismes
de rĂ©alisation, J MF, Platine. | | Index. dĂ©cimale : | Doct/43 | | RĂ©sumĂ© : | Le développement conjoint de la technologie multimédia et des réseaux informatiques a
permis l'émergence des systèmes de téléconférence multimédia (MMTS pour Multt Media
Teleconferencing System). Ces systèmes permettent à des personnes géographiquement éloignées
de se voir, communiquer et travailler sur des objets partagés. Un système de téléconférence
comporte généralement deux composantes principales. La première composante permet la mise
en place d'une téléconférence. La deuxième composante contrôle son déroulement. Plusieurs
travaux ont été proposés dans ce sens. Toutefois, peu de travaux s'intéressent à la description
formelle d'un système de téléconférence selon des politiques de gestion et de contrôle, à la
vérification de propriétés attendues de tels systèmes et à l'élaboration de mécanismes
implémentant le contrôle de leur déroulement.
Dans ce travail, nous proposons une nouvelle architecture de gestion et de contrôle de
conférence. Nous spécifions ensuite le comportement relatif à la composante de gestion et de
contrôle du déroulement de la conférence à l'aide du formalisme'd 'états finis. Ceci nous permet
d'aboutir à des descriptions claires, exactes et vérifiables. Nous identifions ainsi des propriétés
temporelles exprimant des besoins attendus des systèmes spécifiés, que nous vérifions à l'aide de
l'outil Promela/Spin. Pour l'implémentation de ces spécifications, nous adoptons des
mécanismes basés sur des algorithmes d'exclusion mutuelle distribués que nous améliorons pour
le support de l'insertion et la suppression dynamique de participants. Ces mécanismes servent de
base pour la réalisation des systèmes de téléconférence spécifiés. Ces implémentations sont
effectués à l'aide de Java et JMF ou en utilisant des environnement de visioconférence existant
tel que Platine.
|
Formalisation et implémentation de protocoles de gestion et de contrôle dans un système de vidéo conférence sur internet [thèse] / Ouzzif Mohammed, Auteur . - 2005. Langues : Français ( fre) | Catégories : | Informatique
| | Mots-clés : | Gestion et contrôle de conférence, Description formelle, Vérification, Mécanismes
de rĂ©alisation, J MF, Platine. | | Index. dĂ©cimale : | Doct/43 | | RĂ©sumĂ© : | Le développement conjoint de la technologie multimédia et des réseaux informatiques a
permis l'émergence des systèmes de téléconférence multimédia (MMTS pour Multt Media
Teleconferencing System). Ces systèmes permettent à des personnes géographiquement éloignées
de se voir, communiquer et travailler sur des objets partagés. Un système de téléconférence
comporte généralement deux composantes principales. La première composante permet la mise
en place d'une téléconférence. La deuxième composante contrôle son déroulement. Plusieurs
travaux ont été proposés dans ce sens. Toutefois, peu de travaux s'intéressent à la description
formelle d'un système de téléconférence selon des politiques de gestion et de contrôle, à la
vérification de propriétés attendues de tels systèmes et à l'élaboration de mécanismes
implémentant le contrôle de leur déroulement.
Dans ce travail, nous proposons une nouvelle architecture de gestion et de contrôle de
conférence. Nous spécifions ensuite le comportement relatif à la composante de gestion et de
contrôle du déroulement de la conférence à l'aide du formalisme'd 'états finis. Ceci nous permet
d'aboutir à des descriptions claires, exactes et vérifiables. Nous identifions ainsi des propriétés
temporelles exprimant des besoins attendus des systèmes spécifiés, que nous vérifions à l'aide de
l'outil Promela/Spin. Pour l'implémentation de ces spécifications, nous adoptons des
mécanismes basés sur des algorithmes d'exclusion mutuelle distribués que nous améliorons pour
le support de l'insertion et la suppression dynamique de participants. Ces mécanismes servent de
base pour la réalisation des systèmes de téléconférence spécifiés. Ces implémentations sont
effectués à l'aide de Java et JMF ou en utilisant des environnement de visioconférence existant
tel que Platine.
|
|
Faire une suggestion Affiner la rechercheFormalisation et implémentation de protocoles de gestion et de contrôle dans un système de vidéo conférence sur internet / Ouzzif Mohammed
