Multiagent Analysis of Specification Accuracy of Session Initialization Protocols

Automation 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 SlP-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.

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: http://engjournal.ru/catalog/it/network/999.html

[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: http://www.intuit.ru/studies/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, 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.).