Доренський, О. П.Смірнов, О. А.Dorensky, O. P.Smirnov, А. А.2017-10-052017-10-052014Доренський, О. П. Формалізація процесу зміни станів програмних об’єктів складних систем на основі формального апарату скінченних автоматів Мура / О. П. Доренський, О. А. Смірнов // Зв'язок. - 2014. - № 3. - С. 27-31.https://dspace.kntu.kr.ua/handle/123456789/6858У пропонованій статті модель станів представників класу об’єктів програмного забезпечення складних систем, розроблюваного на основі об’єктно-орієнтованого підходу, розглянуто з погляду абстрактного синтезу скінченного автомата. Обґрунтовано й використано ініціальний скінченний автомат Мура. Здійснено перетворення моделі станів у скінченний автомат. Розкрито сутність формалізації послідовності подій здобутої скінченно-автоматної моделі поведінки представників класу об’єктно-орієнтованого програмного забезпечення, а також особливості формалізації результатів її функціонування на стадії проектування програмних систем. In this paper states model class instances in complex software systems, developed basing on object-oriented approach, is considered as abstract synthesis of a finite-state machine, proved and used Moore machine. Transformation model in a finite-state machine was done, presented the essence of formalization events sequence of result model of behavior of object-oriented software class instances, presented features of formalizing the results of theoperation model at the software systems design stage.uk-UAпрограмне забезпеченняоб’єктно-орієнтований підхідпроектуванняпрограмний об’єктстанповедінкамодельскінченний автомат Мураsoftwareobject-oriented approachdesignprogram objectstatemodelMoore machinesArticle