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

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