Формати і графічні зображення блоків
Назва і формат
| Операнди
| Графічні зображення
|
назва
| значення
| тип*
|
|
|
|
|
|
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
|
|
Продовження додатку 1
|
|
|
|
|
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
|
Продовження додатку 1
|
|
|
|
|
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
|
Продовження додатку 1
|
|
|
|
|
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
|
Продовження додатку 1
|
|
|
|
|
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
|
|
Продовження додатку 1
|
|
|
|
|
31. Накопичення заданого числа транзактів однієї збірки
Формат:
GATHER A
| А
| Кількість транзактів для накопичення
| 2, 5…8
|
|
32. Синхронізація руху двох транзактів однієї збірки
Формат:
MATCH A
| А
| Мітка спряженого блоку
| 2, 5…8
|
|
33. Дозвіл транзакту на виконання операції будь-якого іншого блоку
Формат:
EXECUTE A
| А
| Мітка блоку, операція якого виконується активним транзактом
| 2, 5…8
|
|