ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ
ТЕХНИКА И УПРАВЛЕНИЕ
УДК 004.413
МУЛЬТИАГЕНТНЫЙ АНАЛИЗ ПРАВИЛЬНОСТИ СПЕЦИФИКАЦИЙ
ПРОТОКОЛОВ ИНИЦИИРОВАНИЯ СЕАНСОВ
В.В. Девятков
,
Мь¨е Тхет Наунг
МГТУ им. Н.Э. Баумана, Москва, Российская Федерация
e-mail: deviatkov@
bmstu.ru; komyothetnaung@gmail.comВыполнена автоматизация проверки правильности спецификаций протоколов
инициирования сеансов как мультиагентной системы, представляемой про-
цессными моделями и описанием требований их правильности на языке вре-
менной модальной логики. Автоматизацию проверки правильности специфи-
каций предложено осуществлять логическими программами, получаемыми с
помощью предлагаемой методики перехода от процессной модели описания
спецификации и требований правильности на языке модальной логики к ло-
гической программе проверки правильности на языке логического программи-
рования ПРОЛОГ. Развиты принципы перехода от процессных моделей SIP-
спецификаций к логической программе до детальной методики получения всех
необходимых разделов логической программы. Методика проиллюстрирована
примером логической программы для случая двух взаимодействующих агентов:
пользовательского и сервисного.
Ключевые слова
:
последовательностный процесс, пользовательский агент со
стороны клиента, пользовательский агент со стороны сервера, протокол иници-
ирования сеанса, язык логического программирования VISUAL PROLOG.
MULTIAGENT ANALYSIS OF SPECIFICATION ACCURACY
OF SESSION INITIALIZATION PROTOCOLS
V.V. Devyatkov
,
Myo Thet Naung
Bauman Moscow State Technical University, Moscow, Russian Federation
e-mail: deviatkov@
bmstu.ru; komyothetnaung@gmail.comAutomation of validating the specification protocols for initialization of sessions as
a multiagent system, is performed. Multiagent system is presented by the process
models, as well as by description of their correctness in terms of temporal modal
logic. Automation of the specifications’ validating is proposed to be carried out by
means of logic programs obtained through the use of proposed principle of moving
from the process model of the specification description and from the correctness
requirements in terms of modal logic to a logic program of checking the correctness
in terms of logic programming language PROLOG. Principles of moving from process
models of SIP-specifications to a logic program presented are developed to the extent
of a detailed procedure obtaining all necessary program sections. Proposed method
is illustrated by a logic program example for the case of two interacting agents —
client-side agent and server-side one.
Keywords
:
sequential process, user agent elient, user agent server, session initiating
protocol, logic programming language VISUAL PROLOG.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 2 107