Формалізація процесу зміни станів програмних об’єктів складних систем на основі формального апарату скінченних автоматів Мура
| dc.contributor.author | Доренський, О. П. | |
| dc.contributor.author | Смірнов, О. А. | |
| dc.contributor.author | Dorensky, O. P. | |
| dc.contributor.author | Smirnov, А. А. | |
| dc.date.accessioned | 2017-10-05T07:13:06Z | |
| dc.date.available | 2017-10-05T07:13:06Z | |
| dc.date.issued | 2014 | |
| dc.description.abstract | У пропонованій статті модель станів представників класу об’єктів програмного забезпечення складних систем, розроблюваного на основі об’єктно-орієнтованого підходу, розглянуто з погляду абстрактного синтезу скінченного автомата. Обґрунтовано й використано ініціальний скінченний автомат Мура. Здійснено перетворення моделі станів у скінченний автомат. Розкрито сутність формалізації послідовності подій здобутої скінченно-автоматної моделі поведінки представників класу об’єктно-орієнтованого програмного забезпечення, а також особливості формалізації результатів її функціонування на стадії проектування програмних систем. 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 |
| dc.identifier.citation | Доренський, О. П. Формалізація процесу зміни станів програмних об’єктів складних систем на основі формального апарату скінченних автоматів Мура / О. П. Доренський, О. А. Смірнов // Зв'язок. - 2014. - № 3. - С. 27-31. | uk_UA |
| dc.identifier.uri | https://dspace.kntu.kr.ua/handle/123456789/6858 | |
| dc.language.iso | uk_UA | uk_UA |
| dc.subject | програмне забезпечення | uk_UA |
| dc.subject | об’єктно-орієнтований підхід | uk_UA |
| dc.subject | проектування | uk_UA |
| dc.subject | програмний об’єкт | uk_UA |
| dc.subject | стан | uk_UA |
| dc.subject | поведінка | uk_UA |
| dc.subject | модель | uk_UA |
| dc.subject | скінченний автомат Мура | uk_UA |
| dc.subject | software | uk_UA |
| dc.subject | object-oriented approach | uk_UA |
| dc.subject | design | uk_UA |
| dc.subject | program object | uk_UA |
| dc.subject | state | uk_UA |
| dc.subject | model | uk_UA |
| dc.subject | Moore machines | uk_UA |
| dc.title | Формалізація процесу зміни станів програмних об’єктів складних систем на основі формального апарату скінченних автоматів Мура | uk_UA |
| dc.title.alternative | Process state changes formalization of software objects in complex system based on Moore machines | uk_UA |
| dc.type | Article | uk_UA |