|
Название и формат
|
Операнды
|
Графическое изображение
|
| имя
| значение
|
| 1. Источник потока транзактов
Формат:
GENERATE А, В, С, D, Е, F
| [A]
| Среднее время
| 
|
| [B]
| Полуинтервал или модификатор-функция
|
| [C]
| Время начальной задержки
|
| [D]
| Количество генерируемых транзактов
|
| [E]
| Приоритет
|
| [F]
| Число параметров (атрибутов) транзакта
|
| 2. Удаление из модели транзакта
Формат:
TERMINAE A
| [А]
| Величина уменьшения счетчика завершения
|
|
| 3. Задержка транзакта на заданный отрезок модельного времени
Формат:
ADVANCE A, B
| A
| Среднее время задержки
| 
|
| [B]
| Полуинтервал или модификатор-функция
|
| 4. Присвоение или изменение значения параметра
Формат:
ASSIGN A[±], B, C
| A
| Параметр активного транзакта
| 
|
| B
| Значение
|
| [C]
| Номер функции
|
| 5. Задержка транзакта на заданный отрезок модельного времени
Формат:
PRIORITY A, B
| A
| Новое значение приоритета
| 
|
| [B]
| Помещение транзакта в СТС
|
| 6. Занятие устройства
Формат:
SEIZE A
| А
| Имя или номер устройства
|
|
| 7. Освобождение занятого устройства
Формат:
RELEASE A
| A
| Имя или номер устройства
|
|
| 8. Захват устройства
Формат:
PREEMPT A, B, C, D, E
| A
| Имя или номер устройства
| 
|
| [B]
| Режим
|
| [C]
| Метка блока
|
| [D]
| Имя или номер параметра
|
| [E]
| Режим удаления
|
| 9. Освобождение устройства от захвата
Формат:
RETURN A
| А
|
|
|
| 10. Перевод устройства в недоступное состояние
Формат:
FUNAVAL A, B, C, D, E, F, G, H
| A
| Имя или номер устройства
|
|
| [B]
| Режим удаления или продолжения
|
| [C]
| Метка блока выхода
|
| [D]
| Имя или параметр устройства
|
| [E]
| Режим удаления или продолжения
|
| [F]
| Метка блока выхода
|
| [G]
| Режим удаления или продолжения
|
| [H]
| Метка блока выхода
|
| 11. Перевод устройства в доступное состояние
Формат:
FAVAL A
| A
| Имя или номер устройства
|
|
| 12. Занятие памяти
Формат:
ENTER A, B
| A
| Имя или номер устройства
|
|
| [B]
| Число занимаемых элементов памяти
|
| 13. Освобождение памяти
Формат:
LEAVE A, B
| A
| Имя или номер устройства
|
|
| [B]
| Число освобождаемых элементов памяти
|
| 14. Перевод памяти в недоступное состояние
Формат:
SUNAVAL A
| A
| Имя или номер устройства
|
|
| 15. Перевод памяти в доступное состояние
Формат:
SAVAL A
| A
| Имя или номер устройства
|
|
| 16. Увеличение длины очереди
Формат:
QUEUE A, B
| A
| Имя или номер устройства
|
|
| [B]
| Число, на которое увеличивается длина очереди
|
| 17. Уменьшение длины очереди
Формат:
DEPART A, B
| A
| Имя или номер устройства
|
|
| [B]
| Число, на которое уменьшается длина очереди
|
| 18. Присоединение транзакта к списку пользователя
Формат:
LINK A, B, C
| A
| Имя или номер устройства
|
|
| B
| Задание дисциплины обслуживания
|
| [C]
| Метка альтернативного блока
|
| 19. Удаление транзакта из списка пользователя
Формат:
UNLINK X A, B, C, D, E, F
| [X]
| Условный оператор
|
|
| A
| Имя или номер устройства
|
| B
| Метка блока выхода
|
| [C]
| Число удаляемых транзактов
|
| [D]
| Имя или номер параметров
|
| [E]
| Аргумент для сравнения
|
| [F]
| Метка альтернативного блока
|
| 20. Модификация значения ячейки
Формат:
SAVEVALUE A[±], B
| А
| Имя или номер ячейки
|
|
| В
| Модификатор
|
| 21. Изменение состояния логического ключа
Формат:
LOGIK Х А
| Х
| Логический оператор
|
|
| А
| Имя или номер логического ключа
|
| 22. Переход активного транзакта в указанный блок
Формат:
TRANSFER
| [A]
| Режим перехода: безусловный, статистический, параметрический, функциональный, оба, все, выборочный, одновременный, подпрограммный
|
|
| [B]
| Имя или номер блока (параметра, функции)
|
| [C]
| Имя или номер блока (аргумент для режимов P и FN)
|
| [D]
| Шаг нумерации блоков для режима ALL
|
| 23. Управление потоком транзактов в зависимости от результата сравнения операндов
Формат:
TEST X A, B, C,
| X
| Условный оператор
|
|
| A
| Первая сравниваемая величина
|
| B
| Вторая сравниваемая величина
|
| [C]
| Метка блока
|
| 24. Управление потоком транзактов в зависимости от состояния устройства
Формат:
GATE X A, B
| X
| Проверяемое условие:
занято или нет;
захвачено или нет;
доступно или нет
|
|
| A
| Имя или номер устройства
|
| [B]
| Метка блока
|
| 25. Управление потоком транзактов в зависимости от состояния памяти
Формат:
GATE X A, B
| X
| Проверяемое условие:
пусто или нет;
заполнено или нет;
доступно или нет
|
|
| A
| Имя или номер памяти
|
| [B]
| Метка блока
|
| 26. Управление потоком транзактов в зависимости от состояния ключа
Формат:
GATE X A, B
| X
| Проверяемое условие:
ключ установлен или нет
|
|
| A
| Имя или номер логического ключа
|
| [B]
| Метка блока
|
| 27. Управление потоком транзактов в зависимости от состояния синхронизации проверяемого транзакта
Формат:
GATE X A, B
| X
| Проверяемое условие:
есть транзакт ожидающий условия синхронизации, в указанном блоке MATCH
|
|
| A
| Метка блока MATCH
|
| [B]
| Метка блока
|
| 28. Организация циклического прохождения транзактов в модели
Формат:
LOOP A, B
| A
| Параметр содержащий число циклов
|
|
| [B]
| Метка блока – начало цикла
|
| 29. Создание необходимого числа копий (семейства) активного транзакта
Формат:
SPLIT A, B, C
| A
| Количество создаваемых копий
|
|
| [B]
| Метка блока для входа копий
|
| [C]
| Имя или номер параметра, в который помещаются порядковые номера копий
|
| 30. Объединение транзактов одного семейства
Формат:
ASSEMBLE A
| A
| Количество собираемых транзактов
|
|
| 31. Накопление заданного числа транзактов одного семейства
Формат:
GATHER A
| A
| Количество транзактов, которые необходимо накопить
|
|
| 32. Синхронизация движения двух транзактов одного семейства
Формат:
MATCH A
| A
| Метка сопряженного блока MATCH
|
|
| 33. Разрешение транзакту на выполнение операции любого другого блока
Формат:
EXECUTE A
| A
| Метка блока, операция которого выполняется активным транзактом
|
|
| 34. Идти в хвост цепи текущих событий
Формат:
BUFFER
|
|
|
|
| 35. Определить вместимость накопителя
Формат:
< Имя> STORAGE A
| A
|
|
|
| 36. Выбрать элемент
Формат:
SELECT А, В, С, D, Е, F, G
| A
|
|
|
| B
|
|
| C
|
|
| D
|
|
| E
|
|
| F
|
|
| G
|
|
| 37. Собрать табличные данные элемента
Формат:
TABULATE А, В
|
|
|
|
| 38. Определить эквивалентность
Формат:
EQU A, B
|
|
|
|
| 39. Определить целую переменную
Формат:
< Имя> VARIABLE A
|
|
|
|
| 40. Определить вещественную переменную
Формат:
< Имя> FVARIABLE A
|
|
|
|
| 41. Определить булеву переменную
Формат:
< Имя> BVARIABLE A
|
|
|
|
| 42. Определить функцию
Формат:
< Имя> FUNCTION A, B
|
|
|
|
| 43. Определить таблицу
Формат:
< Имя> TABLE A, B, C, D, E
|
|
|
|
| 44. Определить таблицу для очереди
Формат:
QTABLE A, B, C, D
|
|
|
|