Орлова М.М., Шандиба Д.В.

У статті розглядається підхід до реалізації мережевих протоколів як незалежних процесів. Використання запропонованого методу дозволяє реалізовувати логіку кожного мережевого протоколу в стеку повністю незалежно від інших протоколів, що значно полегшує застосування формальних методів для розв’язання задачі синтезу протоколів. У результаті дослідження сформульована і випробувана методика формального опису узагальнених моделей поведінки мережевих протоколів, а також зовнішніх механізмів їх взаємодії.

Завантажити (pdf)