کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
381398 1437498 2008 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Description of a teleconferencing floor control protocol and its implementation
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Description of a teleconferencing floor control protocol and its implementation
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Engineering Applications of Artificial Intelligence - Volume 21, Issue 3, April 2008, Pages 430–441
نویسندگان
, , ,