This article proposes a method for the synthesis of the behavior of software objects models (SOM) forthe developed object-oriented software systems for automated digital image processing in order to avoidsystemic and algorithmic errors in the design phase of a software system, as well as to reduce the time of itsdevelopment. The process of constructing the SOM proceeding from its finite-state representation is viewedfrom the standpoint of abstract synthesis of an automata’s finite state. Thus, the specialties of the synthesis offinite automaton SOM, the construction of the map defining a plurality of channels management class of objects,the order to bring it to an automata, the construction of the canonical set of events and their regular expressionsto display defining a plurality of channels management of software objects class for object oriented softwaresystem are considered and justified. Переважна більшість даних, які обробляються сучасними інфокомунікаційними системами, єграфічними. Істотна частка з них – цифрові зображення, які характеризуються великими обсягами. Такимчином, виникає потреба їх представлення у компактному вигляді, що забезпечить зменшеннянавантаження на канали зв’язку, підвищення оперативності доставки та скорочення обсягів пам’яті,необхідної для зберігання даних. Вирішенням цієї проблеми є розроблення з використанням об’єктно-орієнтованої технології автоматизованої системи обробки цифрових зображень (АСОЗ), на етапіпроектування якої постає актуальна задача побудови моделей поведінки екземплярів класів об’єктно-орієнтованого програмного забезпечення (ООПЗ) задля уникнення системних та алгоритмічних помилок,а також скорочення часу розроблення. Тож, мета роботи полягає в розробленні метода синтезу моделейстанів програмних об’єктів об’єктно-орієнтованого програмного забезпечення АСОЗ.Процес побудови моделі станів програмних об’єктів (МСО) ООПЗ, виходячи з її скінченно-автоматного представлення, розглянуто з погляду абстрактного синтезу скінченного автомата. У роботівикладені й обґрунтовані особливості синтезу скінченно-автоматної МСО ООПЗ, побудовавідображення, яке визначає множину каналів керування класу об’єктів, та порядок приведення його доавтоматного виду, а також побудова канонічної множини подій і їх регулярних виразів для відображення,яке визначає множину каналів керування класу програмних об’єктів. На основі отриманих результатівдослідження запропоновано метод синтезу моделей станів програмних об’єктів ООПЗ.Запропонований метод забезпечує формалізацію процесу визначення станів та їх взаємозв’язківу життєвому циклі екземпляра класу ООПЗ, а також дозволяє зменшити трудомісткість процесурозробки динамічної компоненти комплексної моделі ООПЗ під час її проектування на логічному рівні.
展开▼
