LES DERNIÈRES INFORMATIONS
Description of a teleconferencing floor control protocol and its implementation
Titre | Description of a teleconferencing floor control protocol and its implementation |
Publication Type | Journal Article |
Year of Publication | 2008 |
Authors | Ouzzif, M, Erradi, M, Mountassir, H |
Journal | ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
Volume | 21 |
Pagination | 430-441 |
Date Published | APR |
ISSN | 0952-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.
|
DOI | 10.1016/j.engappai.2007.11.003 |
Contactez-nous
ENSIAS
Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc
Télécopie : (+212) 5 37 68 60 78
Secrétariat de direction : 06 61 48 10 97
Secrétariat général : 06 61 34 09 27
Service des affaires financières : 06 61 44 76 79
Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma
Résidences : 06 61 82 89 77
Contacts
Education - This is a contributing Drupal Theme
Design by
WeebPal.