Email this article 
Aspects of formalization of the subscription protocol
- Authors: Sobol V.M.1
-
Affiliations:
- JSC "NIIAA"
- Issue: Vol 31, No 2 (2025)
- Pages: 59-64
- Section: Information and telecommunications technology
- Published: 15.02.2025
- URL: https://journals.eco-vector.com/1684-6400/article/view/702181
- DOI: https://doi.org/10.17587/it.31.59-64
- ID: 702181
Cite item
Open Access
Access granted
Subscription or Fee Access
Abstract
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.
About the authors
V. M. Sobol
JSC "NIIAA"
Author for correspondence.
Email: sobolvm@yandex.ru
Software Consultant
Russian Federation, Moscow, 117393References
- Lvov E. V. The military liaison Institute. History and modernity 1923—2008, Mytishchi, 2008. 270 p.
- 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.
- 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.
- Kamkin A. S. Introduction to Formal Methods of Program Verification. Studies. Textbook of Lomonosov Moscow State University, Moscow, MAX Press, 2018, 272 p.
- Karpov Yu. G. Model checking. Verification of parallel and distributed software systems, SPb., BHV-Peterburg, 2010, 560 p.
- Eremeev A. P., Kurilenko I. E. The branching-time temporal logiс and its application to intelligent decision support systems, Artificial Intelligence and Decision Making, 2011, iss. 1, pp. 14—26.
- Tumurov E. G. Technology specification of communication protocols. Preprint 146, Novosibirsk, Rossiyskaya akademiya nauk. Sibirskoe otdelenie. Institut sistem informatiki imeni A. P. Yershova, 2007.
- Sobol V. M. On the Infology of Documentary Exchange, Information Technologies and Computing Systems, 2023, no. 2, pp. 3—17.
- 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.
- 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.
Supplementary files
