Page 48 - Г

доцільно почати його розробку зі складання параметричної
ЛДМ об’єкта.
Алгоритм функціонування КА записують на
спеціальній мові, до якої пред’являється ряд вимог. По-перше,
не повинні виникати ускладнення при переході з рівня мови
для опису алгоритму функціонування на рівень мови для
опису структури КА, який використовується при логічному
проектуванні. По-друге, він повинен володіти достатньою
кількістю технологічної виразності і бути пристосованим для
опису паралельно-послідовних алгоритмів, які допускають
паралельне виконання декількох операторів. Як зазначалося
вище в якості мов для опису алгоритму функціонування КА
можуть бути використана мова ЛСА або ГСА із розширенням
для опису паралельно-послідовних алгоритмів; мова ЯРУС;
мова, заснована на застосуванні маркованого графа або інші
подібні мови. В цьому випадку при переході від
алгоритмічного до логічного проектування застосовують ще
один мовний рівень – мову для опису структур КА. Існують
також методи проектування КА, в яких використовують три
ієрархічних мовних рівня:
первинний – для запису алгоритму функціонування КА;
базовий – проміжна мова, яка відображає формальні
особливості першої мови і використовується для часткового
проведення оптимізацій них тотожних перетворень;
автоматний – для подальших перетворень і отримання
структури КА.
Прикладом системи з мовами трьох ієрархічних рівнів
є діалогова система автоматизованого проектування, в якій
використовуються мови УМОВА і ФОРУМ, а в якості базової
– мова операторних схем паралельних алгоритмів з пам’яттю
(ОСПАП).
При необхідності алгоритм нормального
функціонування КА доповнюють описом налагоджувального
режиму. Якщо існують відповідні методи, то проводять
оптимізаційні тотожні перетворення моделі алгоритму
функціонування КА, наприклад, мінімізують кількість
логічних умов ЛСА.
Логічне проектування починають з визначення блочної
структури (архітектури) КА, потім переводять алгоритм
функціонування автомата на мову для опису елементної
структури КА і проводять необхідні оптимізаційні
перетворення, визначаючи остаточну структуру КА.
Якщо математична модель КА може бути представлена
у вигляді асинхронного автомата з кінцевою пам’яттю то його
блочна структура аналогічна блочній структурі цього
автомата (рис. 3.2), який функціонує наступним чином .