ABSTRACTS OF ARTICLES OF THE JOURNAL "INFORMATION TECHNOLOGIES".
No. 2. Vol. 31. 2025

DOI: 10.17587/it.31.59-64

V. M. Sobol, Software Consultant
JSC "NIIAA", Moscow, 117393, Russian Federation

Aspects of Formalization of the Subscription Protocol

The issues of process specification of the model of a specialized subscriber protocol of an automated system for the exchange of documentary information using Petri network notations and time logic are considered. The semantics of document exchange is determined by the paradigm of alternation of quasi-parallel input-output processes of a reacting system. The formalization of a number of properties of the semantics of an automated system in abstractions of temporal logic is shown.
Keywords: subscriber protocol, document exchange, subscriber service, reactive system, propositional set, Kripke model, temporal logic, LTL

P. 59-64

References

1. Lvov E. V. The military liaison Institute. History and modernity 1923—2008, Mytishchi, 2008. 270 p.
2. Zatsarinny A. A. Integrated system approach: the basis of the scientific and technical policy of the Office of the Chief of Communications of the Armed Forces of the Russian Federation, Thematic collection dedicated to the 85th anniversary of the Signal Corps., Moscow, Nauka, 2002, pp. 95—108.
3. Sobol V. M., Matyukhina E. N. Four Generations of Communication Complexes of Automated Process Control Systems of Special Purpose, Industrial Automated Control Systems and Controllers, 2013, no. 4, pp. 14—21.
4. Kamkin A. S. Introduction to Formal Methods of Program Verification. Studies. Textbook of Lomonosov Moscow State University, Moscow, MAX Press, 2018, 272 p.
5. Karpov Yu. G. Model checking. Verification of parallel and distributed software systems, SPb., BHV-Peterburg, 2010, 560 p.
6. Eremeev A. P., Kurilenko I. E. The branching-time temporal logk and its application to intelligent decision support systems, Artificial Intelligence and Decision Making, 2011, iss. 1, pp. 14—26.
7. Tumurov E. G. Technology specification of communication protocols. Preprint 146, Novosibirsk, Rossiyskaya akademiya nauk. Sibirskoe otdelenie. Institut sistem informatiki imeni A. P. Yershova, 2007.
8. Sobol V. M. On the Infology of Documentary Exchange, Information Technologies and Computing Systems, 2023, no. 2, pp. 3—17.
9. Sobol V. M. Abstractions of the elements of the ASDO subscriber service, Trudy XII Rossiyskoy NTK "Novye informatsionnye tekhnologii v sistemakh svyazi i upravleniya, Kaluga, 2023, pp. 37—41.
10. Korablin Yu. P., Shipov A. A. System models construction based on LTL formula equational characteristics, Programmnye produkty i sistemy, 2017, vol. 30, no. 1, pp. 61—66 (in Russian), DOI: 10.15827/0236-235X.030.1.061-066.

To the contents