Формальный логический анализ корректности спецификаций сетевых SIP-протоколов
15
ваний на языке модальной логики к формулировке цели на языке
ПРОЛОГ. Приведен пример логической программы и результаты ее
работы. В дальнейшем предполагается создать библиотеку требова-
ний правильности спецификаций на языке модальной логики и авто-
матизированную систему проверки правильности SIP-спецификаций,
позволяющую непосредственно по процессным моделям и описанию
требований на языке модальной логики автоматически переходить к
логическим программам и осуществлять проверки правильности.
ЛИТЕРАТУРА
[1] Rosenberg J., Schulzrinne H., Camarillo G., Johnston A.
Session Initiation
Protocol (SIP).
IETF Network Working Group Request. for Comments 3261,
2002.
[2] Rosenberg J., Schulzrinne H.
Reliability of provisional responses in Session
Initiation Protocol (SIP).
IETF Network Working Group Request. for Com-
ments 3262, 2002.
[3] Bishop S., Fairbairn M., Norrish M., Sewell P., Smith M., Wansbrough K.
Rigorous specification and conformance testing techniques for network proto-
cols, as applied to TCP, UDP and sockets.
Proc. SIGCOMM′05. ACM
, 2005,
August.
[4] Zave P.
Understanding SIP Through Model-Checking
.
Proc. of the 2nd Inter-
national Conference of Principles, Systems and Applications of IP Telecom-
munications
. Springer-Verlag, 2008, vol. 5310, pp. 256–279.
[5] Holzmann G.J.
The Spin Model Checker: Primer and Reference Manual.
Ad-
dison-Wesley, 2004, 596 p.
[6] Девятков В.В., Сидякин И.М. Мультиагентная система анализа телемет-
рической информации.
Вестник МГТУ им. Н.Э. Баумана
,
Сер. Приборо-
строение,
2005, № 4 (61), с. 56–85.
[7] Девятков В.В. Построение, оптимизация и модификация процессов.
Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение
, 2012, № 4,
с. 60–79.
[8] Chellas B.F.
Modal Logic an Introduction.
The Press Syndicate of the Univer-
sity of Cambridge, 1980, 295 p.
[9] Gabbay D., Hodkinson I., Reynolds M.
Temporal Logic: mathematical foundi-
tions and computational aspects
, vol. 1. Clarendon Press, Oxford, 1994.
Статья поступила в редакцию 28.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Девятков В.В., Мьё Т.Н. Формальный логический анализ корректности специ-
фикаций сетевых SIP-протоколов.
Инженерный журнал: наука и инновации
, 2013,
вып. 11. URL:
Девятков Владимир Валентинович
окончил Ленинградский государствен-
ный институт точной механики и оптики в 1963 г. Д-р техн. наук, профессор, за-
ведующий кафедрой «Информационные системы и телекоммуникации» МГТУ
им. Н.Э. Баумана. Область научных интересов: системы искусственного интеллекта,
мультиагентные системы, распознавание образов. е-mail: deviatkov@iu3. bmstu.ru
Мьё Тхет Наунг
родился в 1985 г., окончил МГУ им. М.В. Ломоносова в 2010
г., аспирант второго года кафедры «Информационные системы и телекоммуника-
ции» МГТУ им. Н.Э. Баумана. е-mail:
