Составители:
Таблица 1.1. Коммуникационные примитивы
Примитив
Источ-
ников
Прием-
ников
Буфер
Блоки-
ровка по
чтению
Блоки-
ровка по
записи
Извле-
кающее
чтение
Не синхронизи-
рованный
не-
сколько
не-
сколько
воз-
можно
нет нет нет
«Чтение-
модификация-
запись»
не-
сколько
не-
сколько
один
элемент
данных
да да нет
Не ограничен-
ная очередь
один один
не огра-
ничен
да нет да
Ограниченная
очередь
один один
ограни-
чен
да да да
Место сети
Петри
не-
сколько
не-
сколько
не огра-
ничен
нет нет да
Простое ран-
деву
один один
один
элемент
данных
да да да
Множествен-
ное рандеву
не-
сколько
не-
сколько
один
элемент
данных
нет нет да
Основополагающим элементом TSM является событие (event) – пара
значение/атрибут (value/tag pair). Если множество значений обозначить V, а
множество атрибутов T, то событие есть элемент пространства
VT ×
. Атрибуты
зачастую используются для описания поведения системы во времени. Сигнал s
является множеством событий. При этом в общем случае на события,
объединяющиеся в сигнал, не накладывается никаких дополнительных
требований. Сигнал можно рассматривать просто как подмножество
VT ×
V
Ts ×⊂
. (1.1)
Вычислительные компоненты (процессы) производят обработку сигналов.
Конкретные MoC получаются, если в рамках TSM определить конкретику и
соотношения между атрибутами событий, а также характером процессов MoC.
Различная роль времени в моделях проявляется в характере множества
атрибутов событий T. Можно выделить модели непрерывного времени и
дискретного. Для непрерывного времени функциональность системы можно
описывать в терминах дифференциальных уравнений. Для дискретного времени
существует множество подходов к построению моделей. Если в рамках
множества T удается ввести отношение “порядка”, то можно говорить о
16
Страницы
- « первая
- ‹ предыдущая
- …
- 15
- 16
- 17
- 18
- 19
- …
- следующая ›
- последняя »
