Description of a teleconferencing floor control protocol and its implementation

TitreDescription of a teleconferencing floor control protocol and its implementation
Publication TypeJournal Article
Year of Publication2008
AuthorsOuzzif, M, Erradi, M, Mountassir, H
JournalENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Volume21
Pagination430-441
Date PublishedAPR
ISSN0952-1976
Abstract

In this paper, we present a formal specification of a teleconferencing floor control protocol and its implementation. The services provided by this protocol are described within the SCCP IETF document (Simple Conference Control Protocol). Finite state machines are used to model services behaviours part of this protocol. Temporal properties are defined as constraints of the teleconferencing system using SCCP protocol. The dynamic properties are described by the LTL logic (Linear Temporal Logic) and verified using the model-checker Spin/Promela. A prototype of a multimedia teleconferencing system is implemented and it is based on the specified protocol. This implementation uses UML notation and is developed with JMF (Java Media Framework) API. (C) 2007 Elsevier Ltd. All rights reserved.

DOI10.1016/j.engappai.2007.11.003
Revues: 

Partenaires

Localisation

Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:354,352
    Education - This is a contributing Drupal Theme
    Design by WeebPal.