| Назва і формат
| Операнди
| Графічні зображення
|
| назва
| значення
| тип*
|
|
|
|
|
|
|
| 1. Джерело потоку транзактів
Формат:
GENERATE
A, B, C, D, E
| [A]
| Середній час
| 1…5, 10
|
|
| [В]
| Напівінтервал або модифікатор-функція
| 1…5, 10
|
| [С]
| Час початкової затримки
| 1…5, 10
|
| [D]
| Кількість генеруючих транзактів
| 1…5, 8, 10
|
| [E]
| Пріоритет
| 1, 2, 4, 5, 8, 9
|
| 2. Вилучення із моделі активного транзакта
Формат:
TERMINATE A
| [A]
| Величина зменшення лічильника завершення
| 1, 2, 5 … 8
|
|
| 3.Затримування транзакта на заданий відрізок модельного часу
| А
| Середній час затримування
| 2…7
|
|
| [B]
| Напівінтервал або модифікатор-функція
| 1…7
|
| 4. Присвоєння або зміна значення параметра
Формат:
ASSIGN A [±], B, C
| A
| Параметр активного транзакта
| 2…7
|
|
| B
| Значення
| 1…7
|
| [C]
| Номер функції
| 1, 2, 5 … 8
|
| 5. Встановлення пріоритету активному транзакту
Формат:
PRIORITY A, B
| A
| Нове значення пріоритета
| 2, 4 … 7, 9
|
|
| [B]
| Внесення трансакта в СТС
| 1, BU
|
| 6. Зайняття пристрою
Формат:
SEIZE A
| А
| Назва або номер пристрою
| 2, 5 … 8
|
|
|
|
|
|
|
|
| 7. Звільнення зайнятого пристрою
Формат:
RELEASE A
| A
| Назва або номер
пристрою
| 2, 5 … 8
|
|
| 8. Захоплення пристрою
Формат:
PREEMPT A, B,
C, D, E
| A
| Назва або номер пристрою
| 2, 5 … 8
|
|
| [B]
| Режим
| 1, PR
|
| [C]
| Мітка блоку
| 1, 2, 5 … 8
|
| [D]
| Назва або номер параметра
| 1, 2, 5 … 8
|
| [E]
| Режим видалення
| RЕ
|
| 9. Звільнення пристрою від захоплення
Формат:
RETURN A
| A
|
| 2, 5 … 8
|
|
| 10. Перевід пристрою у недоступний стан
Формат:
FUNAVAIL A, В, C, D, E, F, G, H
| A
| Назва або номер пристрою
| 2, 5 … 8
|
|
| [B]
| Режим видалення або продовження
| 1, RE, CO
|
| [C]
| Мітка блоку виходу
| 1, 2, 5 … 8
|
| [D]
| Назва або параметр пристрою
| 1, 2, 5 … 8
|
| [E]
| Режим видалення або продовження
| 1, RE, CO
|
| [F]
| Мітка блоку виходу
| 1, 2, 5 … 8
|
| [G]
| Режим видалення або продовження
| 1, RE, CO
|
| [H]
| Мітка блоку виходу
| 1, 2, 5 … 8
|
| 11. Перевід пристрою у доступний стан
Формат:
FAVAIL A
| A
| Назва або номер пристрою
| 2, 5 … 8
|
|
| 12. Зайняття пам’яті
Формат:
ENTER A, B
| А
| Назва або номер пам’яті
| 2, 5 … 8
|
|
| [B]
| Число займаних елементів пам’яті
| 1, 2, 5 … 8
|
|
|
|
|
|
|
| 13. Звільнення пам’яті
Формат:
LEAVE A, B
| А
| Назва або номер пам’яті
| 2, 5 … 8
|
|
| [B]
| Число звільнених елементів пам’яті
| 1, 2, 5 … 8
|
| 14. Перевід пам’яті в недоступний стан
Формат:
SUNAVAILA
| A
| Назва або номер
пам’яті
| 2, 5 … 8
|
|
| 15. Перевід пам’яті в доступний стан
Формат:
SAVAILA
| A
| Назва або номер пам’яті
| 2, 5 … 8
|
|
| 16. Збільшення довжини черги
Формат:
QUEVE A, B
| A
| Назва або номер
пам’яті
| 2, 5 … 8
|
|
| 17. Зменшення довжини черги
Формат:
DEPART A, B
| A
| Назва або номер
пам’яті
| 2, 5 … 8
|
|
| [B]
| Завдання дисципліни обслуговування
| 1, 2, 5 … 8
|
| 18. Приєднання транзакта до списку користувача
Формат:
LINK A, B, C
| A
| Назва або номер
пам’яті
| 2, 5 … 8
|
|
| B
| Завдання дисципліни обслуговування
| 5…7, LIFO, FIFO
|
| [C]
| Мітка альтернативного блоку
| 1, 2, 5 … 8
|
| 19. Видалення транзакта із списку користувача
Формат:
UNLINK X A,
B, C, D, E
| [X]
| Умовний оператор
| 1, G,GE, L, LE, E, NE
|
|
| A
| Назва або номер пам’яті
| 2, 5 … 8
|
| B
| Мітка блоку виходу
| 2, 5 … 8
|
| [C]
| Число видалених транзактів
| 1, 2, 5 … 8
ALL
|
| [D]
| Назва або номер параметра
| 1, 2, 5 … 8 BACK
|
| [E]
| Аргумент для порівняння
| 1 … 7
|
| [F]
| Мітка альтернативного блоку
| 1, 2, 5 … 8
|
|
|
|
|
|
|
| 20.Модифікація значення комірки
Формат:
SAVEVALUE
A[±], B
| A
| Назва або номер пам’яті
| 2, 5 … 8
|
|
| B
| Модифікатор
| 2 … 7
|
| 21. Зміна стану логічного ключа
Формат:
LOGIC X A
| X
| Логічний оператор
| S, R, I
|
|
| A
| Назва або номер логічного ключа
| 2, 5 … 8
|
| 22. Перехід активного транзакта у вказаний блок
Формат:
TRANSFER
A, B, C, D
| [A]
| Режим переходу:
безумовний;
статистичний;
параметричний;
функціональний;
обидва;
все;
вибірковий;
одночасний;
підпрограмний.
| 1, 2, 5…8
[,]
.xxx
P
FN
BOTH
ALL
PICK
SIM
SBR
|
|
| [B]
| Назва або номер блоку (параметра, функції)
| 1, 2, 5…8
|
| [C]
| Назва або номер блоку (аргумент для режимів P i FN)
| 1, 2, 5…8
|
| [D]
| Крок нумераціїї блоків для режиму ALL
| 1, 2, 5…8
|
| 23.Керування потоком транзактів залежно від результату порівняння операндів
Формат:
TEST X A, B, C
| X
| Умовний оператор
| G, GE, L, LE, N, NE
|
|
| A
| Перша порівняльна величина
| 2…7
|
| B
| Друга порівняльна величина
| 2…7
|
| [C]
| Мітка блоку
| 1, 2, 5…8
|
| 24. Керування потоком транз-
актів залежно від стану пристрою
Формат:
GATE X A, B
| X
| Перевіряюча умова:
зайнято або ні;
захоплено або ні;
доступно або ні
|
U, NU
I, NI
FV, FVN
|
|
| A
| Назва або номер пристрою
| 2, 5…8
|
| [B]
| Мітка блоку
| 1, 2, 5…8
|
|
|
|
|
|
|
| 25. Керування потоком транз-актів залежно від стану пам’яті
Формат:
GATE X A, B
| X
| Перевіряюча умова:
пусто або ні;
заповнено або ні;
доступно або ні
|
SE, SNE
SF, SNF
SV, SNV
|
|
| A
| Назва або номер пам’яті
| 2, 5…8
|
| [B]
| Мітка блоку
| 1, 2, 5…8
|
| 26. Керування потоком транз-
актів залежності від стану ключа
Формат:
GATE X A, B
| X
| Перевіряюча умова:
Ключ встановлено або ні
|
LS
LR
|
|
| A
| Назва або номер логічного ключа
| 2, 5…8
|
| [B]
| Мітка блоку
| 1, 2, 5…8
|
| 27. Керування потоком транз-
актів залежно від стану синхронізації транзакту, який перевіряють
Формат:
GATE X A, B
| X
| Перевіряюча умова:
є транзакт, що очікує умови синхронізації у вказаному блоці MATCH, або ні
| М
NM
|
|
| A
| Мітка блоку MATCH
| 2, 5…8
|
| [B]
| Мітка блоку
| 1, 2, 5…8
|
| 28. Організація циклічного проходження транзактів в моделі
Формат:
LOOP A, B
| A
| Параметр, який містить число циклів
| 2, 5…8
|
|
| [B]
| Мітка блоку
початок циклу
| 1, 2, 5…8
|
| 29. Створення необхідного числа копій
(збірки) активного транзакта
Формат:
SPLIT A, B, C
| A
| Кількість створених копій
| 2, 5…8
|
|
| [B]
| Мітка блоку для входу копій
| 1, 2, 5…8
|
| [C]
| Назва або номер параметра, в який входять порядкові номера копій
| 1, 2, 5…8
|
| 30. Об’єднання транзактів однієї збірки
Формат:
ASSEMBLE A
| A
| Кількість зібраних транзактів
| 2, 5…8
|
|