Мультиагентный анализ правильности спецификаций протоколов инициирования сеансов

9 / 10

4. В дальнейшем предполагается создать библиотеку требований
правильности спецификаций на языке модальной логики и автомати-
зированную систему проверки правильности SIP-спецификаций, по-
зволяющую непосредственно по процессным моделям и описанию
требований на языке модальной логики автоматически переходить к
логическим программам и осуществлять проверки правильности.
ЛИТЕРАТУРА
1. Rosenberg J., Schulzrinne H., Camarillo G., Johnston A. Session Initiation Protocol
(SIP). IETF Network Working Group Request. for Comments 3261, 2002.
2. Девятков В.В. , Мь¨е Т.Н. Формальный логический анализ корректности специ-
фикаций сетевых SIP-протоколов // Инженерный журнал: наука и инновации,
2013. Вып. 11.
3. Rosenberg J., Schulzrinne H. Reliability of provisional responses in Session Initiation
Protocol (SIP). IETF Network Working Group Request. for Comments 3262, 2002.
4. Основы программирования на языке Visual Prolog. URL:
5. Zave P. Understanding SIP Through Model-Checking. Proc. of the 2nd International
Conference of Principles, Systems and Applications of IP Telecommunications.
Springer-Verlag, 2008. Vol. 5310. P. 256–279.
6. Девятков В.В., Сидякин И.М. Мультиагентная система анализа телеметрической
информации // Вестник МГТУ им. Н.Э. Баумана, Сер. Приборостроение, 2005.
№ 4 (61). C. 56–85.
REFERENCES
[1] Rosenberg J., Schulzrinne H., Camarillo G., Johnston A. Session Initiation Protocol
(SIP). IETF Network Working Group Request. for Comments 3261, 2002.
[2] Devyatkov V.V., M’e T.N. Formal logical analysis of the correctness of the
specifications of network protocol. Jelektr. nauchno-tehn. Izd. “Inzhenernyj
zhurnal: nauka i innovacii” MGTU im. Baumana [El. Sc.-Techn. Publ. “Eng. J.:
Science and Innovation” of Bauman MSTU], 2013, vyp. 11 (in Russ.). URL:
[3] Rosenberg J., Schulzrinne H. Reliability of provisional responses in Session Initiation
Protocol (SIP) // IETF Network Working Group Request. for Comments 3262, 2002.
[4] Basics of Visual Prolog language programming. URL:
[5] Zave P. Understanding SIP Through Model-Checking. Proc. of the 2nd International
Conference of Principles, Systems and Applications of IP Telecommunications.
Springer–Verlag, 2008, vol. 5310, pp. 256–279.
[6] Devyatkov V.V., Sidyakin I.M. Multi-agent System of Telemetry Data Analysis.
Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Priborostr. [Herald of the Bauman
Moscow State Tech. Univ., Instrum. Eng.], 2005, no. 4 (61), pp. 56–85 (in Russ.).
Статья поступила в редакцию 27.10.2014
Девятков Владимир Валентинович — д-р техн. наук, профессор, заведующий ка-
федрой “Информационные системы и телекоммуникации” МГТУ им. Н.Э. Баумана.
Автор более 120 научных работ (в том числе трех монографий) в области искус-
ственного интеллекта, распознавания образов, принятия решений, логических исчи-
слений, представления знаний, теории конечных автоматов, логического синтеза и
анализа дискретных устройств и систем.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул.,
д. 5.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 2 115