Формалізація процесу зміни станів програмних об’єктів складних систем на основі скінченних автоматів Мура

Анотація

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

Ключові слова: програмне забезпечення; об’єктно-орієнтований підхід; проектування; програмний об’єкт; стан; поведінка; модель; скінченний автомат Мура.