|
Автоматика и телемеханика, 1988, выпуск 5, страницы 143–151
(Mi at6685)
|
|
|
|
Вычислительная техника в управлении
Формальное описание протокольных стандартов и их реализаций
С. С. Зайцев Москва
Аннотация:
Рассматриваются две группы методов формального описания протокольных архитектур. Первая группа методов предназначена для описания стандартов ИСО, а вторая — для получения реализаций. Дается сравнительный анализ методов из разных групп — языков ESTELLE и ОСА. Показывается, что сильные стороны языка ESTELLE, предназначенного для стандартизации, становятся малоэффективными для реализации. Показывается целесообразность существования и дальнейшего развития обоих методов.
Поступила в редакцию: 30.07.1986
Образец цитирования:
С. С. Зайцев, “Формальное описание протокольных стандартов и их реализаций”, Автомат. и телемех., 1988, № 5, 143–151; Autom. Remote Control, 49:5 (1988), 663–669
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at6685 https://www.mathnet.ru/rus/at/y1988/i5/p143
|
Статистика просмотров: |
Страница аннотации: | 96 | PDF полного текста: | 48 | Первая страница: | 2 |
|