Page 81 - 6602

обмеження. На першому кроці рекурсії поточною структурою є
реально існуюча структура SCADA, тобто. struct=struct0 (див.
діаграму кооперації).
Об’єкт :СЗДОптимНевиз звертається до об’єкту :Строка для
отримання моделі SCADA. Об’єкт :Строка в свою чергу
використовує об’єкт :Граф, за допомогою якого генеруються
варіанти розпаралелювання виконання операцій збору і обробки
даних. На основі отриманої моделі model у вигляді рядка символів і
графа об’єкт :СЗДОптимНевиз генерує декілька варіантів структур
struct, які відрізняються від вихідної структури на одну елементарну
зміну і задовольняють обмеження. (При генеруванні варіантів
структур перевіряється еквівалентність їх алгоритмічних моделей.
Врахування умов невизначеності розширює поняття
еквівалентності, що дозволяє збільшувати кількість варіантів). Для
цього об’єкт :ССДОптимНевиз звертається до об’єкту :Структура,
який перевіряє можливість реалізації зміни структури у вигляді
комбінації варіантів структур, які зберігаються в базі даних.
Об’єкт :Структура повертає вже готове рішення – з вказівкою
можливих технічних засобів мінімальної вартості і відповідних
алгоритмів обробки даних. Для цього він звертається відповідно до
об’єктів :Елемент і :Алгоритм. Структура перетворюється об’єктом
:Строка в модель, яка повертається основному об’єкту
:СЗДОптимНевиз і відображується у вікні моделі об’єктом :Вікно
Моделі.

6. Діаграми стану

Головне призначення діаграми станів (statechart diagram) -
описати можливі послідовності станів і переходів, які в сукупності
характеризують поведінку модельованої системи протягом всього її
життєвого циклу. Діаграма станів описує поведінку елементів на

77