|

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

Авторы: Девятков В.В., Мье Тхет Наунг Опубликовано: 14.04.2015
Опубликовано в выпуске: #2(101)/2015  
DOI: 10.18698/0236-3933-2015-2-107-116

 
Раздел: Информатика, вычислительная техника и управление  
Ключевые слова: протокол инициирования сеанса, последовательностный процесс, пользовательский агент со стороны клиента, пользовательский агент со стороны сервера, язык логического программирования VISUAL PROLOG

Выполнена автоматизация проверки правильности спецификаций протоколов инициирования сеансов как мультиагентной системы, представляемой процессными моделями и описанием требований их правильности на языке временной модальной логики. Автоматизацию проверки правильности спецификаций предложено осуществлять логическими программами, получаемыми с помощью предлагаемой методики перехода от процессной модели описания спецификации и требований правильности на языке модальной логики к логической программе проверки правильности на языке логического программирования ПРОЛОГ. Развиты принципы перехода от процессных моделей 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: http://www.intuit.ru/stuchies/courses/12333/1180/info

[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.