14. Принципи застосування адресації окремих активностей процесів у процесі імітації об’єкта, формалізованого за процесним способом.

Для того, щоб здійснювати інформаційні зв’язки між КПМ та моделлю об’єкта, поданого у виді процесів, кожній активності у процесі присвоєний індивідуальний ідентифікатор , який носить назву адреси цієї активності. За такими адресами КПМ звертається у процесі імітації до конкретних активностей з метою їх ініціалізації, тобто запусків на виконання алгоритмів перевірки умов виконання . Імітація виконання кожного процесу , з тих які присутні у системі, здійснюється за рахунок послідовних переходів від однієї активності до іншої у деякі моменти часу, які визначаються КПМ. Перехід на ініціалізацію деякої активності у процесі вважається зміною його стану

15,16,17. Масив станів процесів

призначений для зберігання інформації про моменти активізації окремих процесів. Такі дані у цьому масиві розташовано у хронологічному порядку активізації процесів відповідно до згенерованих часових періодів , як це було зазначено вище. За своєю структурою (рис.2) МСП є вектор-рядком, кожна комірка якого заповнена інформацією про моменти активізації процесів у системі. Кожен елемент МС становить пару значень , де значення вказує на номер процесу, який має бути активізований, а – на момент ініціалізації активності цього процесу в майбутньому, тобто появи події . Всі елементи МС упорядковані за зростанням значення (на рис.2 - .... )

1	2	3	4	...	N
				.....

Рис.2. Структура масиву станів процесів

Якщо у ході імітації виникає необхідність у зупинці деякого -го процесу за відсутністю виконання умов реалізації чергового алгоритму , то відповідний оператор у взаємодії з КПМ перевизначає час наступної активізації цього процесу як нескінченний. Момент активізації цього процесу в МСП оримує значення , а відповідний елемент МСП переноситься у кінець цього масиву. Вказана операція імітує гальмування виконання цього процесу на деякий час, який потрібен для створення умов щодо реалізації зупиненої активності . Сворення таких умов визначає запуск генератора цієї активності та видачі ним випадкового значення . В результаті виконання такої операції загальмований елемент МСП повертається у цьому масиві з кінцевої позиції на таку, яка відповідає змодельованому моменту часу . Якщо умови для активізації процесу не створюються до кінця обумовленого періоду моделювання системи, то даний елемент МСП так і залишається у кінці МСП з , що означає що відповідна компонента не пройшла повного обслуговування у системі.

18. Принципи побудови та використання таблиці станів процесів у ході імітації об’єкта, формалізованого за процесним способом.

Для визначення номеру конкретної активності у -му процесі, яку необхідно ініціалізувати в деякий момент часу за даними МСП, програма імітації використовує ТСП, структура якої наведена на рис.3. Рядками цієї таблиці є списки параметрів процесів. Так -му процесу відповідає -ий рядок ТСП, у якому зазначено наступні параметри: - адреса, за якою виконується передача керування на виконання j-ої активності в -му процесі; - період часу очікування -им процесом своєї активізації, яка була призупинена іншим процесом або невиконанням умов активізації; - пріоритет і-го процесу, відповідно до якого КПМ здійснює послідовне обслуговування двох процесів, які потребують одночасної активізації. Такий параметр для кожного процесу може бути введеним, наприклад, як числове значення, яке чим менше, тим вищий пріоритет.

Параметри процесу Номери процесів
1			2
2			4
3			1
....	…	…	…
n			k

Рис.3. Структура таблиці станів процесів

Параметр пріоритету деякого процесу системи знаходить своє застосування у ході імітації при вирішенні КПМ так званих конфліктних ситуацій.