ієрархічні структури, иерархические структуры ; асинхронні системи, асинхронные системы ; орієнтовані графи, ориентированные графы ; програмне забезпечення, ПЗ, программное обеспечение, ПО, software, Software, logiciel ; статичний аналіз, статический анализ

В роботі розглянуто перспективний архітектурний підхід, що ґрунтується на асинхронній передачі управління між компонентами програмної системи. Він дозволяє забезпечити адаптуємість системи. У зв'язку з тим, що перед-автомати тісно пов'язані з орієнтованими графами, дуги яких розмічені префіксними кодами, в роботі узагальнено поняття регіону та визначені інтервали як максимальні регіони. Це дозволяє ввести поняття похідного графу за аналогією з похідним графом для графів потоку управління та побудувати похідний ряд для перед-автоматів. Це дозволяє ідентифікувати ієрархічну структуру, що природно притаманні відповідному перед-автомату. Розроблені теоретичні положення дозволили побудувати сукупність обчислювальних методів статистичного аналізу перед-автоматів та створити на їх базі комплекс програмних утиліт, які в роботі доведені до дослідних прототипів. Застосування цих утиліт у виробничому процесі двох компаній дозволило оцінити зниження працемісткості на рівні 11%.

• УДК // Моделювання і макетування комп'ютерних систем