Настоящая работа посвящена исследованию проблемы автоматического построения сетевых моделей SDL-спецификаций распределенных систем. Язык спецификаций и описаний SDL принят в качестве международного стандарта. Рассматриваются SDL-системы с таймерами, средством сохранения сигнала и приоритетами, позволяющие адекватно представлятьзн ачительный класс коммуникационных протоколов. В качестве моделей выбраны раскрашенные сети Петри, предложенные Йенсеном, которые расширяются посредством семантик времени в смысле Мерлина и приоритетов. В работе представлен метод трансляции SDL-систем в данную сетевую модель.
- Новости
- Институт
- Выборы директора
- Основная информация
- А.П. Ершов
- История
- Структура института
- Сотрудники
- Ученый совет
- Диссертационный совет
- Сведения об образовательной организации
- Профком ИСИ
- Адрес
- Телефонный справочник, PDF
- ИСИ СО РАН в прессе
- Международное сотрудничество
- Годовые отчеты
- Фотоархив ИСИ
- Видеоархив ИСИ
- Полезные ссылки
- Реквизиты
- Вакансии
- Документы
- Обучение
- Проекты
- Публикации
- О публикациях
- Список публикаций
- Препринты
- Авторефераты
- Сборники статей
- Книги сотрудников ИСИ
- Учебные и методические пособия
- Зарубежные публикации
- Методика определения импакт-фактора научного журнала
- Научно-популярные статьи сотрудников ИСИ в прессе
- ГОСТ Р 7.0.11-2011 - Диссертация и автореферат диссертации
- Как правильно оформлять список литературы
- Рекомендации по подготовке и оформлению статей
- Экспертизы публикаций
- Издания ИСИ
- Конференции
- Библиотека